From bc950badd0655328af7a9886988722809e367d07 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Thu, 20 Jul 2017 20:25:25 +0000 Subject: Type checking --- sil.icl | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'sil.icl') diff --git a/sil.icl b/sil.icl index 5b1529a..32195e7 100644 --- a/sil.icl +++ b/sil.icl @@ -89,7 +89,11 @@ Start w | not ok # err = err <<< "Could not open 'sil_compiled.abc' for writing\r\n" = finish 1 io err w -# f = f <<< 'SC'.compile prog +# prog = 'SC'.compile prog +| isError prog + # err = err <<< fromError prog <<< "\r\n" + = finish 1 io err w +# f = f <<< fromOk prog # (_,w) = fclose f w | not args.generate = finish 0 io err w -- cgit v1.2.3