forked from GitHub/gf-core
currying in paramlincat encoding
This commit is contained in:
@@ -176,6 +176,10 @@ mkParamLincat sgr lang cat = errVal (C.R [C.S []]) $ do
|
|||||||
RecType lts -> do
|
RecType lts -> do
|
||||||
ts <- mapM (mkPType . snd) lts
|
ts <- mapM (mkPType . snd) lts
|
||||||
return $ C.R [ C.P (kks $ prt_ l) t | ((l,_),t) <- zip lts ts]
|
return $ C.R [ C.P (kks $ prt_ l) t | ((l,_),t) <- zip lts ts]
|
||||||
|
Table (RecType lts) v -> do
|
||||||
|
ps <- mapM (mkPType . snd) lts
|
||||||
|
v' <- mkPType v
|
||||||
|
return $ foldr (\p v -> C.S [p,v]) v' ps
|
||||||
Table p v -> do
|
Table p v -> do
|
||||||
p' <- mkPType p
|
p' <- mkPType p
|
||||||
v' <- mkPType v
|
v' <- mkPType v
|
||||||
|
|||||||
Reference in New Issue
Block a user