11 Commits

Author SHA1 Message Date
Nathanaël Courant
9e3e03d70f Add really inefficient interval patterns 2021-02-15 11:14:52 +01:00
Nathanaël Courant
64b1b0c402 miniml: output symbol table, handle uminus better, more primitives 2021-02-08 10:37:55 +01:00
Gabriel Scherer
7caf12247f string patterns
(I believe that the small size increase in all tests is due to the
unconditional registration of "caml_string_equal" as an additional
primitive.)
2020-12-29 20:30:22 +01:00
Gabriel Scherer
8665fbb5fa compile.scm: match .. with exception 2020-12-28 17:15:08 +01:00
Gabriel Scherer
ef40f51bb9 support for when-guards in pattern clauses 2020-12-21 17:03:31 +01:00
Gabriel Scherer
d8f7ac5d24 record patterns 2020-12-20 22:21:02 +01:00
Gabriel Scherer
c93dcaac1d implement support for or-patterns 2020-12-19 10:01:21 +01:00
Gabriel Scherer
c1bdebc6c6 implement support for as-patterns 2020-12-19 10:01:21 +01:00
Gabriel Scherer
149271d65a fix a bug with irrefutable patterns in let 2020-12-19 10:01:21 +01:00
Gabriel Scherer
9de7a40764 compilation of nested patterns by matrix decomposition 2020-12-19 10:01:21 +01:00
Gabriel Scherer
19255bce2c split the test file into several testfiles 2020-12-12 12:04:37 +01:00