From 7508fa578551672711fcec8c4b37d79c3a3de5ef Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 18 May 2009 15:01:18 +0000 Subject: pattern macros: oper f : pattern T = # p ; used as #f in patterns --- src/GF/Compile/CheckGrammar.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/GF/Compile/CheckGrammar.hs') 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) -- cgit v1.2.3