summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-12-20 13:41:35 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2015-12-20 13:41:35 -0500
commit7bf4f9f063dcdc9fc50ad6ac6143b113535b68f0 (patch)
tree9e0153c58684ffc14955e809cb884dfe373c6779 /tests
parentee1a68c223c13b323121f67e8f135160d521d3fd (diff)
Unnest properly in presence of kind polymorphism
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions