diff options
| author | Alasdair Armstrong | 2017-06-27 18:24:36 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-06-27 18:24:36 +0100 |
| commit | 058be7385881ce5a530f76fa48c867d04dca42cf (patch) | |
| tree | ce08499a77a3fad484f32503ed2324b92d543eae /src/lexer.mll | |
| parent | 917b54d97f7d9742b48fe7f7e55f7ce437a9af52 (diff) | |
More features in bi-directional typechecker
Can now typecheck:
* register fields in expressions, e.g. CP0Status.IM
* register fields in l-expressions, e.g. CP0Cause.CE := 0b00
* functions without valspecs, provided their types are easily inferable
Still need to be able to treat a register-typed register as a vector
for most of mips model to typecheck, as well as bitvector patterns,
but it's like 90% there.
Diffstat (limited to 'src/lexer.mll')
0 files changed, 0 insertions, 0 deletions