diff options
| author | Brian Campbell | 2018-05-24 16:49:06 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-24 16:49:06 +0100 |
| commit | fa2169a210a0ee911d889900d4e845629330c1de (patch) | |
| tree | 26255f7bc2793fa3a146edacdc3a84320419709f /lib/vector_dec.sail | |
| parent | 4932765be036afe3433e13c3473f602f35034f4c (diff) | |
Check kinds of type variables while checking well-formedness of types
Stops (e.g.) an Int being used as a Type, including when no kind was
declared. The following commit will remove the test for the latter
case.
Diffstat (limited to 'lib/vector_dec.sail')
0 files changed, 0 insertions, 0 deletions