[don't let-bound unboxed values
John Meacham <john@repetae.net>**20060322044331] hunk ./E/LetFloat.hs 277
-        letRec [] e = e
-        letRec ds e = ELetRec ds e
hunk ./E/LetFloat.hs 341
+    g e | isUnboxed (getType e) = return e
hunk ./E/LetFloat.hs 349
+
+
+letRec [] e = e
+letRec ds _ | flint && hasRepeatUnder fst ds = error "letRec: repeated variables!"
+letRec ds e | flint && any (isUnboxed .tvrType . fst) ds = error "letRec: binding unboxed!"
+letRec ds e = ELetRec ds e
+