diff options
| author | Camil Staps | 2017-07-21 09:20:07 +0000 |
|---|---|---|
| committer | Camil Staps | 2017-07-21 09:20:07 +0000 |
| commit | f534619223a68fb81e6a521de71f55aca21b0db5 (patch) | |
| tree | d4e83ad0e4ea4b3cad8dbb487165ea9221d79f97 /Sil | |
| parent | Resolve #7: correctly return function result (diff) | |
A codeblock ending with a machine statement can be considered sure to return
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] |