delta/ocaml.git/typing/subst.ml, branch contribution_workflow github.com: ocaml/ocaml Fix PR#7348 2017-06-12T14:17:34+00:00 Jacques Garrigue garrigue@math.nagoya-u.ac.jp 2017-06-12T14:17:34+00:00 02c4df6dee2e3d543e5e458a7368cc620dd41ebd 






Fix PR#7298
2016-12-14T13:14:21+00:00

Jacques Garrigue
garrigue@math.nagoya-u.ac.jp

2016-10-20T02:24:00+00:00

e0bd0c3dcd2fde7b44ade2226bab5d1afd47c704












Fix PR#7414 by adding Mtype.lower_nongen
2016-11-21T08:59:42+00:00

Jacques Garrigue
garrigue@math.nagoya-u.ac.jp

2016-11-21T08:59:42+00:00

5352e4b633f96bf022e9eba0d0f6c9285e301cc2












Allow more module aliases in strengthening
2016-07-28T09:13:32+00:00

Leo White
lpw25@cl.cam.ac.uk

2016-07-21T14:32:58+00:00

caadb9de8aeec5edd06ea0699aa56422cec6ff0e












GPR#606: add unboxed types
2016-07-21T11:51:46+00:00

Damien Doligez
damien.doligez@inria.fr

2016-05-25T14:29:05+00:00

d5a6e50ebee73ff98c4179bba7570cdd9e488a35












forgotten repr in subst.ml; cf. PR#7293
2016-07-20T05:49:24+00:00

Jacques Garrigue
garrigue@math.nagoya-u.ac.jp

2016-07-20T05:49:24+00:00

8d12ca19300916b999a3c55486ab0e5a351d4185












Fixed PR#7260
2016-06-02T08:25:10+00:00

Jacques Garrigue
garrigue@math.nagoya-u.ac.jp

2016-06-02T08:25:10+00:00

a4e355a7573ab54f61443baf5aa6d0ba4235697f












More warnings when compiling the compiler.
2016-03-15T21:46:35+00:00

alainfrisch
alain@frisch.fr

2016-03-09T10:40:16+00:00

502e4f9336c03e21442404fd1beba79df824d32d












Fix PR#7152: lower level of non-generalized variables to binding time of enclosing module
2016-03-06T14:17:45+00:00

Jacques Garrigue
garrigue@math.nagoya-u.ac.jp

2016-03-06T14:15:55+00:00

05922fa6f9dcebe3db4d32f21e37ad0c4073e564












Update headers for the new license.
2016-02-18T15:59:16+00:00

Damien Doligez
damien.doligez@inria.fr

2016-02-18T15:11:59+00:00

5401ce8473062b19dd3553d022593cc5d91ccbff

Remains to be done: remove all headers in testsuite/tests.





Remains to be done: remove all headers in testsuite/tests.