diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2015-12-05 19:45:33 +0200 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2015-12-14 15:55:49 +0000 |
| commit | cc20c0da2a9d8065e9d2f2470725e41353767214 (patch) | |
| tree | 6e6127c17e241d17c1f611934e6b8e0a57a7972f /latex-test/ref/Simple/main.tex | |
| parent | 5b07e7132ede1eefd2bc52604517434e960c87cb (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/main.tex')
0 files changed, 0 insertions, 0 deletions