Turn the Lfunction case of Lambda.lambda in a record#133
Turn the Lfunction case of Lambda.lambda in a record#133chambart wants to merge 3 commits intoocaml:trunkfrom
Conversation
|
I'm not sure adding trunk language features in the codebase is a good idea; I'd use a non-inline record for now. |
|
Indeed, the standard policy seems to be: wait at least for version N+1 before using features introduced in version N. (A recent counterexample is the use of the deprecated attribute in stdlib.) |
1b08239 to
c94ff39
Compare
|
I commited the missing part (closure.ml). |
|
Is there some opposition to that change ? |
|
I just added this to my merge list (complain if you don't like the change!). I will remove c94ff39 (no inline records). |
|
Ok thanks for |
|
Merged in trunk. I didn't include the inline-record patch, and I merged the two others (I understand the split make sense in your codebase, but I prefer to make compilable commits for bisecting convenience.) Thanks for the refactoring work! |
This will simplify adding fields to this case, in particular adding extensions annotations.