[compiler,link] Move CPU/Elapsed time formatting to util.time.m |
|
More...
|
about 3 years ago
|
[link] Report times for linker |
|
More...
|
about 3 years ago
|
[compiler] Fix pretty-printing of miliseconds |
|
More...
|
about 3 years ago
|
[compiler] Factor out a common pattern in command line processing |
|
More...
|
about 3 years ago
|
[merge] Update the documentation for modules |
|
More...
|
about 3 years ago
|
[compiler] Remove wildcard imports from the language |
|
More...
|
about 3 years ago
|
[docs] Fix some uses of the ident terminal in the grammar |
|
More...
|
about 3 years ago
|
[docs] Add export keywords to EBNF |
|
More...
|
about 3 years ago
|
[docs] Quote terminals in EBNF more consistently |
|
More...
|
about 3 years ago
|
[docs] Add note about qualified modules |
|
More...
|
about 3 years ago
|
[docs] Add module declaration EBNF |
|
More...
|
about 3 years ago
|
[docs] Update example to cover examples used in docs |
|
More...
|
about 3 years ago
|
[docs] Document module heirachies and module exports |
|
More...
|
about 3 years ago
|
[docs] Small prose change |
|
More...
|
about 3 years ago
|
[merge] Handle transitive information in module imports |
|
More...
|
about 3 years ago
|
[compiler/pre] Handle transitively imported types in function declarations |
|
More...
|
about 3 years ago
|
[tests] Test that we can export functions that refer to imports across modules |
|
More...
|
about 3 years ago
|
[tests] Fixup types in module_11 test |
|
More...
|
about 3 years ago
|
[compiler/pre] Move handling of transitive resources in functions |
|
More...
|
about 3 years ago
|
[compiler/pre] Move handling of transitive resources in resources |
|
More...
|
about 3 years ago
|
[compiler/pre] Implicitly declare types read in a transitive dependency |
|
More...
|
about 3 years ago
|
[tests] Check that transitive modules don't affect the environment |
|
More...
|
about 3 years ago
|
[tests] Test that inter-module resources have approprite error messages |
|
More...
|
about 3 years ago
|
[compiler/pre] Allow exporting functions that depend on other modules' resources |
|
More...
|
about 3 years ago
|
[compiler/pre] Exported functions may use abstract-imported resources |
|
More...
|
about 3 years ago
|
[compiler/core] Fix an assertion in resource checking |
|
More...
|
about 3 years ago
|
[merge] Types and resources form cycles between modules |
|
More...
|
about 3 years ago
|
[compiler/pre] Process typeres imports in a single pass |
|
More...
|
about 3 years ago
|
[compiler/pre] Implicitly create resources refered to in interface files |
|
More...
|
about 3 years ago
|
[compiler/pre] Track resource IDs to avoid an extra lookup |
|
More...
|
about 3 years ago
|