Commit 1a1634fa authored by John van Groningen's avatar John van Groningen
Browse files

added code for strict and unboxed lists

parent 7e3d54c3
...@@ -88,7 +88,7 @@ instance sequence FunctionBody where ...@@ -88,7 +88,7 @@ instance sequence FunctionBody where
sequence (TransformedBody transformedBody) sequence (TransformedBody transformedBody)
= sequence transformedBody = sequence transformedBody
sequence body sequence body
= abort "preprocess (FunctionBody): unknown body" <<- body = abort "preprocess (FunctionBody): unknown body"// <<- body
// case test ... // case test ...
instance sequence TransformedBody where instance sequence TransformedBody where
...@@ -141,6 +141,8 @@ instance sequence CasePatterns where ...@@ -141,6 +141,8 @@ instance sequence CasePatterns where
= sequence patterns = sequence patterns
sequence (BasicPatterns _ patterns) sequence (BasicPatterns _ patterns)
= sequence patterns = sequence patterns
sequence (OverloadedListPatterns _ decons_expr patterns)
= sequence patterns
instance sequence AlgebraicPattern where instance sequence AlgebraicPattern where
sequence {ap_vars, ap_expr} sequence {ap_vars, ap_expr}
......
Supports Markdown
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