6fe129a761
Rename [STRUCTURE_OPT] to [GSTRUCTURE_OPT].
5 months ago
a431a97a4b
Comment.
5 months ago
f59698102e
Rename [OCSTRUCTURE] to [OSTRUCTURE].
5 months ago
9aedc2d4b5
Rename [OSTRUCTURE] to [DSTRUCTURE].
5 months ago
e6836149ca
Comment.
5 months ago
23cc9f785d
Some renamings and comments.
5 months ago
99a1694695
Rename SSTRUCTURE to STRUCTURE.
5 months ago
a709fca0b5
Decoder: fix and improve the documentation comment.
5 months ago
331fa6bc7d
Decoder: inline away [decode_id].
5 months ago
Gabriel Scherer
6d4443223d
remove is_leaf from the signature by moving variable decoding around
5 months ago
Gabriel Scherer
8dd21d7c36
Signatures.ml: remove STRUCTURE_LEAF as an intermediary abstraction
5 months ago
Gabriel Scherer
54021e46bd
simplify Signatures by requiring debug [pprint] everywhere
5 months ago
Gabriel Scherer
ea30d554e8
structure Signatures.ml with signature mixins
5 months ago
56d987524c
Merge branch 'n-ary-fun-printing' into 'master'
...
Compact syntax for repeated abstractions and type abstractions.
See merge request fpottier/inferno!45
6 months ago
Olivier
d9ce1246e7
Improve printing of n-ary abstraction and type abstraction.
6 months ago
4b3e0aefb1
CHANGES.
1 year ago
b680e870fe
Merge branch 'fix-bug-rigid' into 'master'
...
Fix a bug (incorrect assumption when using [letr1] in the client).
See merge request fpottier/inferno!43
1 year ago
Olivier
2dd89309c3
Fix a bug (incorrect assumption when using [letr1] in the client).
1 year ago
7e81ab63ef
TODO.
1 year ago
1940ed39e4
Documentation for [letr1] and [letrn].
1 year ago
a1dc9edf20
Add documentation comments.
1 year ago
21fe5539aa
Introduce type abbreviations for lists of things.
1 year ago
45cd7b266e
Comments.
1 year ago
0a3af39d42
Update an internal comment.
1 year ago
654532a4a7
Use two lists instead of a list of pairs in [CLet].
1 year ago
5b51d055eb
Simplify the types of [letr1] and [letrn].
1 year ago
9f7a6e73a6
Remove internal type annotations.
1 year ago
517f1c609e
Remove a TODO item.
1 year ago
3ec62a9c73
Add another test that exhibits a similar problem.
1 year ago
df673337a8
Add a test to exhibit the problem mentioned in commit cb92ff651a.
1 year ago
455be45938
Add basic support for comments to the MidML lexer.
1 year ago
1729e31c1a
Whitespace.
1 year ago
cb92ff651a
Simplifications.
...
Simplify the return type of CLet internally.
(No need to construct a list of variable/scheme pairs.)
(A list of schemes suffices.)
Simplify the return types of [letr1] and [letrn],
for uniformity with [let1] and [letn].
Add comments in client/Infer.ml
at a use of [letr1] that needs fixing (I think).
1 year ago
dd35b9eb7e
Cleanup.
1 year ago
cca4df695e
Use a different name for decoded type variables.
1 year ago
907c7019aa
Update a documentation comment.
1 year ago
a255f58fc4
Documentation comment for [let0].
1 year ago
135246b6f7
A documentation comment for [letn].
1 year ago
f308420fe3
A documentation comment for [let1].
1 year ago
cad2f7cad2
Remove a useless eta-expansion.
1 year ago
e2679ce5cd
Update a documentation comment.
1 year ago
3213a935af
Tweak a documentation comment.
1 year ago
b1f46e1599
Add ad hoc script doc.sh to help read the output of [make doc].
1 year ago
d6b05d1687
Fix a documentation comment.
1 year ago
a7d9423778
Solver.mli: document VariableScopeEscape.
1 year ago
18cf9ff27c
TODO.
1 year ago
b6a041b77a
Generalization.mli: remove leftover ordinary comments.
1 year ago
f085171a40
Generalization: split [fresh] into two functions, [flexible] and [rigid].
1 year ago
25de300cb2
Remove the type [status] from Generalization.mli.
1 year ago
b5affc4f36
Merge branch 'mr-origin-37'
1 year ago
François Pottier
Gabriel Scherer
SCHERER Gabriel
Olivier