diff options
| -rw-r--r-- | iclean.icl | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -50,7 +50,6 @@ help =: "\t:mem\t\t\tDisplay current memory\n" +++ "\t:help\t\t\tDisplay this message\n\n" +++ "\t:set K V\t\tSet iClean's setting K to value V\n\n" +++ - "\t:import MODULE\t\tAdd an import to the memory\n" +++ "\t:def F X1 .. Xn = RHS\tAdd a rewrite rule to the memory\n" +++ "\t:undef F\t\tRemove all rewrite rules starting with 'F ' from the memory\n" @@ -88,7 +87,6 @@ where # w = addHistory s w | s == ":quit" || s == ":q" = w | s == ":mem" = loop stat True (print (join "\n" stat.memory) w) - | matches ":import " s = loop {stat & memory = stat.memory ++ [skip 1 s]} True w | matches ":def " s = loop {stat & memory = stat.memory ++ [skip 5 s]} True w | matches ":undef " s = loop {stat & memory = filter (undef (skip 7 s)) stat.memory} True w | matches ":set " s @@ -97,6 +95,7 @@ where # (ok, msg, stat) = set setting value stat = loop stat ok (if (isNothing msg) id (print (fromJust msg +++ "\n")) w) | s == ":help" = loop stat True (print help w) + | matches "import " s = loop {stat & memory = stat.memory ++ [s]} True w | matches ":" s = loop stat False (print ("Unknown command\n") w) # w = writemodule stat s w # (r,w) = compile temp_path temp_module w |