Minor updates and fix for new Platform generics

1 files changed, 12 insertions, 11 deletions

diff --git a/iclean.icl b/iclean.icl
index 31cd2e1..ee43732 100644
--- a/iclean.icl
+++ b/iclean.icl
@@ -5,7 +5,7 @@ Clean program to easily compile and run one-line Clean expressions
 
 The MIT License (MIT)
 
-Copyright (c) 2015 Camil Staps <info@camilstaps.nl>
+Copyright (c) 2015-2018 Camil Staps <info@camilstaps.nl>
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal
@@ -38,20 +38,21 @@ import ExtraString
 temp_path :== "/tmp/"
 temp_module :== "iclean"
 readline_history :== "/home/.iclean_history"
-template :== map ((+++) "import ") ["StdEnv", "StdDynamic", "GenPrint"]
+template :== map ((+++) "import ") ["StdEnv", "StdDynamic", "Text.GenPrint"]
 template_file :== "/home/.iclean_template"
 // END SETTINGS
 
 temp_file =: temp_path +++ temp_module +++ ".icl"
 
 help =:
-	"\tInteractive Clean - known commands:\n\n" +++
-	"\t:quit\t\t\tExit iClean\n" +++
-	"\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: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"
+	"   Interactive Clean - known commands:\n\n" +++
+	"   :quit                  Exit iClean\n" +++
+	"   :mem                   Display current memory\n" +++
+	"   :help                  Display this message\n\n" +++
+	"   :set K V               Set iClean's setting K to value V\n" +++
+	"                          Possible keys are show_type and show_result with {true,false} as values\n\n" +++
+	"   :def F X1 .. Xn = RHS  Add a rewrite rule to the memory\n" +++
+	"   :undef F               Remove all rewrite rules starting with 'F ' from the memory\n"
 
 :: Status
 	= { memory :: [String]
@@ -61,8 +62,8 @@ help =:
 instance zero Status where zero = { memory = [], settings = zero }
 
 :: Settings
-	= { show_type   :: Bool
-	  , show_result :: Bool
+	= { show_type   :: !Bool
+	  , show_result :: !Bool
 	  }
 
 instance zero Settings where zero = { show_type = False, show_result = True }