strobe

strobe copied to clipboard

Please, add instructions on how to build the typechecker from source and how to use it. Also, documentation on how to specify types would have been helpful.

achudnov

arjunguha

arjunguha

- Parse typ@label syntax - Input labels to type-checker (probably in environment) - Default label - Explicit label hierarchy - Subtyping with labels (check label hierarchy) - Label of current...

arjunguha

- Parse abstract - Figure out representation in type-environment

arjunguha

Subtraction is backward in one of these cases (reported by Ben Lerner): let subtract v1 v2 = match v1, v2 with | Set s1, Set s2 -> Set (S.subtract s1...

arjunguha

delete operator

1

arjunguha

- switch_fallthrough*.js

arjunguha

Many subtype tests in sb_typing.ml can be shortened by using the check function. It would blow error messages, so let check take an error-message argument.

arjunguha

We need to understand what works and what does not

arjunguha