applied-abstraction/precept — Issue #70: Type-based disambiguation
Author: guerrilla
Created: 2012-03-01 12:24:06+00:00
State: open
Labels: Feature

An example of when this is needed is in the Vivo G-machine implementation where we need `update` from both `Heaps` and `Stacks` and end being forced to write `Stack.update` and `Heap.update`. It is decidable to selection which `update` we mean based on the type. On the other hand, this could be a new source of overloading errors.