diff options
| author | Norman Ramsey <nr@eecs.harvard.edu> | 2007-08-20 16:41:05 +0000 |
|---|---|---|
| committer | Norman Ramsey <nr@eecs.harvard.edu> | 2007-08-20 16:41:05 +0000 |
| commit | 0731082288212fbc6d68204b609f201b8a79149a (patch) | |
| tree | a5e70994e3c1e47f3da5cef14688e877ec4533b8 /utils/genapply | |
| parent | 1cb7a8702e066ee74a6687f7f896ed77d0c25d8a (diff) | |
| download | haskell-0731082288212fbc6d68204b609f201b8a79149a.tar.gz | |
annotate C-- calls that do not return
* The correct definition of C-- requires that a procedure not
'fall off the end'. The 'never returns' annotation tells us
if a (foreign) call is not going to return.
Validated!
Diffstat (limited to 'utils/genapply')
| -rw-r--r-- | utils/genapply/GenApply.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/genapply/GenApply.hs b/utils/genapply/GenApply.hs index c42ccb181a..e46b37afcf 100644 --- a/utils/genapply/GenApply.hs +++ b/utils/genapply/GenApply.hs @@ -602,7 +602,7 @@ genApply regstatus args = text "default: {", nest 4 ( - text "foreign \"C\" barf(\"" <> fun_ret_label <> text "\");" + text "foreign \"C\" barf(\"" <> fun_ret_label <> text "\") never returns;" ), text "}" |