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 /rts/Apply.cmm | |
| 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 'rts/Apply.cmm')
| -rw-r--r-- | rts/Apply.cmm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/Apply.cmm b/rts/Apply.cmm index cf8a108006..c9c7daa9ac 100644 --- a/rts/Apply.cmm +++ b/rts/Apply.cmm @@ -58,7 +58,7 @@ stg_ap_0_fast -------------------------------------------------------------------------- */ INFO_TABLE(stg_PAP,/*special layout*/0,0,PAP,"PAP","PAP") -{ foreign "C" barf("PAP object entered!"); } +{ foreign "C" barf("PAP object entered!") never returns; } stg_PAP_apply { |