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 /latex-test/ref/Simple/Simple.tex | |
| 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 'latex-test/ref/Simple/Simple.tex')
0 files changed, 0 insertions, 0 deletions