| [compiler/core] Improve floundering errors more |
|
More...
|
over 3 years ago
|
| [rt] Fix another misuse of abort() |
|
More...
|
over 3 years ago
|
| [rt] Don't use abort() to report this unsupported feature |
|
More...
|
over 3 years ago
|
| [compiler/core] Refactor representation of type errors |
|
More...
|
over 3 years ago
|
| [merge] Add more getting started information |
|
More...
|
over 3 years ago
|
| [docs] Remove the Github and ICE statement |
|
More...
|
over 3 years ago
|
| [docs] Fix some errors |
|
More...
|
over 3 years ago
|
| [compiler/core] Make typechecker tollerant of functions without capture types |
|
More...
|
over 3 years ago
|
| [docs] Add more getting started information |
|
More...
|
over 3 years ago
|
| [compiler/core] Introduce a new type for type errors |
|
More...
|
over 3 years ago
|
| [compiler/util] Gerenate two parts for formatting errors |
|
More...
|
over 3 years ago
|
| [compiler/core] Add nicer floundering errors to type checker |
|
More...
|
over 3 years ago
|
| [compiler/core] Don't print module names for types in the current module |
|
More...
|
over 3 years ago
|
| [compiler/core] Print type names in type errors |
|
More...
|
over 3 years ago
|
| [compiler] Fix bad entrypoint signature compiler error |
|
More...
|
over 3 years ago
|
| [compiler/core] Fix type errors caused by errors in sub-terms |
|
More...
|
over 3 years ago
|
| [compiler/core] Refactor the argument order for occurs_in_type and occurs_in_func |
|
More...
|
over 3 years ago
|
| [compiler/core] Fix the error messages for the occurs check |
|
More...
|
over 3 years ago
|
| [tests] If a test is interrupted print its name |
|
More...
|
over 3 years ago
|
| [compiler/core] Remove old XXX |
|
More...
|
over 3 years ago
|
| [compiler/core] Simplify the type checker |
|
More...
|
over 3 years ago
|
| [util] Update copyright years |
|
More...
|
over 3 years ago
|
| [util] Pretty print the whole error message |
|
More...
|
over 3 years ago
|
| [util] Change the error typeclass to use the pretty printer |
|
More...
|
over 3 years ago
|
| [compiler/core] Better reporting of mismatched type arguments |
|
More...
|
over 3 years ago
|
| [compiler] Use pretty-printer to format compiler errors |
|
More...
|
over 3 years ago
|
| [tests] Add an occurs-check test containing multiple levels |
|
More...
|
over 3 years ago
|
| [merge] Improve the tools --help documentation |
|
More...
|
over 3 years ago
|
| [rt] Fill out the help message for the runtime |
|
More...
|
over 3 years ago
|
| [compiler] Improve the synopsis section for plzc |
|
More...
|
over 3 years ago
|
