Re: [Haskell-cafe] "Inconsistency" in support for phantom types?

8 Jan 2009

      ...
inv :: IntegerAsType n => Fp n -> Fp n
                        ^       ^       ^
On 8 Jan 2009, at 23:11, DavidA wrote:

this "n" --------------+-------+-------|
...
inv 0 = error "Fp,inv 0"
inv (Fp x) = let p = value (undefined :: n)
                                            ^
and this one ------------------------------|
are different beasts.

You can try something like this:

getN :: Fp n -> n
getN _ = undefined

inv a@(Fp x) = let p = value $ getN a
...

Re: [Haskell-cafe] "Inconsistency" in support for phantom types?

Miguel Mitrofanov