Changes between Version 65 and Version 66 of ExplicitCallStack


Ignore:
Timestamp:
Feb 9, 2007 1:24:27 PM (7 years ago)
Author:
bjpop
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v65 v66  
    411411      wabbit x = ... 
    412412}}} 
     413We might like to trace the wibbit function, but only for the MyType instance, and not the existing instances. The problem is that we only want the MyType version to receive a stack argument, whereas we don't want to give a stack argument to the other versions of wibbit. Because wibbit is overloaded we run into trouble, since all instances of wibbit must have the same type scheme (if one instance needs a stack argument, then they all need a stack argument).