diff options
| author | Jon French | 2018-09-14 15:11:54 +0100 |
|---|---|---|
| committer | Jon French | 2018-09-14 15:11:54 +0100 |
| commit | b45104a529bcbe5ded4a765337b58648614481c6 (patch) | |
| tree | 482549e8cbd4c1419c8c02373d665868391c7261 /lib/exception_basic.sail | |
| parent | 959473a1b881729eacd993dbeee193396b031bd5 (diff) | |
More monomorphisations for hex_bits_N...
I got bored of this so I wrote a Python script to generate all of them
between 1 and 33, plus 48 and 64. It's in a comment.
We should really get around to making the typechecker work with
polymorphic mappings...
Diffstat (limited to 'lib/exception_basic.sail')
0 files changed, 0 insertions, 0 deletions