Add kind annotations

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

Description

Add kind annotations

This is now necessary because previously we were being too
liberal in figuring out the kinds of phantom type variables.

Details

Committed
Jose Pedro Magalhaes <jpm@cs.uu.nl>Nov 16 2011, 1:47 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF6c094deac50f: Add kind polymorphism tests
Branches
Unknown
Tags
Unknown
Jose Pedro Magalhaes <jpm@cs.uu.nl> committed rGHCDIFF8c44438de7ef: Add kind annotations (authored by Jose Pedro Magalhaes <jpm@cs.uu.nl>).Nov 16 2011, 1:47 PM