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 /mk/bootstrap.mk | |
| 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 'mk/bootstrap.mk')
0 files changed, 0 insertions, 0 deletions