Ahora me surgió otra duda.
Yo recibo:
(FunDef nombre expr) y se llama a lintMap con eso. Luego, por ejemplo, si se entra en este linting con una expresión expr de la forma (Infix op expr1 expr2) (por decir alguna, puede ser otro tipo), no puedo llamar a la recursión para cada expr1 y expr2 pues no son FunDef.
Esto me lleva a las siguientes preguntas:
1. no se debe considerar la recursión dentro de este linting?
2. cuando este linting recibe una función, asumimos que es de la forma que se presenta en la letra? es decir, no van a haber funciones que tengan un case de ese estilo que estén dentro de otra expresión?
Entiendo que la respuesta a la segunda pregunta puede ser media obvia ya que si el esquema del case ocurre dentro de una expresión más grande, entonce no se la podría definir como FunDef, pero de todas formas pregunto por las dudas.
Gracias!
Yo recibo:
(FunDef nombre expr) y se llama a lintMap con eso. Luego, por ejemplo, si se entra en este linting con una expresión expr de la forma (Infix op expr1 expr2) (por decir alguna, puede ser otro tipo), no puedo llamar a la recursión para cada expr1 y expr2 pues no son FunDef.
Esto me lleva a las siguientes preguntas:
1. no se debe considerar la recursión dentro de este linting?
2. cuando este linting recibe una función, asumimos que es de la forma que se presenta en la letra? es decir, no van a haber funciones que tengan un case de ese estilo que estén dentro de otra expresión?
Entiendo que la respuesta a la segunda pregunta puede ser media obvia ya que si el esquema del case ocurre dentro de una expresión más grande, entonce no se la podría definir como FunDef, pero de todas formas pregunto por las dudas.
Gracias!