Typ-Unifikation #180

New Issue

pl · 2015-10-07T10:47:13Z

pl commented

2015-10-07 10:47:13 +00:00

Sei

(TPH RET) meth(TPH A1 x1, ... , TPH AN xN)
((TPH A) x) -> ((TPH RET) exp)

Typ <. Ai zunächst nur für das Supremum weiterechnen, wenn Fehler, dann
erst mit den kleineren Typen weitermachen.

Ai <. Typ zunächst nur mit Typ weiterrechnen, nur wenn es fehlschlägt die
Kleiner-Funtion ausführen.

Für RET genau andersrum.

Dazu müsste vermutlich ein Tag eingeführt werden, das festhält, ob es eine Typvar
von Arg-Typvar oder eine Return-Typvar ist.

Sei - (TPH RET) meth(TPH A1 x1, ... , TPH AN xN) - ((TPH A) x) -> ((TPH RET) exp) Typ <. Ai zunächst nur für das Supremum weiterechnen, wenn Fehler, dann erst mit den kleineren Typen weitermachen. Ai <. Typ zunächst nur mit Typ weiterrechnen, nur wenn es fehlschlägt die Kleiner-Funtion ausführen. Für RET genau andersrum. Dazu müsste vermutlich ein Tag eingeführt werden, das festhält, ob es eine Typvar von Arg-Typvar oder eine Return-Typvar ist.

stan commented

2017-10-10 15:22:57 +00:00

OLD BUG

Sign in to join this conversation.