1
0
forked from GitHub/gf-core

Don't process impossible values at all (not even for finding their types)

This commit is contained in:
John J. Camilleri
2021-03-16 16:59:58 +01:00
parent d9c37fc093
commit f900ea3885

View File

@@ -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)