diff options
| author | Thomas Bauereiss | 2020-02-21 14:18:09 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-02-21 14:26:12 +0000 |
| commit | ef81395ecfaaec11f49a62834cf01bc52dd5d91a (patch) | |
| tree | d751d25910110d097c56f0056fd2a88d7e05714f /src/jib | |
| parent | e5ee087f1555582ba0c98a1890663eed9a4c2abb (diff) | |
Nl_flow: Consider early returns
Tells the typechecker that, for example, in a block after
if (i < 0) then {
return ();
} else {
...
}
the constraint not(i < 0) holds. This is a useful pattern when
type-checking code generated from ASL.
Diffstat (limited to 'src/jib')
0 files changed, 0 insertions, 0 deletions