CHANGES.md 763 Bytes
Newer Older
POTTIER Francois's avatar
POTTIER Francois committed
1
2
# Changes

POTTIER Francois's avatar
POTTIER Francois committed
3
4
5
6
7
8
## 2020/11/XX

* In the solver's API, new function `instance_`,
  a variant of `instance`, which is more convenient (and more efficient)
  when one does not need to know how a type scheme was instantiated.

POTTIER Francois's avatar
POTTIER Francois committed
9
10
11
12
13
14
15
16
17
18
## 2020/10/01

* Change the signature `SolverSig.OUTPUT` so as to make `tyvar` an abstract
  type. An injection function `solver_tyvar : int -> tyvar` is introduced.

* Add n-ary products to the System F demo.
  (Contributed by Gabriel Scherer and Olivier Martinot.)

* Some cleanup in the directory structure.

POTTIER Francois's avatar
POTTIER Francois committed
19
20
21
22
23
24
25
26
27
## 2019/09/24

* Use `dune` instead of `ocamlbuild`. All necessary library files
  should now be properly installed (which was not the case in the
  previous version).

## 2018/04/05

* First release of Inferno as an `opam` package.