bugfix: In AppPredefined.hs, PTrue and PFalse should be declared as constructors

This commit is contained in:
krasimir
2009-11-13 21:52:53 +00:00
parent 1c6d0ee306
commit a2452fce56

View File

@@ -123,8 +123,8 @@ appPredefined t = case t of
-- read makes variables into constants
predefTrue = Q cPredef cPTrue
predefFalse = Q cPredef cPFalse
predefTrue = QC cPredef cPTrue
predefFalse = QC cPredef cPFalse
substring :: String -> String -> Bool
substring s t = case (s,t) of