diff options
| -rw-r--r-- | assignment-9/sets.icl | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/assignment-9/sets.icl b/assignment-9/sets.icl index 94beddb..b277ff8 100644 --- a/assignment-9/sets.icl +++ b/assignment-9/sets.icl @@ -68,8 +68,6 @@ INT :: (Element -> Element); INT = id SET :: (Set -> Set); SET = id BOOL :: (Logical -> Logical); BOOL = id PRINT :: (Print -> Print); PRINT = id -intvar :: (String -> Element); intvar = variable -setvar :: (String -> Set); setvar = variable // -- Integer expressions -- @@ -231,7 +229,7 @@ Start = map (\x -> printToString x +++ "\n") , print $ "x" =. integer 5 , print $ factorial PRINT PRINT PRINT 5 , printToString $ eval $ SET (For "x" (SET (set [0,1,2,3,4])) (variable "x" * INT (integer 5))) - , printToString $ eval $ "y" =. INT (integer 5) :. SET (For "x" (intvar "y") (variable "x" * INT (integer 5))) + , printToString $ eval $ "y" =. INT (integer 5) :. SET (For "x" (INT (variable "y")) (variable "x" * INT (integer 5))) , printToString $ eval $ factorial INT SET BOOL 5 ] |