instances for bottom?
k.schupke at imperial.ac.uk
Tue Nov 23 05:06:22 EST 2004
I was wondering whether the method by which default types are chosen
for unresolved overloading could be made available to the programmer. It
that if we consider the overlapping instances:
x overlaps with Int and Float... I was wondering if it were possible to
that type inferance had failed... like with:
show (read x :: y)
Here y (the type of read x) has no type... and does not match _any_
from 'x'... so would it not be possible to have an instance for "no type"?
instance _|_ ...
More information about the Glasgow-haskell-users