diff options
| author | Alasdair Armstrong | 2018-11-06 17:57:58 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-11-06 18:04:02 +0000 |
| commit | 18c49a76854408d7c2cea74eeb07fd312a5927aa (patch) | |
| tree | 8a847ae3c597c120b6386c33aa2cd55e2c986d0e /editors | |
| parent | e8f8f3e65c9cb541712cec3c38de80f78d8fdedb (diff) | |
Fix bug with loop indices not being mapped to int64 in C
This should fix the issue in cheri128
Also introduce a feature to more easily debug the C backend:
sail -dfunction Name
will pretty-print the ANF and IR representation of just the Name
function. I want to make this work for the type-checker as well, but
it's a bit hard to get that to not fire during re-writing passes right
now.
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions
