diff options
| author | Camil Staps | 2017-07-28 23:46:38 +0200 |
|---|---|---|
| committer | Camil Staps | 2017-07-28 23:46:38 +0200 |
| commit | fe76e2ad510ec9e4df965a9620f8d36778222c08 (patch) | |
| tree | 4caec2a73064dc9ed44214c9625c99cf379647b8 /Sil/Util/Printer.icl | |
| parent | Add a semi-memoized fibonacci with lists (diff) | |
Add globals on A-stack
Diffstat (limited to 'Sil/Util/Printer.icl')
| -rw-r--r-- | Sil/Util/Printer.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Sil/Util/Printer.icl b/Sil/Util/Printer.icl index 3ed15fb..55c2498 100644 --- a/Sil/Util/Printer.icl +++ b/Sil/Util/Printer.icl @@ -68,9 +68,9 @@ where instance PrettyPrinter Program where - print st prog = p st prog.p_funs + print st prog = p st prog.p_globals <+ "\r\n" <+ p st prog.p_funs where - p :: PrintState [Function] -> String + p :: PrintState [a] -> String | PrettyPrinter a p _ [] = "" p st [f] = print st f p st [f:fs] = print st f <+ "\r\n\r\n" <+ p st fs |