> I don't really get why this GHC.TypeLits constraint is a bottom dictionary...
> Is it because all Coercions/Constraints are bottom?
> Is there perhaps a set of flags I can use so that I can see the Core term
> corresponding to CLaSH.Sized.Fixed.$fNumFixed2 during compilation?
I guess I straight away answer my own question, sorry for the noise:
CLaSH.Sized.Fixed.$fNumFixed2
:: forall (n_a5SH :: GHC.TypeLits.Nat). 1 GHC.TypeLits.<= n_a5SH
[GblId, Str=DmdType b]
CLaSH.Sized.Fixed.$fNumFixed2 =
\ (@ (n_a5SH :: GHC.TypeLits.Nat)) ->
Control.Exception.Base.absentError
@ (1 GHC.TypeLits.<= n_a5SH)
"ww_s9JT{v} [lid] 1 base:GHC.TypeLits.<={tc r1W} n{tv a5SH} [tv]"#
I must say... I have never seen, in any of my programs, the error that
Control.Exception.Base.absentError is supposed to give:
absentError s = error ("Oops! Entered absent arg " ++ unpackCStringUtf8# s)
-- Christiaan
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
