Changes between Version 78 and Version 79 of ExplicitCallStack


Ignore:
Timestamp:
Nov 28, 2010 1:20:07 PM (4 years ago)
Author:
ahammers
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitCallStack

    v78 v79  
    458458}}} 
    459459We 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). 
     460[http://www.articlesbase.com/criminal-articles/inteligator-review-3700882.html inteligator review]