- 02 Apr, 2015 4 commits
-
-
Kim Nguyễn authored
-
Kim Nguyễn authored
-
Kim Nguyễn authored
-
Kim Nguyễn authored
Improve the debugging of the unify step of the tallying. Fix a bug where substitutions were applied in the wrong order, yielding partially empty types.
-
- 01 Apr, 2015 1 commit
-
-
Kim Nguyễn authored
-
- 30 Mar, 2015 2 commits
-
-
Kim Nguyễn authored
-
Kim Nguyễn authored
-
- 28 Mar, 2015 1 commit
-
-
Kim Nguyễn authored
-
- 26 Mar, 2015 1 commit
-
-
Kim Nguyễn authored
-
- 18 Mar, 2015 2 commits
-
-
Kim Nguyễn authored
Refactor the Bool/BoolVar code so that they share the same interface. Give access to the underlying atom module in BoolVar.
-
Kim Nguyễn authored
Improve pretty printing of Bdds and add debug directive to interactively inspect the internal representation of types.
-
- 04 Mar, 2015 1 commit
-
-
Kim Nguyễn authored
Add a workaround in case pattern compilation failed (after typechecking) due to the presence of type variables in some types.
-
- 26 Feb, 2015 1 commit
-
-
Kim Nguyễn authored
-
- 21 Feb, 2015 2 commits
-
-
Kim Nguyễn authored
-
Kim Nguyễn authored
This reverts commit a8ba6ab6. This commit introduces a regression where suprious type variables are introduced in the final type.
-
- 20 Feb, 2015 1 commit
-
-
Kim Nguyễn authored
-
- 19 Feb, 2015 1 commit
-
-
Kim Nguyễn authored
Perform a more aggressive memoization of substituted types and register the name if the original type was named. Make the pretty-printer re-entrant.
-
- 06 Dec, 2014 1 commit
-
-
Kim Nguyễn authored
-
- 10 Sep, 2014 1 commit
-
-
Pietro Abate authored
-
- 08 Sep, 2014 3 commits
-
-
Pietro Abate authored
-
Pietro Abate authored
- type t 'a = ('a,'a) - type t ('a,'b) = ('a,'b) Fix Typer.pp_env printer for types Minor code refactring
-
Kim Nguyễn authored
Conflicts: Makefile.distrib depend Change $$ in >> in types.ml for the substitution operator
-
- 28 Aug, 2014 1 commit
-
-
Kim Nguyễn authored
Do not generate equations for monomorphic variables, during the generation of type equation from constraints.
-
- 19 Aug, 2014 2 commits
-
-
Pietro Abate authored
-
Pietro Abate authored
-
- 15 Jul, 2014 1 commit
-
-
Kim Nguyễn authored
-
- 01 Jul, 2014 3 commits
-
-
Pietro Abate authored
- delta is now kept into consideration when memoizing
-
Pietro Abate authored
-
Pietro Abate authored
Tallying and printing still broken.
-
- 27 Jun, 2014 2 commits
-
-
Pietro Abate authored
- delta is not yet used to do anything meaningful - remove optional argument ?fresh from Var.mk (legacy not used) - print -> pp,printf refactoring
-
Pietro Abate authored
-
- 26 Jun, 2014 3 commits
-
-
Pietro Abate authored
-
Pietro Abate authored
-
Pietro Abate authored
-
- 24 Jun, 2014 1 commit
-
-
Pietro Abate authored
-
- 19 Jun, 2014 4 commits
-
-
Pietro Abate authored
-
Pietro Abate authored
- from Module.xxx_to_string to Module.Print.string_of_xxxx - from Module.print_xxx to Module.Print.pp_xx
-
Pietro Abate authored
- refactoring in types.ml - add Types.squareapply - other fixes
-
Pietro Abate authored
- refactoring in types.ml - add Types.squareapply - other fixes
-
- 09 Jun, 2014 1 commit
-
-
Pietro Abate authored
-