Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 62f0389c94 Implementend Generator, does not work main Mysaa 2024-03-15 02:29:39 +01:00
• 024513767f Implemnted (most) of MSeq monad Mysaa 2024-03-14 20:48:52 +01:00
• 8d3f175a82 Added solver for Functor actions Mysaa 2024-03-14 14:16:53 +01:00
• 88994419e3 Added a test and fixed two inference bugs Mysaa 2024-03-14 13:54:36 +01:00
• 8f45228e1d The solver works ... well at least it compiles Mysaa 2024-03-14 13:27:12 +01:00
• 35d0bd817e Implemented solver for easy cases Mysaa 2024-03-11 20:15:09 +01:00
• 5ed12f0cdf Added all type inference Mysaa 2024-03-11 17:52:04 +01:00
• 5caeca79ff Added annotation, but not working Mysaa 2024-03-10 20:51:14 +01:00
• 1fc5a46904 Tried to implement Var and Abs has_type method ... Mysaa 2024-02-15 05:46:29 +01:00
• f600a1b212 Backed up the original run.t file for comparison. Did the first dune promote (nothing works) Mysaa 2024-02-15 01:41:21 +01:00
• fd0213fe82 fix a ConstraintSimplifier bug Gabriel Scherer 2024-02-14 15:57:34 +01:00
• 1f2bf2bb13 MSeq and MRand documentation: give an example. Gabriel Scherer 2024-02-08 15:47:35 +01:00
• 44d184b6d4 Infer.has_type: include a full example of a constraint that works for (lambda x. x) Gabriel Scherer 2024-02-08 15:47:35 +01:00
• c0ad56a745 move Decode from support/ to src/ for more visibility Gabriel Scherer 2024-01-23 23:31:43 +01:00
• e76e32347f Merge branch 'main' into 'main' Gabriel Scherer 2024-01-16 14:35:35 +00:00
• 56b91df9d5 Make MSeq.delay and MRand.delay lazy Neven Villani 2024-01-15 17:38:07 +00:00
• bb1ec74794 README: tip of GADTs in OCaml Gabriel Scherer 2024-01-07 23:06:16 +01:00
• 88ce70e6ee give more hints in Generator.ml Gabriel Scherer 2024-01-07 23:01:42 +01:00
• 97e3c01eaa clarify(?) the documentation of ['a on_sol] Gabriel Scherer 2024-01-07 22:37:37 +01:00
• 3cf46e36c2 minigen: ensure that it is possible to run with only MSeq implemented Gabriel Scherer 2024-01-07 22:30:05 +01:00
• 1b02ba850c Infer: explicitly restrict tuples to pairs Gabriel Scherer 2023-12-23 01:22:47 +01:00
• 1852d50231 parser: use braces around tuples, not parentheses Gabriel Scherer 2023-12-23 01:20:08 +01:00
• e848910039 testsuite: avoids 4-indented code blocks that pass for test output Gabriel Scherer 2023-12-22 15:47:51 +01:00
• fce7844414 fix the OCaml bound in .opam: we use Seq.take which is 4.14 Gabriel Scherer 2023-12-22 15:47:34 +01:00
• 96bd055026 first public release of the project Gabriel Scherer 2023-12-21 00:40:52 +01:00
• 6c3e9720fc root Gabriel Scherer 2023-12-21 00:39:18 +01:00