[add Comb data type to hold supercombinators
John Meacham <john@repetae.net>**20080220043315] hunk ./E/FreeVars.hs 121
-
hunk ./E/FreeVars.hs 124
+instance FreeVars Comb IdSet where
+    freeVars a = delete (tvrIdent $ combHead a) $ freeVars (combBody a) `union` (freeVars $ combRules a)
+
hunk ./E/Type.hs 20
+
+-- the type of a supercombinator
+data Comb = Comb {
+    combHead :: TVr,
+    combBody :: E,
+    combRules :: [Rule]
+    }
+    {-!derive: update !-}