diff options
| author | Brian Huffman <huffman@galois.com> | 2017-03-17 14:57:39 -0700 |
|---|---|---|
| committer | Alex Biehl <alexbiehl@gmail.com> | 2017-03-23 17:45:58 +0100 |
| commit | f6f9bca1416f6cee48f2d4731a6c38db92e87300 (patch) | |
| tree | 24d4ede23aa8af1de20cfae2d1a179cd6c37222c /hypsrc-test/ref/src/Operators.html | |
| parent | 407508c7b2499e5f917a8a7bab6bbc7f9369ad4c (diff) | |
Print any user-supplied kind signatures on type parameters.
This applies to type parameters on data, newtype, type, and class
declarations, and also to forall-bound type vars in type signatures.
Diffstat (limited to 'hypsrc-test/ref/src/Operators.html')
0 files changed, 0 insertions, 0 deletions