Add kind polymorphism tests

Authored by Jose Pedro Magalhaes <jpm@cs.uu.nl> on Nov 15 2011, 10:08 AM.

Description

Add kind polymorphism tests

Details

Committed
Jose Pedro Magalhaes <jpm@cs.uu.nl>Nov 16 2011, 1:47 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFae3b9f91dc3a: Reducing the context stack for this file, which was looping anyway, to make it…
Branches
Unknown
Tags
Unknown
Jose Pedro Magalhaes <jpm@cs.uu.nl> committed rGHCDIFF6c094deac50f: Add kind polymorphism tests (authored by Jose Pedro Magalhaes <jpm@cs.uu.nl>).Nov 16 2011, 1:47 PM