catala/compiler/desugared
Aminata-Dev 94f8eac858 Better indications for the user :
- We're able to say from the parser what the user could have written. It may not be complete due to the acceptable function of Menhir : it is only an indication given to the user (and not intended to be an adaptive documentation)
- .mli file added : module interface for suggestions
- Add a test that provides a typographical or a logical error.
- Documentation and type / name changes for suggestions
2023-07-12 16:32:55 +02:00
..
ast.ml Add some helper functions in a wrapper Map module 2023-07-12 11:51:15 +02:00
ast.mli Add some helper functions in a wrapper Map module 2023-07-12 11:51:15 +02:00
dependency.ml Add some helper functions in a wrapper Map module 2023-07-12 11:51:15 +02:00
dependency.mli Add some helper functions in a wrapper Map module 2023-07-12 11:51:15 +02:00
desugared.mld Fix most doc errors 2023-06-02 17:17:45 +02:00
disambiguate.ml Reformat + regen 2023-06-15 17:57:01 +02:00
disambiguate.mli Add typing-based disambiguation pass after desugaring 2022-11-28 16:38:09 +01:00
dune Rename utils to catala_utils 2022-11-28 16:38:09 +01:00
from_surface.ml Better indications for the user : 2023-07-12 16:32:55 +02:00
from_surface.mli Uniform naming of conversion modules across compilation passes 2022-11-22 12:08:18 +01:00
linting.ml Add some helper functions in a wrapper Map module 2023-07-12 11:51:15 +02:00
linting.mli Update error messages 2023-03-31 14:01:04 +02:00
name_resolution.ml Add some helper functions in a wrapper Map module 2023-07-12 11:51:15 +02:00
name_resolution.mli Wip support for modules 2023-06-15 17:56:57 +02:00
print.ml Add some helper functions in a wrapper Map module 2023-07-12 11:51:15 +02:00
print.mli Refactoring changes after @altgr's suggestions 2023-04-18 10:31:44 +02:00