History for opalang/opatop
Commits on Jul 7, 2011
Valentin Gatien-Baron committed
Commits on Jul 1, 2011
…sed tags of TypeIdent. By the way, this test was useless because if it succeeded, the printer of the toplevel would have printed less precise information.
Commits on Jun 29, 2011
…ique Extern. In fact, one implied the other, making ton of useless and confusing code. The aim in fine is to remove these tags from TypeIdents.
Commits on Jun 28, 2011
Commits on Jun 24, 2011
By the way, removed optionnal arguments and put instead required with labels fot some pretty non-trivial arguments. However, experience shows that creation of the typer is always done with the same value for these arguments (gamma, annotmap and qml db scheme). I wonder if we should not internalize these parameters as fixed values of the typer creation function.
Commits on Jun 22, 2011
Commits on Jun 21, 2011