From a20cd77d251192b8912587de17ebb87fa3cfb053 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Fri, 23 Aug 2013 13:17:45 +0000 Subject: nonExist now does the expected thing --- src/compiler/GF/Compile/Compute/AppPredefined.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/compiler/GF/Compile/Compute/AppPredefined.hs') diff --git a/src/compiler/GF/Compile/Compute/AppPredefined.hs b/src/compiler/GF/Compile/Compute/AppPredefined.hs index 375564b32..d4b6dfb41 100644 --- a/src/compiler/GF/Compile/Compute/AppPredefined.hs +++ b/src/compiler/GF/Compile/Compute/AppPredefined.hs @@ -83,6 +83,8 @@ primitives = Map.fromList [(Explicit,varL,typeType),(Explicit,identW,Vr varL)] typeStr []))) Nothing) , (cMapStr , ResOper (Just (noLoc (mkProd -- (L : Type) -> (Str -> Str) -> L -> L [(Explicit,varL,typeType),(Explicit,identW,mkFunType [typeStr] typeStr),(Explicit,identW,Vr varL)] (Vr varL) []))) Nothing) + , (cNonExist , ResOper (Just (noLoc (mkProd -- Str + [] typeStr []))) Nothing) ] where fun from to = oper (mkFunType from to) -- cgit v1.2.3