| .. |
|
catala_utils.mld
|
Match the compiler code to the new type of error message content
|
2023-07-12 11:55:11 +02:00 |
|
cli.ml
|
Add an option to stop on the first delayed error encountered
|
2024-06-19 14:52:32 +02:00 |
|
cli.mli
|
Reformat
|
2024-03-20 14:41:06 +01:00 |
|
dune
|
Messages: adjust to terminal width
|
2024-04-26 15:40:55 +02:00 |
|
file.ml
|
Fix adjustment of format width to terminal
|
2024-05-06 21:39:58 +02:00 |
|
file.mli
|
Reformat
|
2024-03-20 14:41:06 +01:00 |
|
get_version.ml
|
Better version handling
|
2024-01-24 11:41:34 +01:00 |
|
global.ml
|
Add an option to stop on the first delayed error encountered
|
2024-06-19 14:52:32 +02:00 |
|
global.mli
|
Add an option to stop on the first delayed error encountered
|
2024-06-19 14:52:32 +02:00 |
|
hash.ml
|
Replace module hashes for external modules
|
2024-05-28 11:43:50 +02:00 |
|
hash.mli
|
Replace module hashes for external modules
|
2024-05-28 11:43:50 +02:00 |
|
map.ml
|
Reformat
|
2023-11-30 23:53:38 +01:00 |
|
mark.ml
|
Computation and checking of module hashes
|
2024-05-28 11:43:50 +02:00 |
|
mark.mli
|
Computation and checking of module hashes
|
2024-05-28 11:43:50 +02:00 |
|
message.ml
|
Add error messages numbering (#634)
|
2024-06-20 15:41:55 +02:00 |
|
message.mli
|
Add error messages numbering (#634)
|
2024-06-20 15:41:55 +02:00 |
|
pos.ml
|
Messages: improve string padding processing
|
2024-06-19 16:10:26 +02:00 |
|
pos.mli
|
Messages: improve string padding processing
|
2024-06-19 16:10:26 +02:00 |
|
string.ml
|
Messages: improve string padding processing
|
2024-06-19 16:10:26 +02:00 |
|
string.mli
|
Messages: improve string padding processing
|
2024-06-19 16:10:26 +02:00 |
|
suggestions.ml
|
Cleaner message printing
|
2024-05-03 12:21:34 +02:00 |
|
suggestions.mli
|
Better indications for the user :
|
2023-07-12 16:32:55 +02:00 |
|
uid.ml
|
Fix hashing of submodule references
|
2024-05-28 11:43:50 +02:00 |
|
uid.mli
|
Fix hashing of submodule references
|
2024-05-28 11:43:50 +02:00 |
|
version.mli
|
Better version handling
|
2024-01-24 11:41:34 +01:00 |
