blob: 5137faa7baf2a0d91dafb210ddad9823a4b407d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
module Param where
import AbsSrc
import SMacros
import Env
import STM
sizeParType :: [Constr] -> STM Env (Int,Int)
sizeParType cs = do
scs <- mapM sizeC cs
return (sum scs, length cs)
where
sizeC (Con c ts) = do
ats <- mapM (lookEnv parsizes) ts
return $ product ats
allParVals :: [Constr] -> STM Env [Exp]
allParVals cs = do
ess <- mapM alls cs
return $ concat ess
where
alls (Con c []) = do
return [constr c []]
alls (Con c ts) = do
ess <- mapM (lookEnv partypes) ts
return [constr c es | es <- sequence ess]
|
