primitive pattern matching

1 files changed, 1 insertions, 8 deletions

diff --git a/devel/compiler/Param.hs b/devel/compiler/Param.hs
index 7eea9f03f..5137faa7b 100644
--- a/devel/compiler/Param.hs
+++ b/devel/compiler/Param.hs
@@ -12,16 +12,9 @@ sizeParType cs = do
   return (sum scs, length cs)
  where
   sizeC (Con c ts) = do
-    ats <- mapM lookParTypeSize ts
+    ats <- mapM (lookEnv parsizes) ts
     return $ product ats
 
-lookParTypeSize :: Type -> STM Env Int
-lookParTypeSize ty = case ty of
-  TBas c -> do
-    ty' <- lookEnv typedefs c
-    lookParTypeSize ty'
-  TVal i -> return $ fromInteger i
-
 allParVals :: [Constr] -> STM Env [Exp]
 allParVals cs = do
   ess <- mapM alls cs