Differences

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

--- teaching:cc4101:tareas:2020-1:tarea1 [2020/04/16 02:03] – [Tarea 1 (Entrega: 04 de mayo de 2020)] bsubercaseaux
+++ teaching:cc4101:tareas:2020-1:tarea1 [2020/04/21 14:15] (current) – [2. Verificación de Tipos [1.5pt]] kmaillard
@@ Line 1: / Line 1: @@
-====== Tarea 1 (Entrega: 04 de mayo de 2020) ======
+====== Tarea 1 (Entrega: 06 de mayo de 2020) ======
-Esta tarea se distribuye con un archivo zip {{ :teaching:cc4101:resources:tareas:2019-1:tarea1:base.zip |base}} que contiene 3 archivos: main.rkt, tests.rkt, y machine.rkt. Los archivos main.rkt y tests.rkt están incompletos, y en ellos tienen que implementar lo que se solicita en las preguntas siguientes. **No deben modificar el archivo machine.rkt**: es una implementación completa de la máquina a la cual van a compilar su lenguaje. Tampoco deben agregar tests para la funciones del archivo machine.rkt, sino solo para aquellas funciones que ustedes definen.
+Esta tarea se distribuye con un archivo zip {{teaching:cc4101:tareas:2020-1:base.zip |base}} que contiene 3 archivos: main.rkt, tests.rkt, y machine.rkt. Los archivos main.rkt y tests.rkt están incompletos, y en ellos tienen que implementar lo que se solicita en las preguntas siguientes. **No deben modificar el archivo machine.rkt**: es una implementación completa de la máquina a la cual van a compilar su lenguaje. Tampoco deben agregar tests para la funciones del archivo machine.rkt, sino solo para aquellas funciones que ustedes definen.
 Deben entregar via U-cursos **un archivo .zip** que contenga los archivos main.rkt y tests.rkt.
@@ Line 117: / Line 117: @@
 >(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)"