cdbe480 — Nathan Ringo

Pipe reprs through more places.

6588298 — Nathan Ringo

Start of pattern matching.

724e632 — Nathan Ringo

Booleans, blocks, ctors

1e66794 — Nathan Ringo

operator and int literal tyck

f59fb1c — Nathan Ringo

Add a check for builtin defs.

25f5716 — Nathan Ringo

tyck if

39d0ff5 — Nathan Ringo

Unify kinds when unifying types.

e6211fa — Nathan Ringo

Fix ambiguityck.

6c017b5 — Nathan Ringo

Move kind-checking of unifiable types into tyck_common.

5fe488d — Nathan Ringo

Nix tweak to make it easier to switch between OCaml 4.14 and latest.

5323442 — Nathan Ringo

Makes logical_frames use dprintf, more tyck work.

05de642 — Nathan Ringo

Start of real type-checking, adds name argument to hashtables.

8bd8652 — Nathan Ringo

Last dprintf refactor, for now.

5422a13 — Nathan Ringo

Use dprintf to delay formatting decisions in ICEs.

067277e — Nathan Ringo

Note about compiler bugs.