With our new mixed term/value representation, there is no point in having
bquote, nor maintaining the term/value distinction in the GADT definition of
Terms.
We were on the cliff, facing the void. We're going to take a big step forward
now!
We will probably want to have "newtype"s to capture various (more subtle)
phases. We will have to pay some verboseness price, but it's probably safer
than having to hunt nasty bugs for ages. Also, with some clever newtype packer,
we will be able to (dynamically) check that the objects are of the right kind
(when a Paranoia flag is set, I guess).
Original issue reported on code.google.com by pedag...@gmail.com on 5 Sep 2010 at 11:09
Original issue reported on code.google.com by
pedag...@gmail.comon 5 Sep 2010 at 11:09