is this not the dictionary passing (or whatever)to achieve overloading.
-----Original Message----- From: dario.bahena@correo.unam.mx [mailto:dario.bahena@correo.unam.mx] Sent: 13 April 2001 06:48 To: hugs-users@haskell.org Cc: hugs-bugs@haskell.org; haskell@haskell.org Subject: Question about hugs´s DEBUG_SHOWSC
hi haskellers ...
I´m trying to use the hugs´s flag DEBUG_SHOWSC. Everything seems to work fine, except for one(simple?) detail:
When you use Int or Double literals, hugs always add extra variables, related to the fromInt/fromDouble aplication.
For example:
f = 666
should be translated to:
f = fromInt 666
but hugs returns :
f = fromInt v35 666
What is the var. v35 for???, the function fromInt receives just one argument.
If the function has parameters, the resulting function has extra-parameters, which seems to be out-of-place in both sides of the binding ... here you are a couple of examples:
the function:
f x = 666
generates the output:
f o2 o1 = fromInt o2 666
And the reported type for f is: Num a => b -> a , which is inconsistent with the previous result.
the function:
f x = 666 + x
generates :
f o2 o1 = (+) o2 (fromInt o2 666) o1
which has similar troubles to the previous example.
What are these extra-variables for? Are they a debug-feature? what´s the meaning?
And finally, the obligated question: how can I avoid them? I suppose that I have to take a look at the source code, but: what´d be the part which is responsible for this(parser,static,type... no please,compiler)?
Thanks in advance.
saludos dario estepario ...
------------------------------------------------- Obtén tu correo en www.correo.unam.mx UNAMonos Comunicándonos
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell