Open dghosef opened 1 year ago
I had been working on better error messages. In essence, the idea was to associate each type with a location of code to better pinpoint the source of type errors. It was working pretty well and its implementation was in Type2.ml and Infer2.ml
Type2.ml
Infer2.ml
Unfortunately, I accidentally deleted those files in this commit: (https://github.com/qdbplang/qdbp/commit/782d3b23500f2b81fe61e05b83a2c27ffc65fd44).
Reinstate those files and make them the default.
We need colors + filenames too
dghosef
commented
1 year ago
I had been working on better error messages. In essence, the idea was to associate each type with a location of code to better pinpoint the source of type errors. It was working pretty well and its implementation was in
Type2.mlandInfer2.mlUnfortunately, I accidentally deleted those files in this commit: (https://github.com/qdbplang/qdbp/commit/782d3b23500f2b81fe61e05b83a2c27ffc65fd44).
Reinstate those files and make them the default.