GitLab

Printer

See merge request !23

Make argument of variants optional in the source language

See merge request !24

Parser

See merge request !21

Abstract ranks in the unifier

See merge request !15

The assumption that unification variables carry a (rank : int) leaks
an internal detail of the generalization implementation into
the (independent) unifier module.

In the future we may want to change the type of ranks, and this should
require no change to the Unifier implementation.

We make Unifier a functor over an arbitrary type of "data" carried by
equivalence classes of variables. The Generalization module
instantiates the unifier with a "data" module of ranks. This type of
rank is entirely internal to Generalization, it is not exposed to the
consumers anymore.

add simple annotations to the term syntax

See merge request !17

[small refactoring] Generalization.ml: split the 'exit' function in simpler parts.

See merge request !19

  (<term> : some <vars>. <ty>)

binding flexible variables, for example

  ((fun x -> x) : some a b. a -> b)

equivalent to OCaml's

  ((fun x -> x) : _ -> _)

enable Continuous Integration

See merge request !22

Using a 1.x version in dune-project would add a suprious dependency on
js_of_ocaml. We moved to 2.x, and followed the general policy of
requiring a recent version -- dune can be updated easily and is best
kept up-to-date.

[small refactoring] F variant simplification

See merge request !20

Before we would only store the type parameters, and we would lookup
the type constructor in the datatype environment. This becomes
insufficient if we later decide to allow type-directed disambiguation
of constructors, with potentially constructors of several distinct
types sharing the same label.

This commit changes the explicitly-typed representation of variant
constructors (in expressions and patterns) to carry the type
constructor in addition to the type parameters.

[minor fix] ensure that unification fails on incompatible type constructors

See merge request !18

Solve{Lo,Hi}: label the (rectypes:bool) argument

See merge request !14

F datatypes

See merge request !13

Pattern matching

See merge request !12