diff options
Diffstat (limited to 'Sil')
| -rw-r--r-- | Sil/Check.icl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Sil/Check.icl b/Sil/Check.icl index dc9f6a7..89ed73e 100644 --- a/Sil/Check.icl +++ b/Sil/Check.icl @@ -78,6 +78,7 @@ where While _ cb` -> sureToReturn cb` If bs (Just e) -> all sureToReturn [e:map snd bs] If bs Nothing -> all (sureToReturn o snd) bs + MachineStm _ -> True // Let's assume the user is not stupid _ -> False checkMainFunctionType :: Function -> [CheckError] |