Use tcSplitSigmaTy for getting at value arguments.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Fri, 26 Jun 2009 10:36:39 +0000 (12:36 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Fri, 26 Jun 2009 10:36:39 +0000 (12:36 +0200)
commit5ce8aec0615804d8e7da0bf05f64a8669c46dfd2
tree387dfcd2e107c5311c13e37715a06da0019294c9
parentef75844d0c2bd13bedfb4debc8a917edc0560be1
Use tcSplitSigmaTy for getting at value arguments.

Previously, some handcoded filters with isValArg and isDictId were used,
which were not so robust.
CoreTools.hs
VHDL.hs