Add functions for creating and referencing type variables.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Sun, 21 Jun 2009 14:48:43 +0000 (16:48 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Sun, 21 Jun 2009 14:52:58 +0000 (16:52 +0200)
commit570e26f7870fffb1b08fcf44c972b2152d942fc6
tree39388d6ff65d5e47fc6632e8ccb227f4293504af
parentf20ebcfe03b2f3493be450761c8b3a26c2e0cd30
Add functions for creating and referencing type variables.

These functions work for both type variables as well as normal variables,
allowing the code that uses them to work with both.
NormalizeTools.hs