inferno-experimental

Ligther F examples

#57 by gasche was closed 2022-09-20 09:34:23 +02:00

Pretty-printing : affichage fun/Fun n-aire

#55 by Olivier was closed 2022-11-24 14:14:51 +01:00

1

Rajouter les commentaires dans midML

#54 by Olivier was closed 2022-09-16 14:48:47 +02:00

afficheur de types: virer le some . de some . a0 -> a0.

#53 by gasche was closed 2022-01-26 11:06:55 +01:00

1

ajouter un "search path" à ./midml.exe

#52 by gasche was closed 2022-02-08 10:19:27 +01:00

1

Lire l'article sur les GADTs et en discuter

#51 by gasche was closed 2022-07-29 13:58:09 +02:00

migrer TestMidML vers client/bin/midml.exe et nettoyer un peu la sortie

#50 by gasche was closed 2022-02-09 11:51:15 +01:00

éliminer les chemins absolus dans le code de la partie test

#49 by gasche was closed 2022-02-09 11:51:24 +01:00

Directive #use gérée au niveau du parsing

#48 by gasche was closed 2021-12-14 13:13:08 +01:00

migrer les tests vers des fichiers séparés

#47 by gasche was closed 2021-12-14 13:13:16 +01:00

Incrémenter le numéro de ligne dans le lexer et tester les positions

#46 by Olivier was closed 2021-12-14 15:29:35 +01:00

positions d'erreur dans l'AST ML

#43 by gasche was closed 2021-12-14 13:13:53 +01:00

Changer les messages dans les batteries de test (tuple, etc)

#42 by Olivier was closed 2021-10-21 14:34:34 +02:00

propager debug_shrink dans Qcheck_alcotest

#41 by gasche was closed 2022-01-26 11:08:32 +01:00

1

PR alcotest: ajouter un saut de ligne à la fin de la sortie

#40 by gasche was closed 2022-01-26 11:06:34 +01:00

1

fixer test_ok, test_error

#38 by gasche was closed 2021-12-14 15:30:09 +01:00

Meilleur message d'erreur pour Menhir

#36 by Olivier was closed 2022-02-09 11:51:45 +01:00

1

Tester le printer avec le générateur aléatoire

#35 by gasche was closed 2021-05-12 13:47:30 +02:00

1

Trous typés pour le shrinker

#32 by gasche was closed 2021-09-15 10:52:26 +02:00

4

partager le printer entre ML et F

#31 by gasche was closed 2021-05-12 13:47:45 +02:00

Labels Milestones