diff options
Diffstat (limited to 'Sil/Util/Printer.icl')
| -rw-r--r-- | Sil/Util/Printer.icl | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/Sil/Util/Printer.icl b/Sil/Util/Printer.icl index 283709d..1052a3e 100644 --- a/Sil/Util/Printer.icl +++ b/Sil/Util/Printer.icl @@ -10,7 +10,6 @@ import StdString from Data.Func import $ import Data.List -import Data.Maybe import Text import Sil.Parse @@ -96,8 +95,8 @@ where print st init = st <+ init.init_type <+ " " <+ init.init_name <+ val <+ ";" where val = case init.init_value of - Nothing -> "" - Just v -> " := " <+ v + ?None -> "" + ?Just v -> " := " <+ v instance PrettyPrinter Statement where @@ -106,8 +105,8 @@ where st` = incIndent st oneblock (c,b) = "if (" <+ c <+ ") {\r\n" <+ print st` b <+ "\r\n" <+ st <+ "}" else` = case else of - Nothing -> "" - Just e -> " else {\r\n" <+ print st` e <+ "\r\n" <+ st <+ "}" + ?None -> "" + ?Just e -> " else {\r\n" <+ print st` e <+ "\r\n" <+ st <+ "}" print st (While _ c do) = st <+ "while (" <+ c <+ ") {\r\n" <+ print (incIndent st) do <+ "\r\n" <+ st <+ "}" print st stm = st <+ stm |