diff options
author | Brian Huffman <huffman@galois.com> | 2017-03-17 15:10:40 -0700 |
---|---|---|
committer | Alex Biehl <alexbiehl@gmail.com> | 2017-03-23 17:45:58 +0100 |
commit | 29c76f761fe131cc00272eed9a0137953dba6180 (patch) | |
tree | 1e5b077c15071b5efeddcfa1f4d90aa03301db5a /html-test/src/Ticket75.hs | |
parent | f6f9bca1416f6cee48f2d4731a6c38db92e87300 (diff) |
Update test suite to expect kind annotations on type parameters.
Diffstat (limited to 'html-test/src/Ticket75.hs')
0 files changed, 0 insertions, 0 deletions