Simon Peyton-Jones wrote:
> | * Putting the signature into the rule name seems a little bit
> | strange, e.g. "fromIntegral/Int8->Int16" vs "foldr/build".
> |
> | * Has `"foobar/Int8->Int16" fromIntegral = int8ToInt16' the same
> | effect?
>
> The name is only used in debug reporting. You can use whatever
> name you want.
Slowly I understand: Names are irrelevant (Borg? ;-) and a rules fires
only if
* the LHS matches syntactically,
* and the types match, too.
Is this correct? If yes, the documentation should make this clear.
My guess is that in the implementation both conditions above are
effectively reduced to the first one, because internally the types
etc. are explicit.
Cheers,
Sven
--
Sven Panne Tel.: +49/89/2178-2235
LMU, Institut fuer Informatik FAX : +49/89/2178-2211
LFE Programmier- und Modellierungssprachen Oettingenstr. 67
mailto:[EMAIL PROTECTED] D-80538 Muenchen
http://www.informatik.uni-muenchen.de/~Sven.Panne
