diff options
| author | Camil Staps | 2017-07-19 21:40:48 +0000 |
|---|---|---|
| committer | Camil Staps | 2017-07-19 21:40:48 +0000 |
| commit | f0c1c589fffc8000630a62335bd55df66190df54 (patch) | |
| tree | ae7860fde09882ee77d3255851e32ea15cab6671 | |
| parent | Add NoReturnFromNonVoidError (diff) | |
Fix testing code
| -rw-r--r-- | Sil/Check.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Sil/Check.icl b/Sil/Check.icl index 0784291..c4ab5f0 100644 --- a/Sil/Check.icl +++ b/Sil/Check.icl @@ -24,7 +24,7 @@ where instance <<< CheckError where <<< f e = f <<< toString e <<< "\r\n" checkProgram :: *(Maybe *File) Program -> *([CheckError], *Maybe *File) -checkProgram err prog = checkFunction err (hd prog.p_funs) //appFst flatten $ mapSt (flip checkFunction) prog.p_funs err +checkProgram err prog = appFst flatten $ mapSt (flip checkFunction) prog.p_funs err checkFunction :: *(Maybe *File) Function -> *([CheckError], *Maybe *File) checkFunction err f = checkErrors [checkReturnAndVoid] f err |