#5674: Allow type signatures in instance declarations
--+-
Reporter: kprateek88 | Owner:
Type: feature request | Status: closed
Priority: normal
#5674: Allow type signatures in instance declarations
-+--
Reporter: kprateek88| Owner:
Type: feature request | Status: new
Priority: normal
#5674: Allow type signatures in instance declarations
-+--
Reporter: kprateek88|Owner:
Type: feature request | Status: new
Priority: normal
| Subject: Type signatures in instance declarations?
|
| Why are these illegal? I appreciate that they can't
| give useful information
| to the compiler, which knows the type already from the
| class, but in my
| opinion they are still useful to the maintainer,
| because
Hi Simon,
"Simon" == Simon Peyton-Jones [EMAIL PROTECTED] writes:
| Subject: Type signatures in instance declarations?
..
| I think it would be even useful to the compiler when one has a
| polymorphic recursion. ISTR occasions when I wasn't able to define
Why are these illegal? I appreciate that they can't give useful information
to the compiler, which knows the type already from the class, but in my
opinion they are still useful to the maintainer, because they serve as
a reminder of the type.
George Russell ([EMAIL PROTECTED]) wrote:
: Why are these illegal? I appreciate that they can't give useful information
: to the compiler, which knows the type already from the class, but in my
: opinion they are still useful to the maintainer, because they serve as
: a reminder of the type.
:
George Russell [EMAIL PROTECTED] writes:
Why are these illegal? I appreciate that they can't give useful information
to the compiler, which knows the type already from the class, but in my
opinion they are still useful to the maintainer, because they serve as
a reminder of
Some people write:
| "Type signatures in instance declarations?"
| Why are these illegal?
I agree completely. Related questions are:
* Why can one not have a type declaration of a function
twice ore more in a file? It seems a bit silly, because
you are allowed to pu
Koen Claessen ([EMAIL PROTECTED]) wrote:
[snip]
: * Why can one not have a type declarion in the export
: list of a module? Common practice for many people
: is to put these types in comments now (which is really
: dangerous, since the types might change but not the
:
10 matches
Mail list logo