Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
| teaching:cc4101:tareas:2020-1:tarea1 [2020/04/14 07:08] – [2. Verificación de Tipos [1.5pt]] kmaillard | teaching:cc4101:tareas:2020-1:tarea1 [2020/04/14 07:12] – [2. Verificación de Tipos [1.5pt]] kmaillard | ||
|---|---|---|---|
| Line 97: | Line 97: | ||
| "Type error in expression fun position 1: expected (Num -> Num) found Num" | "Type error in expression fun position 1: expected (Num -> Num) found Num" | ||
| > (typeof (parse '{1 2})) | > (typeof (parse '{1 2})) | ||
| - | "Type error in expression app position 1: expected (T -> S) found Num" | + | "Type error in expression app position 1: expected (?T -> ?S) found Num" |
| > (typeof (parse '{{fun {x : Num} : Num {+ x x}} {fun {x : Num} : Num 5}})) | > (typeof (parse '{{fun {x : Num} : Num {+ x x}} {fun {x : Num} : Num 5}})) | ||
| "Type error in expression app position 2: expected Num found (Num -> Num)" | "Type error in expression app position 2: expected Num found (Num -> Num)" | ||