merge 0.6.2. |
|
More...
|
over 8 years ago
|
Fixes for things caught by Rascal typechecker |
|
More...
|
about 9 years ago
|
bump version and release |
|
More...
|
about 9 years ago
|
fix problem with getters/setters causing exception in Module data struct when passed through signature() |
|
More...
|
about 9 years ago
|
Fix #259 |
|
More...
|
over 9 years ago
|
Fix missing line in help output |
|
More...
|
over 9 years ago
|
Make require imply signature() |
|
More...
|
over 9 years ago
|
Turn catching of exceptions in typecheckers back on |
|
More...
|
over 9 years ago
|
New experimental release 0.5.1 |
|
More...
|
over 9 years ago
|
Include only API operations in the generated program interface |
|
More...
|
over 9 years ago
|
Fix problem with stray operators in external package names |
|
More...
|
over 9 years ago
|
experimental release |
|
More...
|
over 9 years ago
|
Fix problem where bindings list was applied to itself (causing re-renaming) |
|
More...
|
over 9 years ago
|
Debug instrumentation |
|
More...
|
over 9 years ago
|
Bugfix in invariant check |
|
More...
|
over 9 years ago
|
Try to avoid line breaking in hover help using nbsp |
|
More...
|
over 9 years ago
|
Remove formatting |
|
More...
|
over 9 years ago
|
Use correct typing in constructor, even in case of error |
|
More...
|
over 9 years ago
|
Fix two instantiation problems: |
|
More...
|
over 9 years ago
|
Make names easier to trace through the compiler |
|
More...
|
over 9 years ago
|
Nullness |
|
More...
|
over 9 years ago
|
Fix problems with equals |
|
More...
|
over 9 years ago
|
More fixes for merging and instantiation |
|
More...
|
over 9 years ago
|
Fix some internal errors; better error reporting when merging instantiations |
|
More...
|
over 9 years ago
|
Send help to std::cout |
|
More...
|
over 9 years ago
|
Fix some axiom merging problems |
|
More...
|
over 9 years ago
|
Set up code for optimiser; new icons for toolbar buttons |
|
More...
|
over 9 years ago
|
Implement return from block expressions |
|
More...
|
over 9 years ago
|
Drop old file |
|
More...
|
over 9 years ago
|
Extend BlockExpr syntax with return type |
|
More...
|
over 9 years ago
|