From 635845eed8acf476621bd0d01a85146fb19693a6 Mon Sep 17 00:00:00 2001 From: bringert Date: Thu, 1 Dec 2005 15:37:47 +0000 Subject: Transfer: added support for disjunctive patterns. --- src/Transfer/Syntax/Skel.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/Transfer/Syntax/Skel.hs') diff --git a/src/Transfer/Syntax/Skel.hs b/src/Transfer/Syntax/Skel.hs index 680ea1256..d9e51e9f6 100644 --- a/src/Transfer/Syntax/Skel.hs +++ b/src/Transfer/Syntax/Skel.hs @@ -18,6 +18,7 @@ transTree t = case t of ValueDecl i patterns exp -> failure t DeriveDecl i0 i1 -> failure t ConsDecl i exp -> failure t + POr pattern0 pattern1 -> failure t PConsTop i pattern patterns -> failure t PCons i patterns -> failure t PRec fieldpatterns -> failure t @@ -92,6 +93,7 @@ transConsDecl t = case t of transPattern :: Pattern -> Result transPattern t = case t of + POr pattern0 pattern1 -> failure t PConsTop i pattern patterns -> failure t PCons i patterns -> failure t PRec fieldpatterns -> failure t -- cgit v1.2.3