From 1e8699d159dc510c300a5657e1127400030a1c10 Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Fri, 3 Oct 2008 07:35:26 +0000
Subject: Added | syntax for variants.

---
 src/GF/Source/GF.cf | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/GF/Source/GF.cf')

diff --git a/src/GF/Source/GF.cf b/src/GF/Source/GF.cf
index ef458c91a..2fe25e4d5 100644
--- a/src/GF/Source/GF.cf
+++ b/src/GF/Source/GF.cf
@@ -214,10 +214,11 @@ ESelect.   Exp3 ::= Exp3 "!" Exp4 ;
 ETupTyp.   Exp3 ::= Exp3 "*" Exp4 ;
 EExtend.   Exp3 ::= Exp3 "**" Exp4 ;
 
-EGlue.     Exp1 ::= Exp2 "+"  Exp1 ;
+EGlue.     Exp2 ::= Exp3 "+"  Exp2 ;
 
-EConcat.   Exp  ::= Exp1 "++" Exp ;
+EConcat.   Exp1 ::= Exp2 "++" Exp1 ;
 
+EVariant.  Exp  ::= Exp1 "|" Exp ;
 EAbstr.    Exp  ::= "\\" [Bind] "->" Exp ;
 ECTable.   Exp  ::= "\\""\\" [Bind] "=>" Exp ;
 EProd.     Exp  ::= Decl "->" Exp ;
-- 
cgit v1.2.3