-
John van Groningen authored
add types in TC contexts of constructors with dictionaries to the type environment of dynamic types (at runtime). to fix for example: :: T = E.a b: A (a -> b) & TC a & TC b tToDyn :: !T -> Dynamic tToDyn (A x) = toDyn x toDyn :: a -> Dynamic | TC a toDyn a = dynamic a
04d32450