rgrig/barista — Issue #4: polymorphic variants
Author: rgrig
Created: 2012-01-10 01:31:33+00:00
State: open

Reduce the use of polymorphic variants.

Pros of PV: you don't need to decide to which module they belong, you can do cool stuff with subtyping.
Cons of PV: you get less help from the type system, they are one of the more complicated features of OCaml

What prompted this: the data type t for constants in (HighInstruction.LDC t).