Default Branch

6fe129a761 · Rename [STRUCTURE_OPT] to [GSTRUCTURE_OPT]. · Updated 2022-12-26 22:55:01 +01:00

Branches

55c0c2e7b1 · Add support for cram tests. · Updated 2022-01-06 14:10:33 +01:00

313
7

70ac2f11a0 · [Fix] increment line position in lexer. · Updated 2022-01-05 12:56:11 +01:00

316
0
Included

e9ec694f36 · [Fix] Correct tests description. · Updated 2022-01-05 12:40:52 +01:00

325
10

f36230e8d7 · Move a few functions from TestML.ml to CheckML.ml. · Updated 2021-12-09 16:05:55 +01:00

334
10

d6cadeab10 · Use Alcotest for the test suite. · Updated 2021-11-15 10:26:31 +01:00

335
0
Included

9e72fe648a · Structure.ml: remove stale comments · Updated 2021-09-15 16:22:26 +02:00

535
20

8e0d556ee8 · Factorize inference of annotations. · Updated 2021-09-15 10:57:58 +02:00

346
18

fbeb059436 · Use OUnit for the ML test suite. · Updated 2021-06-29 15:50:18 +02:00

346
1

4f76f8b849 · Shrinker. · Updated 2021-05-11 16:01:19 +02:00

377
8

6de772acc0 · Write a printer for the source language using the generic printer. · Updated 2021-05-06 11:24:38 +02:00

378
3
#33 Closed

44ee5263b3 · ML: Argument of variant is optional. · Updated 2021-05-06 10:35:45 +02:00

393
8
#34 Closed

00ae49ea4d · Type variable begins with a quote. · Updated 2021-04-14 16:19:58 +02:00

399
22

18effdd973 · WIP: partially-working use of Deep types · Updated 2021-03-29 17:14:14 +02:00

535
21

71f6906356 · [WIP] Add test. · Updated 2021-02-25 18:37:29 +01:00

524
173

972f079550 · Remove deprecated functions. · Updated 2021-02-23 10:07:54 +01:00

406
1

3dcb4371da · Fix a test. · Updated 2021-02-16 14:24:51 +01:00

416
13

bed479d8b7 · factorize the type-checking of variant constructors · Updated 2021-02-09 11:59:27 +01:00

418
0
gasche/inferno-experimental#4 Closed

5b27f73532 · The signature for [build] is a [binder] type. · Updated 2021-02-08 17:08:00 +01:00

428
0
gasche/inferno-experimental#3 Closed

a9ec4cf6fa · Implicit levels in the pretty-printer. · Updated 2020-11-30 17:58:04 +01:00

470
6
gasche/inferno-experimental#2 Closed

487c1f1fb4 · Add tests · Updated 2020-11-25 11:38:06 +01:00

470
5
gasche/inferno-experimental#1 Closed