Add getGlobalBinders accessor.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Sun, 21 Jun 2009 14:49:36 +0000 (16:49 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Sun, 21 Jun 2009 14:52:58 +0000 (16:52 +0200)
commit17fa4b76161e0b6916f50aaacc2aeb2b6fc21993
tree692100783d8825f2490d159f34743da3c74ab73b
parent570e26f7870fffb1b08fcf44c972b2152d942fc6
Add getGlobalBinders accessor.
NormalizeTypes.hs