-
chevalier@alum.wellesley.edu authored
I realized that recursive newtypes no longer have to be distinguished in the External Core AST, because explicit coercions allow the typechecker to typecheck newtypes without ever expanding newtypes. So, now all newtypes in External Core have a representation clause. O frabjous day!
04480522