pattern macros: oper f : pattern T = # p ; used as #f in patterns

1 files changed, 2 insertions, 2 deletions

diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs
index 8ecba39f8..3aa200a35 100644
--- a/src/GF/Compile/CheckGrammar.hs
+++ b/src/GF/Compile/CheckGrammar.hs
@@ -563,7 +563,7 @@ inferLType gr trm = case trm of
      t'  <- justCheck t typeStr
      aa' <- flip mapM aa (\ (c,v) -> do
         c' <- justCheck c typeStr 
-        v' <- justCheck v typeStrs
+        v' <- checks $ map (justCheck v) [typeStrs, EPattType typeStr]
         return (c',v'))
      return (Alts (t',aa'), typeStr)
 
@@ -607,7 +607,7 @@ inferLType gr trm = case trm of
 
    EPattType ty -> do
      ty' <- justCheck ty typeType
-     return (ty',typeType)
+     return (EPattType ty',typeType)
    EPatt p -> do
      ty <- inferPatt p
      return (trm, EPattType ty)