Commit 29beca85 authored by sergio davila's avatar sergio davila
Browse files

fix problema de identacion y tipo en ej 1

parent 7490f99f
......@@ -29,13 +29,12 @@ texto [] = Vacio
texto t = Texto t Vacio
-- foldDoc chequear
foldDoc :: b -> (string -> b -> b) -> (Int -> b -> b) -> Doc -> b
foldDoc :: b -> (String -> b -> b) -> (Int -> b -> b) -> Doc -> b
foldDoc casoVacio casoTexto casoLinea documento = case documento of
Vacio -> casoVacio
Texto s d -> casoTexto s (rec d)
Linea i d -> casoLinea i (rec d)
where rec = foldDoc casoVacio casoTexto casoLinea
where rec = foldDoc casoVacio casoTexto casoLinea
-- NOTA: Se declara `infixr 6 <+>` para que `d1 <+> d2 <+> d3` sea equivalente a `d1 <+> (d2 <+> d3)`
-- También permite que expresiones como `texto "a" <+> linea <+> texto "c"` sean válidas sin la necesidad de usar paréntesis.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment