aboutsummaryrefslogtreecommitdiff
path: root/driver/Main.hs
diff options
context:
space:
mode:
authorBrian Huffman <huffman@galois.com>2017-03-17 14:57:39 -0700
committerAlex Biehl <alexbiehl@gmail.com>2017-03-23 17:45:58 +0100
commitf6f9bca1416f6cee48f2d4731a6c38db92e87300 (patch)
tree24d4ede23aa8af1de20cfae2d1a179cd6c37222c /driver/Main.hs
parent407508c7b2499e5f917a8a7bab6bbc7f9369ad4c (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 'driver/Main.hs')
0 files changed, 0 insertions, 0 deletions