Open nushio3 opened 12 years ago
Vectors are made typeable now.
instance (Typeable a, Typeable (n a)) => Typeable (n :~ a) where typeOf (vx :~ x) = mkTyConApp (mkTyCon "Language.Paraiso.Tensor.:~") [typeOf vx, typeOf x]
Tensor of rank 1 (vectors) and arbitral dimensions are well typed, but taking typeOf of higher rank tensors results in Prelude::undefined.
look for the reason. and also you should migrate to mkTyCon3, when base 4.4 is available.
Vectors are made typeable now.
instance (Typeable a, Typeable (n a)) => Typeable (n :~ a) where typeOf (vx :~ x) = mkTyConApp (mkTyCon "Language.Paraiso.Tensor.:~") [typeOf vx, typeOf x]
Tensor of rank 1 (vectors) and arbitral dimensions are well typed, but taking typeOf of higher rank tensors results in Prelude::undefined.
look for the reason. and also you should migrate to mkTyCon3, when base 4.4 is available.