-users-boun...@haskell.org
[mailto:glasgow-haskell-users-
| boun...@haskell.org] On Behalf Of Bjorn Buckwalter
| Sent: 22 April 2011 16:19
| To: GHC Users
| Subject: Perplexing GHC-7.0.3 behavior with hairy type-level code
(regression from
| 6.12.3??)
|
| Hello all,
|
| I am doing some
Hello all,
I am doing some fairly hairy type-level stuff with
FunctionalDependencies, UndecidableInstances, and other. Without going
into details I have the following function which compiles fine:
vecMat :: (Transpose m m', MatrixVector m' v v', Num a)
= Vec v a - Mat m a - Vec v' a