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:2016-2:tarea1 [2016/10/13 23:20] – [P1 - TypeOf (3.0pt)] fmossoteaching:cc4101:tareas:2016-2:tarea1 [2016/10/18 18:39] (current) – [P3 - RunType (1.0pt)] fmosso
Line 163: Line 163:
 Una vez que se obtiene la lista con las variables de tipos, el type checker debe usarla para retornar al usuario un tipo. Una vez que se obtiene la lista con las variables de tipos, el type checker debe usarla para retornar al usuario un tipo.
  
-Defina la función **''lookup-list :: List[Constraints] x Tvar -> Type''** que dada una lista de constrains un tipo ''T'', busca en el ambiente el tipo que esta asociado a la variable de tipo ''T''.+Defina la función **''lookup-list :: List[Constraints] x Tvar -> Type''** que dada una lista de constrains y un tipo ''T'', busca en la lista el tipo que esta asociado a la variable de tipo ''T''.
  
 Finalmente defina la función **''runType :: S-Expr -> Type''** que dada una s-expresión, retorna su tipo (o arroja un error). Finalmente defina la función **''runType :: S-Expr -> Type''** que dada una s-expresión, retorna su tipo (o arroja un error).