Added tuple expressions and patterns.

src/Transfer/Syntax/Abs.hs

@@ -18,8 +18,8 @@ data Guard_
 type Guard = Tree Guard_
 data Pattern_
 type Pattern = Tree Pattern_
-data PListElem_
+data CommaPattern_
-type PListElem = Tree PListElem_
+type CommaPattern = Tree CommaPattern_
 data FieldPattern_
 type FieldPattern = Tree FieldPattern_
 data Exp_
@@ -54,13 +54,15 @@ data Tree :: * -> * where
     PConsTop :: Ident -> Pattern -> [Pattern] -> Tree Pattern_
     PCons :: Ident -> [Pattern] -> Tree Pattern_
     PRec :: [FieldPattern] -> Tree Pattern_
-    PList :: [PListElem] -> Tree Pattern_
+    PEmptyList :: Tree Pattern_
+    PList :: [CommaPattern] -> Tree Pattern_
+    PTuple :: CommaPattern -> [CommaPattern] -> Tree Pattern_
     PType :: Tree Pattern_
     PStr :: String -> Tree Pattern_
     PInt :: Integer -> Tree Pattern_
     PVar :: Ident -> Tree Pattern_
     PWild :: Tree Pattern_
-    PListElem :: Pattern -> Tree PListElem_
+    CommaPattern :: Pattern -> Tree CommaPattern_
     FieldPattern :: Ident -> Pattern -> Tree FieldPattern_
     EPi :: VarOrWild -> Exp -> Exp -> Tree Exp_
     EPiNoVar :: Exp -> Exp -> Tree Exp_
@@ -90,7 +92,9 @@ data Tree :: * -> * where
     EProj :: Exp -> Ident -> Tree Exp_
     ERecType :: [FieldType] -> Tree Exp_
     ERec :: [FieldValue] -> Tree Exp_
+    EEmptyList :: Tree Exp_
     EList :: [Exp] -> Tree Exp_
+    ETuple :: Exp -> [Exp] -> Tree Exp_
     EVar :: Ident -> Tree Exp_
     EType :: Tree Exp_
     EStr :: String -> Tree Exp_
@@ -134,9 +138,10 @@ composOpM f t = case t of
     PConsTop i pattern patterns -> return PConsTop `ap` f i `ap` f pattern `ap` mapM f patterns
     PCons i patterns -> return PCons `ap` f i `ap` mapM f patterns
     PRec fieldpatterns -> return PRec `ap` mapM f fieldpatterns
-    PList plistelems -> return PList `ap` mapM f plistelems
+    PList commapatterns -> return PList `ap` mapM f commapatterns
+    PTuple commapattern commapatterns -> return PTuple `ap` f commapattern `ap` mapM f commapatterns
     PVar i -> return PVar `ap` f i
-    PListElem pattern -> return PListElem `ap` f pattern
+    CommaPattern pattern -> return CommaPattern `ap` f pattern
     FieldPattern i pattern -> return FieldPattern `ap` f i `ap` f pattern
     EPi varorwild exp0 exp1 -> return EPi `ap` f varorwild `ap` f exp0 `ap` f exp1
     EPiNoVar exp0 exp1 -> return EPiNoVar `ap` f exp0 `ap` f exp1
@@ -167,6 +172,7 @@ composOpM f t = case t of
     ERecType fieldtypes -> return ERecType `ap` mapM f fieldtypes
     ERec fieldvalues -> return ERec `ap` mapM f fieldvalues
     EList exps -> return EList `ap` mapM f exps
+    ETuple exp exps -> return ETuple `ap` f exp `ap` mapM f exps
     EVar i -> return EVar `ap` f i
     VVar i -> return VVar `ap` f i
     LetDef i exp0 exp1 -> return LetDef `ap` f i `ap` f exp0 `ap` f exp1
@@ -192,9 +198,10 @@ composOpFold zero combine f t = case t of
     PConsTop i pattern patterns -> f i `combine` f pattern `combine` foldr combine zero (map f patterns)
     PCons i patterns -> f i `combine` foldr combine zero (map f patterns)
     PRec fieldpatterns -> foldr combine zero (map f fieldpatterns)
-    PList plistelems -> foldr combine zero (map f plistelems)
+    PList commapatterns -> foldr combine zero (map f commapatterns)
+    PTuple commapattern commapatterns -> f commapattern `combine` foldr combine zero (map f commapatterns)
     PVar i -> f i
-    PListElem pattern -> f pattern
+    CommaPattern pattern -> f pattern
     FieldPattern i pattern -> f i `combine` f pattern
     EPi varorwild exp0 exp1 -> f varorwild `combine` f exp0 `combine` f exp1
     EPiNoVar exp0 exp1 -> f exp0 `combine` f exp1
@@ -225,6 +232,7 @@ composOpFold zero combine f t = case t of
     ERecType fieldtypes -> foldr combine zero (map f fieldtypes)
     ERec fieldvalues -> foldr combine zero (map f fieldvalues)
     EList exps -> foldr combine zero (map f exps)
+    ETuple exp exps -> f exp `combine` foldr combine zero (map f exps)
     EVar i -> f i
     VVar i -> f i
     LetDef i exp0 exp1 -> f i `combine` f exp0 `combine` f exp1
@@ -251,13 +259,15 @@ instance Show (Tree c) where
     PConsTop i pattern patterns -> opar n . showString "PConsTop" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 pattern . showChar ' ' . showsPrec 1 patterns . cpar n
     PCons i patterns -> opar n . showString "PCons" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 patterns . cpar n
     PRec fieldpatterns -> opar n . showString "PRec" . showChar ' ' . showsPrec 1 fieldpatterns . cpar n
-    PList plistelems -> opar n . showString "PList" . showChar ' ' . showsPrec 1 plistelems . cpar n
+    PEmptyList -> showString "PEmptyList"
+    PList commapatterns -> opar n . showString "PList" . showChar ' ' . showsPrec 1 commapatterns . cpar n
+    PTuple commapattern commapatterns -> opar n . showString "PTuple" . showChar ' ' . showsPrec 1 commapattern . showChar ' ' . showsPrec 1 commapatterns . cpar n
     PType -> showString "PType"
     PStr str -> opar n . showString "PStr" . showChar ' ' . showsPrec 1 str . cpar n
     PInt n -> opar n . showString "PInt" . showChar ' ' . showsPrec 1 n . cpar n
     PVar i -> opar n . showString "PVar" . showChar ' ' . showsPrec 1 i . cpar n
     PWild -> showString "PWild"
-    PListElem pattern -> opar n . showString "PListElem" . showChar ' ' . showsPrec 1 pattern . cpar n
+    CommaPattern pattern -> opar n . showString "CommaPattern" . showChar ' ' . showsPrec 1 pattern . cpar n
     FieldPattern i pattern -> opar n . showString "FieldPattern" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 pattern . cpar n
     EPi varorwild exp0 exp1 -> opar n . showString "EPi" . showChar ' ' . showsPrec 1 varorwild . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
     EPiNoVar exp0 exp1 -> opar n . showString "EPiNoVar" . showChar ' ' . showsPrec 1 exp0 . showChar ' ' . showsPrec 1 exp1 . cpar n
@@ -287,7 +297,9 @@ instance Show (Tree c) where
     EProj exp i -> opar n . showString "EProj" . showChar ' ' . showsPrec 1 exp . showChar ' ' . showsPrec 1 i . cpar n
     ERecType fieldtypes -> opar n . showString "ERecType" . showChar ' ' . showsPrec 1 fieldtypes . cpar n
     ERec fieldvalues -> opar n . showString "ERec" . showChar ' ' . showsPrec 1 fieldvalues . cpar n
+    EEmptyList -> showString "EEmptyList"
     EList exps -> opar n . showString "EList" . showChar ' ' . showsPrec 1 exps . cpar n
+    ETuple exp exps -> opar n . showString "ETuple" . showChar ' ' . showsPrec 1 exp . showChar ' ' . showsPrec 1 exps . cpar n
     EVar i -> opar n . showString "EVar" . showChar ' ' . showsPrec 1 i . cpar n
     EType -> showString "EType"
     EStr str -> opar n . showString "EStr" . showChar ' ' . showsPrec 1 str . cpar n
@@ -323,13 +335,15 @@ johnMajorEq (PListCons pattern0 pattern1) (PListCons pattern0_ pattern1_) = patt
 johnMajorEq (PConsTop i pattern patterns) (PConsTop i_ pattern_ patterns_) = i == i_ && pattern == pattern_ && patterns == patterns_
 johnMajorEq (PCons i patterns) (PCons i_ patterns_) = i == i_ && patterns == patterns_
 johnMajorEq (PRec fieldpatterns) (PRec fieldpatterns_) = fieldpatterns == fieldpatterns_
-johnMajorEq (PList plistelems) (PList plistelems_) = plistelems == plistelems_
+johnMajorEq PEmptyList PEmptyList = True
+johnMajorEq (PList commapatterns) (PList commapatterns_) = commapatterns == commapatterns_
+johnMajorEq (PTuple commapattern commapatterns) (PTuple commapattern_ commapatterns_) = commapattern == commapattern_ && commapatterns == commapatterns_
 johnMajorEq PType PType = True
 johnMajorEq (PStr str) (PStr str_) = str == str_
 johnMajorEq (PInt n) (PInt n_) = n == n_
 johnMajorEq (PVar i) (PVar i_) = i == i_
 johnMajorEq PWild PWild = True
-johnMajorEq (PListElem pattern) (PListElem pattern_) = pattern == pattern_
+johnMajorEq (CommaPattern pattern) (CommaPattern pattern_) = pattern == pattern_
 johnMajorEq (FieldPattern i pattern) (FieldPattern i_ pattern_) = i == i_ && pattern == pattern_
 johnMajorEq (EPi varorwild exp0 exp1) (EPi varorwild_ exp0_ exp1_) = varorwild == varorwild_ && exp0 == exp0_ && exp1 == exp1_
 johnMajorEq (EPiNoVar exp0 exp1) (EPiNoVar exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
@@ -359,7 +373,9 @@ johnMajorEq (EApp exp0 exp1) (EApp exp0_ exp1_) = exp0 == exp0_ && exp1 == exp1_
 johnMajorEq (EProj exp i) (EProj exp_ i_) = exp == exp_ && i == i_
 johnMajorEq (ERecType fieldtypes) (ERecType fieldtypes_) = fieldtypes == fieldtypes_
 johnMajorEq (ERec fieldvalues) (ERec fieldvalues_) = fieldvalues == fieldvalues_
+johnMajorEq EEmptyList EEmptyList = True
 johnMajorEq (EList exps) (EList exps_) = exps == exps_
+johnMajorEq (ETuple exp exps) (ETuple exp_ exps_) = exp == exp_ && exps == exps_
 johnMajorEq (EVar i) (EVar i_) = i == i_
 johnMajorEq EType EType = True
 johnMajorEq (EStr str) (EStr str_) = str == str_
@@ -394,58 +410,62 @@ instance Ord (Tree c) where
     index (PConsTop _ _ _) = 11
     index (PCons _ _) = 12
     index (PRec _) = 13
-    index (PList _) = 14
+    index (PEmptyList ) = 14
-    index (PType ) = 15
+    index (PList _) = 15
-    index (PStr _) = 16
+    index (PTuple _ _) = 16
-    index (PInt _) = 17
+    index (PType ) = 17
-    index (PVar _) = 18
+    index (PStr _) = 18
-    index (PWild ) = 19
+    index (PInt _) = 19
-    index (PListElem _) = 20
+    index (PVar _) = 20
-    index (FieldPattern _ _) = 21
+    index (PWild ) = 21
-    index (EPi _ _ _) = 22
+    index (CommaPattern _) = 22
-    index (EPiNoVar _ _) = 23
+    index (FieldPattern _ _) = 23
-    index (EAbs _ _) = 24
+    index (EPi _ _ _) = 24
-    index (ELet _ _) = 25
+    index (EPiNoVar _ _) = 25
-    index (ECase _ _) = 26
+    index (EAbs _ _) = 26
-    index (EIf _ _ _) = 27
+    index (ELet _ _) = 27
-    index (EDo _ _) = 28
+    index (ECase _ _) = 28
-    index (EBind _ _) = 29
+    index (EIf _ _ _) = 29
-    index (EBindC _ _) = 30
+    index (EDo _ _) = 30
-    index (EOr _ _) = 31
+    index (EBind _ _) = 31
-    index (EAnd _ _) = 32
+    index (EBindC _ _) = 32
-    index (EEq _ _) = 33
+    index (EOr _ _) = 33
-    index (ENe _ _) = 34
+    index (EAnd _ _) = 34
-    index (ELt _ _) = 35
+    index (EEq _ _) = 35
-    index (ELe _ _) = 36
+    index (ENe _ _) = 36
-    index (EGt _ _) = 37
+    index (ELt _ _) = 37
-    index (EGe _ _) = 38
+    index (ELe _ _) = 38
-    index (EListCons _ _) = 39
+    index (EGt _ _) = 39
-    index (EAdd _ _) = 40
+    index (EGe _ _) = 40
-    index (ESub _ _) = 41
+    index (EListCons _ _) = 41
-    index (EMul _ _) = 42
+    index (EAdd _ _) = 42
-    index (EDiv _ _) = 43
+    index (ESub _ _) = 43
-    index (EMod _ _) = 44
+    index (EMul _ _) = 44
-    index (ENeg _) = 45
+    index (EDiv _ _) = 45
-    index (EApp _ _) = 46
+    index (EMod _ _) = 46
-    index (EProj _ _) = 47
+    index (ENeg _) = 47
-    index (ERecType _) = 48
+    index (EApp _ _) = 48
-    index (ERec _) = 49
+    index (EProj _ _) = 49
-    index (EList _) = 50
+    index (ERecType _) = 50
-    index (EVar _) = 51
+    index (ERec _) = 51
-    index (EType ) = 52
+    index (EEmptyList ) = 52
-    index (EStr _) = 53
+    index (EList _) = 53
-    index (EInteger _) = 54
+    index (ETuple _ _) = 54
-    index (EDouble _) = 55
+    index (EVar _) = 55
-    index (EMeta ) = 56
+    index (EType ) = 56
-    index (VVar _) = 57
+    index (EStr _) = 57
-    index (VWild ) = 58
+    index (EInteger _) = 58
-    index (LetDef _ _ _) = 59
+    index (EDouble _) = 59
-    index (Case _ _ _) = 60
+    index (EMeta ) = 60
-    index (BindVar _ _) = 61
+    index (VVar _) = 61
-    index (BindNoVar _) = 62
+    index (VWild ) = 62
-    index (FieldType _ _) = 63
+    index (LetDef _ _ _) = 63
-    index (FieldValue _ _) = 64
+    index (Case _ _ _) = 64
-    index (Ident _) = 65
+    index (BindVar _ _) = 65
+    index (BindNoVar _) = 66
+    index (FieldType _ _) = 67
+    index (FieldValue _ _) = 68
+    index (Ident _) = 69
     compareSame (Module imports decls) (Module imports_ decls_) = mappend (compare imports imports_) (compare decls decls_)
     compareSame (Import i) (Import i_) = compare i i_
     compareSame (DataDecl i exp consdecls) (DataDecl i_ exp_ consdecls_) = mappend (compare i i_) (mappend (compare exp exp_) (compare consdecls consdecls_))
@@ -460,13 +480,15 @@ instance Ord (Tree c) where
     compareSame (PConsTop i pattern patterns) (PConsTop i_ pattern_ patterns_) = mappend (compare i i_) (mappend (compare pattern pattern_) (compare patterns patterns_))
     compareSame (PCons i patterns) (PCons i_ patterns_) = mappend (compare i i_) (compare patterns patterns_)
     compareSame (PRec fieldpatterns) (PRec fieldpatterns_) = compare fieldpatterns fieldpatterns_
-    compareSame (PList plistelems) (PList plistelems_) = compare plistelems plistelems_
+    compareSame PEmptyList PEmptyList = EQ
+    compareSame (PList commapatterns) (PList commapatterns_) = compare commapatterns commapatterns_
+    compareSame (PTuple commapattern commapatterns) (PTuple commapattern_ commapatterns_) = mappend (compare commapattern commapattern_) (compare commapatterns commapatterns_)
     compareSame PType PType = EQ
     compareSame (PStr str) (PStr str_) = compare str str_
     compareSame (PInt n) (PInt n_) = compare n n_
     compareSame (PVar i) (PVar i_) = compare i i_
     compareSame PWild PWild = EQ
-    compareSame (PListElem pattern) (PListElem pattern_) = compare pattern pattern_
+    compareSame (CommaPattern pattern) (CommaPattern pattern_) = compare pattern pattern_
     compareSame (FieldPattern i pattern) (FieldPattern i_ pattern_) = mappend (compare i i_) (compare pattern pattern_)
     compareSame (EPi varorwild exp0 exp1) (EPi varorwild_ exp0_ exp1_) = mappend (compare varorwild varorwild_) (mappend (compare exp0 exp0_) (compare exp1 exp1_))
     compareSame (EPiNoVar exp0 exp1) (EPiNoVar exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
@@ -496,7 +518,9 @@ instance Ord (Tree c) where
     compareSame (EProj exp i) (EProj exp_ i_) = mappend (compare exp exp_) (compare i i_)
     compareSame (ERecType fieldtypes) (ERecType fieldtypes_) = compare fieldtypes fieldtypes_
     compareSame (ERec fieldvalues) (ERec fieldvalues_) = compare fieldvalues fieldvalues_
+    compareSame EEmptyList EEmptyList = EQ
     compareSame (EList exps) (EList exps_) = compare exps exps_
+    compareSame (ETuple exp exps) (ETuple exp_ exps_) = mappend (compare exp exp_) (compare exps exps_)
     compareSame (EVar i) (EVar i_) = compare i i_
     compareSame EType EType = EQ
     compareSame (EStr str) (EStr str_) = compare str str_

src/Transfer/Syntax/Doc.tex

@@ -142,7 +142,9 @@ All other symbols are terminals.\\
 
 \begin{tabular}{lll}
 {\nonterminal{Pattern3}} & {\arrow}  &{\terminal{rec}} {\terminal{\{}} {\nonterminal{ListFieldPattern}} {\terminal{\}}}  \\
- & {\delimit}  &{\terminal{[}} {\nonterminal{ListPListElem}} {\terminal{]}}  \\
+ & {\delimit}  &{\terminal{[}} {\terminal{]}}  \\
+ & {\delimit}  &{\terminal{[}} {\nonterminal{ListCommaPattern}} {\terminal{]}}  \\
+ & {\delimit}  &{\terminal{(}} {\nonterminal{CommaPattern}} {\terminal{,}} {\nonterminal{ListCommaPattern}} {\terminal{)}}  \\
  & {\delimit}  &{\terminal{Type}}  \\
  & {\delimit}  &{\nonterminal{String}}  \\
  & {\delimit}  &{\nonterminal{Integer}}  \\
@@ -152,13 +154,12 @@ All other symbols are terminals.\\
 \end{tabular}\\
 
 \begin{tabular}{lll}
-{\nonterminal{PListElem}} & {\arrow}  &{\nonterminal{Pattern}}  \\
+{\nonterminal{CommaPattern}} & {\arrow}  &{\nonterminal{Pattern}}  \\
 \end{tabular}\\
 
 \begin{tabular}{lll}
-{\nonterminal{ListPListElem}} & {\arrow}  &{\emptyP} \\
+{\nonterminal{ListCommaPattern}} & {\arrow}  &{\nonterminal{CommaPattern}}  \\
- & {\delimit}  &{\nonterminal{PListElem}}  \\
+ & {\delimit}  &{\nonterminal{CommaPattern}} {\terminal{,}} {\nonterminal{ListCommaPattern}}  \\
- & {\delimit}  &{\nonterminal{PListElem}} {\terminal{,}} {\nonterminal{ListPListElem}}  \\
 \end{tabular}\\
 
 \begin{tabular}{lll}
@@ -288,7 +289,9 @@ All other symbols are terminals.\\
 \begin{tabular}{lll}
 {\nonterminal{Exp13}} & {\arrow}  &{\terminal{sig}} {\terminal{\{}} {\nonterminal{ListFieldType}} {\terminal{\}}}  \\
  & {\delimit}  &{\terminal{rec}} {\terminal{\{}} {\nonterminal{ListFieldValue}} {\terminal{\}}}  \\
+ & {\delimit}  &{\terminal{[}} {\terminal{]}}  \\
  & {\delimit}  &{\terminal{[}} {\nonterminal{ListExp}} {\terminal{]}}  \\
+ & {\delimit}  &{\terminal{(}} {\nonterminal{Exp}} {\terminal{,}} {\nonterminal{ListExp}} {\terminal{)}}  \\
  & {\delimit}  &{\nonterminal{Ident}}  \\
  & {\delimit}  &{\terminal{Type}}  \\
  & {\delimit}  &{\nonterminal{String}}  \\
@@ -323,8 +326,7 @@ All other symbols are terminals.\\
 \end{tabular}\\
 
 \begin{tabular}{lll}
-{\nonterminal{ListExp}} & {\arrow}  &{\emptyP} \\
+{\nonterminal{ListExp}} & {\arrow}  &{\nonterminal{Exp}}  \\
- & {\delimit}  &{\nonterminal{Exp}}  \\
  & {\delimit}  &{\nonterminal{Exp}} {\terminal{,}} {\nonterminal{ListExp}}  \\
 \end{tabular}\\
 

src/Transfer/Syntax/Par.y

@@ -136,7 +136,9 @@ Pattern2 : Ident Pattern3 ListPattern { PConsTop $1 $2 (reverse $3) }
 
 Pattern3 :: { Pattern }
 Pattern3 : 'rec' '{' ListFieldPattern '}' { PRec $3 } 
-  | '[' ListPListElem ']' { PList $2 }
+  | '[' ']' { PEmptyList }
+  | '[' ListCommaPattern ']' { PList $2 }
+  | '(' CommaPattern ',' ListCommaPattern ')' { PTuple $2 $4 }
   | 'Type' { PType }
   | String { PStr $1 }
   | Integer { PInt $1 }
@@ -145,14 +147,13 @@ Pattern3 : 'rec' '{' ListFieldPattern '}' { PRec $3 }
   | '(' Pattern ')' { $2 }
 
 
-PListElem :: { PListElem }
+CommaPattern :: { CommaPattern }
-PListElem : Pattern { PListElem $1 } 
+CommaPattern : Pattern { CommaPattern $1 } 
 
 
-ListPListElem :: { [PListElem] }
+ListCommaPattern :: { [CommaPattern] }
-ListPListElem : {- empty -} { [] } 
+ListCommaPattern : CommaPattern { (:[]) $1 } 
-  | PListElem { (:[]) $1 }
+  | CommaPattern ',' ListCommaPattern { (:) $1 $3 }
-  | PListElem ',' ListPListElem { (:) $1 $3 }
 
 
 ListPattern :: { [Pattern] }
@@ -282,7 +283,9 @@ Exp12 : Exp12 '.' Ident { EProj $1 $3 }
 Exp13 :: { Exp }
 Exp13 : 'sig' '{' ListFieldType '}' { ERecType $3 } 
   | 'rec' '{' ListFieldValue '}' { ERec $3 }
+  | '[' ']' { EEmptyList }
   | '[' ListExp ']' { EList $2 }
+  | '(' Exp ',' ListExp ')' { ETuple $2 $4 }
   | Ident { EVar $1 }
   | 'Type' { EType }
   | String { EStr $1 }
@@ -317,8 +320,7 @@ Exp2 : Exp3 { $1 }
 
 
 ListExp :: { [Exp] }
-ListExp : {- empty -} { [] } 
+ListExp : Exp { (:[]) $1 } 
-  | Exp { (:[]) $1 }
   | Exp ',' ListExp { (:) $1 $3 }
 
 

src/Transfer/Syntax/Print.hs

@@ -94,13 +94,15 @@ instance Print (Tree c) where
     PConsTop i pattern patterns -> prPrec _i 2 (concatD [prt 0 i , prt 3 pattern , prt 0 patterns])
     PCons i patterns -> prPrec _i 3 (concatD [doc (showString "(") , prt 0 i , prt 0 patterns , doc (showString ")")])
     PRec fieldpatterns -> prPrec _i 3 (concatD [doc (showString "rec") , doc (showString "{") , prt 0 fieldpatterns , doc (showString "}")])
-    PList plistelems -> prPrec _i 3 (concatD [doc (showString "[") , prt 0 plistelems , doc (showString "]")])
+    PEmptyList  -> prPrec _i 3 (concatD [doc (showString "[") , doc (showString "]")])
+    PList commapatterns -> prPrec _i 3 (concatD [doc (showString "[") , prt 0 commapatterns , doc (showString "]")])
+    PTuple commapattern commapatterns -> prPrec _i 3 (concatD [doc (showString "(") , prt 0 commapattern , doc (showString ",") , prt 0 commapatterns , doc (showString ")")])
     PType  -> prPrec _i 3 (concatD [doc (showString "Type")])
     PStr str -> prPrec _i 3 (concatD [prt 0 str])
     PInt n -> prPrec _i 3 (concatD [prt 0 n])
     PVar i -> prPrec _i 3 (concatD [prt 0 i])
     PWild  -> prPrec _i 3 (concatD [doc (showString "_")])
-    PListElem pattern -> prPrec _i 0 (concatD [prt 0 pattern])
+    CommaPattern pattern -> prPrec _i 0 (concatD [prt 0 pattern])
     FieldPattern i pattern -> prPrec _i 0 (concatD [prt 0 i , doc (showString "=") , prt 0 pattern])
     EPi varorwild exp0 exp1 -> prPrec _i 0 (concatD [doc (showString "(") , prt 0 varorwild , doc (showString ":") , prt 0 exp0 , doc (showString ")") , doc (showString "->") , prt 0 exp1])
     EPiNoVar exp0 exp1 -> prPrec _i 0 (concatD [prt 1 exp0 , doc (showString "->") , prt 0 exp1])
@@ -130,7 +132,9 @@ instance Print (Tree c) where
     EProj exp i -> prPrec _i 12 (concatD [prt 12 exp , doc (showString ".") , prt 0 i])
     ERecType fieldtypes -> prPrec _i 13 (concatD [doc (showString "sig") , doc (showString "{") , prt 0 fieldtypes , doc (showString "}")])
     ERec fieldvalues -> prPrec _i 13 (concatD [doc (showString "rec") , doc (showString "{") , prt 0 fieldvalues , doc (showString "}")])
+    EEmptyList  -> prPrec _i 13 (concatD [doc (showString "[") , doc (showString "]")])
     EList exps -> prPrec _i 13 (concatD [doc (showString "[") , prt 0 exps , doc (showString "]")])
+    ETuple exp exps -> prPrec _i 13 (concatD [doc (showString "(") , prt 0 exp , doc (showString ",") , prt 0 exps , doc (showString ")")])
     EVar i -> prPrec _i 13 (concatD [prt 0 i])
     EType  -> prPrec _i 13 (concatD [doc (showString "Type")])
     EStr str -> prPrec _i 13 (concatD [prt 0 str])
@@ -162,9 +166,8 @@ instance Print [ConsDecl] where
    [] -> (concatD [])
    [x] -> (concatD [prt 0 x])
    x:xs -> (concatD [prt 0 x , doc (showString ";") , prt 0 xs])
-instance Print [PListElem] where
+instance Print [CommaPattern] where
   prt _ es = case es of
-   [] -> (concatD [])
    [x] -> (concatD [prt 0 x])
    x:xs -> (concatD [prt 0 x , doc (showString ",") , prt 0 xs])
 instance Print [Pattern] where
@@ -202,6 +205,5 @@ instance Print [FieldValue] where
    x:xs -> (concatD [prt 0 x , doc (showString ";") , prt 0 xs])
 instance Print [Exp] where
   prt _ es = case es of
-   [] -> (concatD [])
    [x] -> (concatD [prt 0 x])
    x:xs -> (concatD [prt 0 x , doc (showString ",") , prt 0 xs])

src/Transfer/Syntax/Skel.hs

@@ -25,13 +25,15 @@ transTree t = case t of
   PConsTop i pattern patterns -> failure t
   PCons i patterns -> failure t
   PRec fieldpatterns -> failure t
-  PList plistelems -> failure t
+  PEmptyList  -> failure t
+  PList commapatterns -> failure t
+  PTuple commapattern commapatterns -> failure t
   PType  -> failure t
   PStr str -> failure t
   PInt n -> failure t
   PVar i -> failure t
   PWild  -> failure t
-  PListElem pattern -> failure t
+  CommaPattern pattern -> failure t
   FieldPattern i pattern -> failure t
   EPi varorwild exp0 exp1 -> failure t
   EPiNoVar exp0 exp1 -> failure t
@@ -61,7 +63,9 @@ transTree t = case t of
   EProj exp i -> failure t
   ERecType fieldtypes -> failure t
   ERec fieldvalues -> failure t
+  EEmptyList  -> failure t
   EList exps -> failure t
+  ETuple exp exps -> failure t
   EVar i -> failure t
   EType  -> failure t
   EStr str -> failure t
@@ -109,16 +113,18 @@ transPattern t = case t of
   PConsTop i pattern patterns -> failure t
   PCons i patterns -> failure t
   PRec fieldpatterns -> failure t
-  PList plistelems -> failure t
+  PEmptyList  -> failure t
+  PList commapatterns -> failure t
+  PTuple commapattern commapatterns -> failure t
   PType  -> failure t
   PStr str -> failure t
   PInt n -> failure t
   PVar i -> failure t
   PWild  -> failure t
 
-transPListElem :: PListElem -> Result
+transCommaPattern :: CommaPattern -> Result
-transPListElem t = case t of
+transCommaPattern t = case t of
-  PListElem pattern -> failure t
+  CommaPattern pattern -> failure t
 
 transFieldPattern :: FieldPattern -> Result
 transFieldPattern t = case t of
@@ -154,7 +160,9 @@ transExp t = case t of
   EProj exp i -> failure t
   ERecType fieldtypes -> failure t
   ERec fieldvalues -> failure t
+  EEmptyList  -> failure t
   EList exps -> failure t
+  ETuple exp exps -> failure t
   EVar i -> failure t
   EType  -> failure t
   EStr str -> failure t

src/Transfer/Syntax/Syntax.cf

@@ -41,9 +41,16 @@ internal PCons.    Pattern3 ::= "(" Ident [Pattern] ")" ;
 PRec.     Pattern3 ::= "rec" "{" [FieldPattern] "}";
 
 -- List patterns
-PList.    Pattern3 ::= "[" [PListElem] "]" ;
+PEmptyList. Pattern3 ::= "[" "]" ;
-PListElem. PListElem ::= Pattern ;
+PList.      Pattern3 ::= "[" [CommaPattern] "]" ;
-separator PListElem "," ;
+
+-- Tuple patterns
+PTuple.   Pattern3 ::= "(" CommaPattern "," [CommaPattern] ")" ;
+
+-- hack to allow a different [Pattern] from the one defined
+-- for constructor patterns
+CommaPattern. CommaPattern ::= Pattern ;
+separator nonempty CommaPattern "," ;
 
 -- The pattern matching the Type constant
 PType.    Pattern3 ::= "Type" ;
@@ -121,8 +128,12 @@ ERec.      Exp13 ::= "rec" "{" [FieldValue] "}" ;
 FieldValue.FieldValue ::= Ident "=" Exp ;
 separator FieldValue ";" ;
 
+EEmptyList.Exp13 ::= "[" "]" ;
 EList.     Exp13 ::= "[" [Exp] "]" ;
 
+-- n-tuple, where n>=2
+ETuple.    Exp13 ::= "(" Exp "," [Exp] ")" ;
+
 EVar.      Exp13 ::= Ident ;
 EType.     Exp13 ::= "Type" ;
 EStr.      Exp13 ::= String ;
@@ -132,4 +143,4 @@ EMeta.     Exp13 ::= "?" ;
 
 coercions Exp 13 ;
 
-separator Exp "," ;
+separator nonempty Exp "," ;

src/Transfer/SyntaxToCore.hs

@@ -110,7 +110,7 @@ deriveDecls ds = liftM concat (mapM der ds)
            Just d -> d t k cs
            _ -> fail $ "Don't know how to derive " ++ f
       where (k,cs) = getDataType ts t
-  der d                = return [d]
+  der d = return [d]
 
 type Derivator = Ident -> Exp -> [(Ident,Exp)] -> C [Decl]
 
@@ -446,7 +446,9 @@ desugar = return . map f
  f :: Tree a -> Tree a
  f x = case x of
               PListCons p1 p2    -> pListCons        <| p1   <| p2
-              PList xs           -> pList (map f [p | PListElem p <- xs])
+              PEmptyList         -> pList []
+              PList xs           -> pList [f p | CommaPattern p <- xs]
+              PTuple x xs          -> mkPTuple [f p | CommaPattern p <- (x:xs)]
               GuardNo            -> gtrue
               EIf exp0 exp1 exp2 -> ifBool           <| exp0 <| exp1 <| exp2
               EDo bs e           -> mkDo (map f bs) (f e)
@@ -469,7 +471,9 @@ desugar = return . map f
               EDiv exp0 exp1     -> overlBin "div"   <| exp0 <| exp1
               EMod exp0 exp1     -> overlBin "mod"   <| exp0 <| exp1
               ENeg exp0          -> overlUn  "neg"   <| exp0
+              EEmptyList         -> mkList []
               EList exps         -> mkList (map f exps)
+              ETuple exp1 exps   -> mkETuple (map f (exp1:exps))
               _                  -> composOp f x
     where g <| x = g (f x)
 
@@ -687,8 +691,10 @@ dataTypes ds = Map.fromList [ (i,(t,[(c,ct) | ConsDecl c ct <- cs])) | DataDecl
 
 getDataType :: DataTypes -> Ident -> (Exp,[(Ident,Exp)])
 getDataType ts i = 
-    fromMaybe (error $ "Data type " ++ printTree i ++ " not found")
+    case Map.lookup i ts of
-              (Map.lookup i ts) 
+        Just t -> t
+        Nothing -> error $ "Data type " ++ printTree i ++ " not found."
+                           ++ " Known types: " ++ show (Map.keysSet ts)
 
 --
 -- * Utilities

transfer/TODO

@@ -1,7 +1,5 @@
 * Improve front-end language
 
-- Tuple syntax in expressions, types and patterns? Implemented with records.
-
 - implicit arguments?
 
 - show generation