diff options
author | Alan Zimmerman <alan.zimm@gmail.com> | 2015-12-05 19:45:33 +0200 |
---|---|---|
committer | Alan Zimmerman <alan.zimm@gmail.com> | 2015-12-05 19:45:33 +0200 |
commit | f4ef2548954bedf26674adc7a06574e718898d19 (patch) | |
tree | 8d0b3e799a53c369bfc709cdb96faf6832252f05 /.arclint | |
parent | 222954753de7a8a3708baff1d75a4b7c3a675f4b (diff) |
Placeholder for record style GADT declaration
A GADT Declaration is now presented as
CmmCondBranch :: {..} -> CmmNode O C
cml_pred :: CmmExpr
cml_true, cml_false :: !Label
cml_likely :: Maybe Bool
for
CmmCondBranch :: { -- conditional branch
cml_pred :: CmmExpr,
cml_true, cml_false :: ULabel,
cml_likely :: Maybe Bool -- likely result of the conditional,
-- if known
} -> CmmNode O C
Diffstat (limited to '.arclint')
0 files changed, 0 insertions, 0 deletions