Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
teaching:cc4101:tareas:2016-1:tarea1 [2016/04/11 14:56] – fmossoteaching:cc4101:tareas:2016-1:tarea1 [2016/04/17 00:03] (current) – [Tarea 1 (Entrega: 20 de Abril 2016)] fmosso
Line 2: Line 2:
  
  
-Esta tarea se distribuye con un archivo zip {{teaching:cc4101:201601-tarea1-base.zip|}} que contiene **3 carpetas A, B, y C**, correspondientes a los conjuntos de archivos que tienen que entregar. Noten que la carpeta C es para entregar la pregunta opcional (bonus) descrita al final de la tarea.+Esta tarea se distribuye con un archivo zip {{:teaching:cc4101:tareas:2016-1:2016-tarea1ver2.zip|}} que contiene **3 carpetas A, B, y C**, correspondientes a los conjuntos de archivos que tienen que entregar. Noten que la carpeta C es para entregar la pregunta opcional (bonus) descrita al final de la tarea.
  
     * La **carpeta A** contiene 3 archivos: main.rkt, tests.rkt, y machine.rkt. Los archivos main.rkt y tests.rkt son incompletos, y en ellos tienen que implementar lo que se solicita en las preguntas 1, 2, y 3. **No deben modificar el archivo machine.rkt**: es una implementación completa de la máquina a la cual van a compilar su lenguaje.     * La **carpeta A** contiene 3 archivos: main.rkt, tests.rkt, y machine.rkt. Los archivos main.rkt y tests.rkt son incompletos, y en ellos tienen que implementar lo que se solicita en las preguntas 1, 2, y 3. **No deben modificar el archivo machine.rkt**: es una implementación completa de la máquina a la cual van a compilar su lenguaje.
Line 155: Line 155:
   (TFun (TNum) (TBool))   (TFun (TNum) (TBool))
   > (typeof (parse '{fun {f : Num} : Bool 10}))   > (typeof (parse '{fun {f : Num} : Bool 10}))
-  "Type error in expression fun position 1: expected Bool found Num"+  "Type error in expression fun position 3: expected Bool found Num"
   > (typeof (parse '{{fun {f : Num} : Bool #t} #t}))   > (typeof (parse '{{fun {f : Num} : Bool #t} #t}))
   "Type error in expression app position 2: expected Num found Bool"   "Type error in expression app position 2: expected Num found Bool"
Line 170: Line 170:
 >(typecheck  '{fun {f : Num} : Bool #t}) >(typecheck  '{fun {f : Num} : Bool #t})
 '{Num -> Bool} '{Num -> Bool}
 +
 +>(typecheck  '{+ 2 #t})
 +  "Type error in expression + position 2: expected Num found Bool"
  
 >(typecheck  '{if #t 1 #t}) >(typecheck  '{if #t 1 #t})