From d8515fda7b0e06b349a4fe783f0261865f4a967c Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Wed, 16 May 2018 21:47:56 +0200 Subject: Minor updates and fix for new Platform generics --- iclean.icl | 23 ++++++++++++----------- 1 file changed, 12 insertions(+), 11 deletions(-) (limited to 'iclean.icl') 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 +Copyright (c) 2015-2018 Camil Staps 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 } -- cgit v1.2.3