diff options
| author | Brian Campbell | 2018-05-03 11:03:27 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-03 11:03:34 +0100 |
| commit | 449e8a54371b0c707bb7e3c5acdb4fd475a016d0 (patch) | |
| tree | 53d69c3e99c296f1420e9908407ba8757bac88be /lib/exception_basic.sail | |
| parent | fb4c8689e417d4f02dcfa61d44ee2271855161f1 (diff) | |
Work in progress on the coq backend
- originally based on the Lem backend
- added externs to some of the library files and tests
- added wildcard to extern valspecs in parser
- added Type_check.get_val_spec_orig to return the valspec with the
function's original names for bound type variables
Note that most of the tests will fail currently
Diffstat (limited to 'lib/exception_basic.sail')
0 files changed, 0 insertions, 0 deletions