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/GeneratePMCFG.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/compiler/GF/Compile/GeneratePMCFG.hs') diff --git a/src/compiler/GF/Compile/GeneratePMCFG.hs b/src/compiler/GF/Compile/GeneratePMCFG.hs index 2db007635..d34518cf6 100644 --- a/src/compiler/GF/Compile/GeneratePMCFG.hs +++ b/src/compiler/GF/Compile/GeneratePMCFG.hs @@ -391,6 +391,10 @@ convertTerm opts sel ctype (Alts s alts) 4 (ppPatt Unqualified 0 p) +convertTerm opts sel ctype (Q (m,f)) + | m == cPredef && + f == cNonExist = return (CStr [SymNE]) + convertTerm opts sel@(CProj l _) ctype (ExtR t1 t2@(R rs2)) | l `elem` map fst rs2 = convertTerm opts sel ctype t2 | otherwise = convertTerm opts sel ctype t1 -- cgit v1.2.3