mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-30 21:28:54 -06:00
workaround for a compilation bug for param defs (to be fixed)
This commit is contained in:
@@ -185,6 +185,7 @@ checkResInfo gr (c,info) = do
|
|||||||
return (c, ResOper pty' pde')
|
return (c, ResOper pty' pde')
|
||||||
|
|
||||||
ResParam (Yes pcs) -> chIn "parameter type" $ do
|
ResParam (Yes pcs) -> chIn "parameter type" $ do
|
||||||
|
---- mapM ((mapM (computeLType gr . snd)) . snd) pcs
|
||||||
mapM_ ((mapM_ (checkIfParType gr . snd)) . snd) pcs
|
mapM_ ((mapM_ (checkIfParType gr . snd)) . snd) pcs
|
||||||
return (c,info)
|
return (c,info)
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user