diff options
| author | Camil Staps | 2017-11-25 11:40:36 +0100 |
|---|---|---|
| committer | Camil Staps | 2017-11-25 11:40:36 +0100 |
| commit | 318958defb22df34387b00b7d383675eefea8656 (patch) | |
| tree | 89a52271b5e2ae49f855303492e81b2c3709b98a | |
| parent | Finish assignment 9 (diff) | |
Cleanup
| -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 ] |