diff options
| author | Alasdair Armstrong | 2018-09-18 18:32:15 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-09-18 18:32:15 +0100 |
| commit | 283a2b3d9b76b6bbc17c01f8118ddd8cc0e73bfe (patch) | |
| tree | 037939959113f07ae900c12bf798f31c8549669c /src/gen_lib/sail2_string.lem | |
| parent | c4da9fa2a17ee965fb465da7943f1665dca4ffec (diff) | |
Fix issues with tuple Constructors taking multiple arguments
This really demonstrates why we should switch to Typ_fn being a typ
list * typ constructor because the implementation here feels *really*
hacky with dummy Typ_tup constructors being used to enforce single
arguments for constructors.
Diffstat (limited to 'src/gen_lib/sail2_string.lem')
0 files changed, 0 insertions, 0 deletions