Commit Graph

538 Commits (master)
 

Author SHA1 Message Date
François Pottier 7e81ab63ef TODO. 8 months ago
François Pottier 1940ed39e4 Documentation for [letr1] and [letrn]. 8 months ago
François Pottier a1dc9edf20 Add documentation comments. 8 months ago
François Pottier 21fe5539aa Introduce type abbreviations for lists of things. 8 months ago
François Pottier 45cd7b266e Comments. 8 months ago
François Pottier 0a3af39d42 Update an internal comment. 8 months ago
François Pottier 654532a4a7 Use two lists instead of a list of pairs in [CLet]. 8 months ago
François Pottier 5b51d055eb Simplify the types of [letr1] and [letrn]. 8 months ago
François Pottier 9f7a6e73a6 Remove internal type annotations. 8 months ago
François Pottier 517f1c609e Remove a TODO item. 8 months ago
François Pottier 3ec62a9c73 Add another test that exhibits a similar problem. 8 months ago
François Pottier df673337a8 Add a test to exhibit the problem mentioned in commit cb92ff651a. 8 months ago
François Pottier 455be45938 Add basic support for comments to the MidML lexer. 8 months ago
François Pottier 1729e31c1a Whitespace. 8 months ago
François Pottier cb92ff651a Simplifications. 8 months ago
François Pottier dd35b9eb7e Cleanup. 8 months ago
François Pottier cca4df695e Use a different name for decoded type variables. 8 months ago
François Pottier 907c7019aa Update a documentation comment. 8 months ago
François Pottier a255f58fc4 Documentation comment for [let0]. 8 months ago
François Pottier 135246b6f7 A documentation comment for [letn]. 8 months ago
François Pottier f308420fe3 A documentation comment for [let1]. 8 months ago
François Pottier cad2f7cad2 Remove a useless eta-expansion. 8 months ago
François Pottier e2679ce5cd Update a documentation comment. 8 months ago
François Pottier 3213a935af Tweak a documentation comment. 8 months ago
François Pottier b1f46e1599 Add ad hoc script doc.sh to help read the output of [make doc]. 8 months ago
François Pottier d6b05d1687 Fix a documentation comment. 8 months ago
François Pottier a7d9423778 Solver.mli: document VariableScopeEscape. 8 months ago
François Pottier 18cf9ff27c TODO. 8 months ago
François Pottier b6a041b77a Generalization.mli: remove leftover ordinary comments. 8 months ago
François Pottier f085171a40 Generalization: split [fresh] into two functions, [flexible] and [rigid]. 8 months ago
François Pottier 25de300cb2 Remove the type [status] from Generalization.mli. 8 months ago
François Pottier b5affc4f36 Merge branch 'mr-origin-37' 8 months ago
François Pottier a2240bc57f Documentation comment. 8 months ago
François Pottier 4bdbc9996f Enable warning 42 again. 8 months ago
François Pottier 12a83c22eb Avoid data constructors by the same name in distinct types. 8 months ago
François Pottier 1c6bdc5c1a Comment. 8 months ago
François Pottier 75eb8bafce Avoid code duplication. 8 months ago
François Pottier e24284a064 Typo. 8 months ago
François Pottier b250af64bb Remove the useless parameters of VariableScopeEscape. 8 months ago
François Pottier 6024505f15 Clarify a comment. Add an assertion. 8 months ago
François Pottier e4e03f7af0 Fix mistake in [conjunction]: [data1] and [data2] must not be mutated. 8 months ago
François Pottier 4145cc591c Fix indentation. 8 months ago
François Pottier 595419e7d9 Typo. 8 months ago
François Pottier 3f3e8002a4 Fix the expected test output. 8 months ago
Olivier b338772f21 Typo. 8 months ago
collaprog 9135e45a8e Fix rigid variables escaping. 8 months ago
François Pottier f35d626a71 Add 4.14 to [make versions]. 8 months ago
collaprog b416db0e71 add simple annotations for testing 9 months ago
Olivier 1ad04a4c31 Separate the status type in two. 9 months ago
Olivier e911ccbfa3 Add letrn combinator and rewrite the other let-combinators accordingly. 9 months ago