Commits

Author Commit Message Labels Comments Date
Benoit Montagu
more tests
Benoit Montagu
bug with locations
Benoit Montagu
support for existential types (but no primitive in terms to manipulate them, for the moment)
Benoit Montagu
authors + license
Benoit Montagu
more consistent naming schemes, using sub-modules for namespace management
Benoit Montagu
compilation warnings
Benoit Montagu
bad string
Benoit Montagu
using equal instead of eq
Benoit Montagu
removed uses of polymorphic equality
Benoit Montagu
todo
Benoit Montagu
error reporting for unbound variables
Benoit Montagu
tests
Benoit Montagu
bug correction in single_ext
Benoit Montagu
error reporting in subtyping
Benoit Montagu
tests
Benoit Montagu
better pretty printing
Benoit Montagu
bug in error locations
Benoit Montagu
records of types with subkinding
Benoit Montagu
record subtyping
Benoit Montagu
adding records and record types (no subtyping)
Benoit Montagu
documentation
Benoit Montagu
enable all compilation warnings + corrections
Benoit Montagu
rename {b}?equal -> {b}?eq
Benoit Montagu
missing interfaces
Benoit Montagu
remove dead code
Benoit Montagu
missing interfaces
Benoit Montagu
delete unnecessary file
Benoit Montagu
rename: binrel -> answer
Benoit Montagu
interface for var.ml
Benoit Montagu
interface for ast.ml
  1. Prev
  2. Next