Skip to content
Snippets Groups Projects
Commit d1d40285 authored by Juan J. Quintela's avatar Juan J. Quintela
Browse files

[project @ 1997-12-02 18:23:56 by quintela]

Changes related with the new type of MatchSimply
parent d0ff97d8
No related branches found
No related tags found
No related merge requests found
...@@ -152,7 +152,7 @@ deListComp (BindStmt pat list1 locn : quals) core_list2 -- rule A' above ...@@ -152,7 +152,7 @@ deListComp (BindStmt pat list1 locn : quals) core_list2 -- rule A' above
-- the "fail" value ... -- the "fail" value ...
mkAppDs (Var h) [VarArg (Var u3)] `thenDs` \ core_fail -> mkAppDs (Var h) [VarArg (Var u3)] `thenDs` \ core_fail ->
deListComp quals core_fail `thenDs` \ rest_expr -> deListComp quals core_fail `thenDs` \ rest_expr ->
matchSimply (Var u2) pat res_ty matchSimply (Var u2) ListCompMatch pat res_ty
rest_expr core_fail `thenDs` \ core_match -> rest_expr core_fail `thenDs` \ core_match ->
mkAppDs (Var h) [VarArg core_list1] `thenDs` \ letrec_body -> mkAppDs (Var h) [VarArg core_list1] `thenDs` \ letrec_body ->
...@@ -225,7 +225,7 @@ dfListComp c_ty c_id n_ty n_id (BindStmt pat list1 locn : quals) ...@@ -225,7 +225,7 @@ dfListComp c_ty c_id n_ty n_id (BindStmt pat list1 locn : quals)
dfListComp c_ty c_id b_ty b quals `thenDs` \ core_rest -> dfListComp c_ty c_id b_ty b quals `thenDs` \ core_rest ->
-- build the pattern match -- build the pattern match
matchSimply (Var p) pat b_ty core_rest (Var b) `thenDs` \ core_expr -> matchSimply (Var p) ListCompMatch pat b_ty core_rest (Var b) `thenDs` \ core_expr ->
-- now build the outermost foldr, and return -- now build the outermost foldr, and return
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment