diff options
author | Martin <martin.brain@cs.ox.ac.uk> | 2017-10-03 01:41:24 +0100 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2017-10-02 17:41:24 -0700 |
commit | 6861f66d2e2b54fc31d9151b4dbeb2964ea07f94 (patch) | |
tree | 4b4e5fe368f5531f0b43045ac339c4b94124c7b1 /src/expr/node.h | |
parent | fad765a539f8732461340980477ffe3f8c672fb2 (diff) |
Add 5 FP kinds for partial to total fn conversion (#1128)
- Add new kinds for partially defined functions
- Print the new kinds
- Type rules for the new total kinds
- Constant folding and rewrites for the new total kinds
Diffstat (limited to 'src/expr/node.h')
0 files changed, 0 insertions, 0 deletions