[switch to boxy type checker by default.
John Meacham <john@repetae.net>**20060214101951] hunk ./FlagOpts.flags 27
-@default inline-pragmas rules wrapper float-in strictness defaulting type-analysis monomorphism-restriction
+@default inline-pragmas rules wrapper float-in strictness defaulting type-analysis monomorphism-restriction boxy
hunk ./Main.hs 287
-    printProgram prog
+    wdump FD.Lambdacube $ printProgram prog
hunk ./test/Forall.hs 74
---f (Bob x) = x 'y'
+f (Bob x) = (x 'y',x (3::Int))
hunk ./test/Forall.hs 77
---    putChar $ f (Bob id)
+    putChar $ fst $ f (Bob id)
hunk ./test/Forall.hs 80
+
+