From f900ea388552cc3207a3798cc51caa489db52392 Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Tue, 16 Mar 2021 16:59:58 +0100 Subject: [PATCH] Don't process impossible values at all (not even for finding their types) --- src/compiler/GF/Compile/GrammarToLPGF.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/compiler/GF/Compile/GrammarToLPGF.hs b/src/compiler/GF/Compile/GrammarToLPGF.hs index 892598e33..5bfaf594e 100644 --- a/src/compiler/GF/Compile/GrammarToLPGF.hs +++ b/src/compiler/GF/Compile/GrammarToLPGF.hs @@ -279,7 +279,8 @@ mkConcrete debug (C.Abstract _ _ _ funs) (C.Concrete modId absModId flags params -- C.CommentedValue cmnt lv -> val2lin lv C.CommentedValue cmnt lv -> case cmnt of - "impossible" -> val2lin lv >>= \(_, typ) -> return (L.Empty, typ) + "impossible" -> return (L.Empty, Nothing) + -- "impossible" -> val2lin lv >>= \(_, typ) -> return (L.Empty, typ) _ -> val2lin lv v -> Left $ printf "val2lin not implemented for: %s" (show v)