From ed451653bd9fa4d835cb263c06d0ecb9133b9935 Mon Sep 17 00:00:00 2001 From: hallgren Date: Thu, 20 Oct 2011 14:36:30 +0000 Subject: Introduce an explicit error value in the Term type This makes it easier to treat run-time errors (e.g. caused by calls to Predef.error) in a way that is more typical for a lazy functional language. --- src/compiler/GF/Compile/Compute/AppPredefined.hs | 1 + 1 file changed, 1 insertion(+) (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 42d53c3c2..d15d57001 100644 --- a/src/compiler/GF/Compile/Compute/AppPredefined.hs +++ b/src/compiler/GF/Compile/Compute/AppPredefined.hs @@ -107,6 +107,7 @@ appPredefined t = case t of (K s) | f == cIsUpper -> retb $ if (all isUpper s) then predefTrue else predefFalse (K s) | f == cToUpper -> retb $ K $ map toUpper s (K s) | f == cToLower -> retb $ K $ map toLower s + (K s) | f == cError -> retb $ Error s _ -> retb t -- cgit v1.2.3