Changes between Version 66 and Version 67 of ExplicitCallStack


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

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v66 v67  
    411411      wabbit x = ... 
    412412}}} 
    413 We 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). 
     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).