aboutsummaryrefslogtreecommitdiff
path: root/.arclint
diff options
context:
space:
mode:
authorAlan Zimmerman <alan.zimm@gmail.com>2015-12-05 19:45:33 +0200
committerAlan Zimmerman <alan.zimm@gmail.com>2015-12-05 19:45:33 +0200
commitf4ef2548954bedf26674adc7a06574e718898d19 (patch)
tree8d0b3e799a53c369bfc709cdb96faf6832252f05 /.arclint
parent222954753de7a8a3708baff1d75a4b7c3a675f4b (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