Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
teaching:cc4101:tareas:2020-1:tarea1 [2020/04/16 13:29] – [Tarea 1 (Entrega: 06 de mayo de 2020)] kmaillardteaching:cc4101:tareas:2020-1:tarea1 [2020/04/21 11:15] (current) – [2. Verificación de Tipos [1.5pt]] kmaillard
Line 117: Line 117:
  
 >(typecheck  '{+ 2 {fun {x : Num} : Num x}}) >(typecheck  '{+ 2 {fun {x : Num} : Num x}})
-  "Type error in expression + position 2: expected Num found {Num -> Num}"+  "Type error in expression + position 2: expected Num found (Num -> Num)"