From 396cc63cfc3658a11bbc76c9b5c4bf32e21cef6a Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Thu, 1 Dec 2005 17:27:06 +0000
Subject: Added list patterns. Added som simple prelude functions.

---
 src/Transfer/Syntax/Skel.hs | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'src/Transfer/Syntax/Skel.hs')

diff --git a/src/Transfer/Syntax/Skel.hs b/src/Transfer/Syntax/Skel.hs
index a28e4a46a..d41d5512f 100644
--- a/src/Transfer/Syntax/Skel.hs
+++ b/src/Transfer/Syntax/Skel.hs
@@ -19,14 +19,17 @@ transTree t = case t of
   DeriveDecl i0 i1 -> failure t
   ConsDecl i exp -> failure t
   POr pattern0 pattern1 -> failure t
+  PListCons pattern0 pattern1 -> failure t
   PConsTop i pattern patterns -> failure t
   PCons i patterns -> failure t
   PRec fieldpatterns -> failure t
+  PList plistelems -> failure t
   PType  -> failure t
   PStr str -> failure t
   PInt n -> failure t
   PVar i -> failure t
   PWild  -> failure t
+  PListElem pattern -> failure t
   FieldPattern i pattern -> failure t
   ELet letdefs exp -> failure t
   ECase exp cases -> failure t
@@ -95,15 +98,21 @@ transConsDecl t = case t of
 transPattern :: Pattern -> Result
 transPattern t = case t of
   POr pattern0 pattern1 -> failure t
+  PListCons pattern0 pattern1 -> failure t
   PConsTop i pattern patterns -> failure t
   PCons i patterns -> failure t
   PRec fieldpatterns -> failure t
+  PList plistelems -> failure t
   PType  -> failure t
   PStr str -> failure t
   PInt n -> failure t
   PVar i -> failure t
   PWild  -> failure t
 
+transPListElem :: PListElem -> Result
+transPListElem t = case t of
+  PListElem pattern -> failure t
+
 transFieldPattern :: FieldPattern -> Result
 transFieldPattern t = case t of
   FieldPattern i pattern -> failure t
-- 
cgit v1.2.3