summaryrefslogtreecommitdiff
path: root/src/Transfer/Syntax
diff options
context:
space:
mode:
Diffstat (limited to 'src/Transfer/Syntax')
-rw-r--r--src/Transfer/Syntax/Abs.hs281
-rw-r--r--src/Transfer/Syntax/Lex.hs13
-rw-r--r--src/Transfer/Syntax/Lex.x2
-rw-r--r--src/Transfer/Syntax/Par.hs22
-rw-r--r--src/Transfer/Syntax/Par.y1
5 files changed, 148 insertions, 171 deletions
diff --git a/src/Transfer/Syntax/Abs.hs b/src/Transfer/Syntax/Abs.hs
index 7f0cb4fae..0ccf9ab12 100644
--- a/src/Transfer/Syntax/Abs.hs
+++ b/src/Transfer/Syntax/Abs.hs
@@ -342,143 +342,144 @@ johnMajorEq _ _ = False
instance Ord (Tree c) where
compare x y = compare (index x) (index y) `mappend` compareSame x y
- where
- index (Module _ _) = 0
- index (Import _) = 1
- index (DataDecl _ _ _) = 2
- index (TypeDecl _ _) = 3
- index (ValueDecl _ _ _ _) = 4
- index (DeriveDecl _ _) = 5
- index (ConsDecl _ _) = 6
- index (GuardExp _) = 7
- index (GuardNo ) = 8
- index (POr _ _) = 9
- index (PListCons _ _) = 10
- index (PConsTop _ _ _) = 11
- index (PCons _ _) = 12
- index (PRec _) = 13
- index (PEmptyList ) = 14
- index (PList _) = 15
- index (PTuple _ _) = 16
- index (PStr _) = 17
- index (PInt _) = 18
- index (PVar _) = 19
- index (PWild ) = 20
- index (CommaPattern _) = 21
- index (FieldPattern _ _) = 22
- index (EPi _ _ _) = 23
- index (EPiNoVar _ _) = 24
- index (EAbs _ _) = 25
- index (ELet _ _) = 26
- index (ECase _ _) = 27
- index (EIf _ _ _) = 28
- index (EDo _ _) = 29
- index (EBind _ _) = 30
- index (EBindC _ _) = 31
- index (EOr _ _) = 32
- index (EAnd _ _) = 33
- index (EEq _ _) = 34
- index (ENe _ _) = 35
- index (ELt _ _) = 36
- index (ELe _ _) = 37
- index (EGt _ _) = 38
- index (EGe _ _) = 39
- index (EListCons _ _) = 40
- index (EAdd _ _) = 41
- index (ESub _ _) = 42
- index (EMul _ _) = 43
- index (EDiv _ _) = 44
- index (EMod _ _) = 45
- index (ENeg _) = 46
- index (EApp _ _) = 47
- index (EProj _ _) = 48
- index (ERecType _) = 49
- index (ERec _) = 50
- index (EEmptyList ) = 51
- index (EList _) = 52
- index (ETuple _ _) = 53
- index (EVar _) = 54
- index (EType ) = 55
- index (EStr _) = 56
- index (EInteger _) = 57
- index (EDouble _) = 58
- index (EMeta ) = 59
- index (VVar _) = 60
- index (VWild ) = 61
- index (LetDef _ _) = 62
- index (Case _ _ _) = 63
- index (BindVar _ _) = 64
- index (BindNoVar _) = 65
- index (FieldType _ _) = 66
- index (FieldValue _ _) = 67
- index (Ident _) = 68
- 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_))
- compareSame (TypeDecl i exp) (TypeDecl i_ exp_) = mappend (compare i i_) (compare exp exp_)
- compareSame (ValueDecl i patterns guard exp) (ValueDecl i_ patterns_ guard_ exp_) = mappend (compare i i_) (mappend (compare patterns patterns_) (mappend (compare guard guard_) (compare exp exp_)))
- compareSame (DeriveDecl i0 i1) (DeriveDecl i0_ i1_) = mappend (compare i0 i0_) (compare i1 i1_)
- compareSame (ConsDecl i exp) (ConsDecl i_ exp_) = mappend (compare i i_) (compare exp exp_)
- compareSame (GuardExp exp) (GuardExp exp_) = compare exp exp_
- compareSame GuardNo GuardNo = EQ
- compareSame (POr pattern0 pattern1) (POr pattern0_ pattern1_) = mappend (compare pattern0 pattern0_) (compare pattern1 pattern1_)
- compareSame (PListCons pattern0 pattern1) (PListCons pattern0_ pattern1_) = mappend (compare pattern0 pattern0_) (compare pattern1 pattern1_)
- 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 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 (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 (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_)
- compareSame (EAbs varorwild exp) (EAbs varorwild_ exp_) = mappend (compare varorwild varorwild_) (compare exp exp_)
- compareSame (ELet letdefs exp) (ELet letdefs_ exp_) = mappend (compare letdefs letdefs_) (compare exp exp_)
- compareSame (ECase exp cases) (ECase exp_ cases_) = mappend (compare exp exp_) (compare cases cases_)
- compareSame (EIf exp0 exp1 exp2) (EIf exp0_ exp1_ exp2_) = mappend (compare exp0 exp0_) (mappend (compare exp1 exp1_) (compare exp2 exp2_))
- compareSame (EDo binds exp) (EDo binds_ exp_) = mappend (compare binds binds_) (compare exp exp_)
- compareSame (EBind exp0 exp1) (EBind exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- compareSame (EBindC exp0 exp1) (EBindC exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- compareSame (EOr exp0 exp1) (EOr exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- compareSame (EAnd exp0 exp1) (EAnd exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- compareSame (EEq exp0 exp1) (EEq exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- compareSame (ENe exp0 exp1) (ENe exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- compareSame (ELt exp0 exp1) (ELt exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- compareSame (ELe exp0 exp1) (ELe exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- compareSame (EGt exp0 exp1) (EGt exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- compareSame (EGe exp0 exp1) (EGe exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- compareSame (EListCons exp0 exp1) (EListCons exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- compareSame (EAdd exp0 exp1) (EAdd exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- compareSame (ESub exp0 exp1) (ESub exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- compareSame (EMul exp0 exp1) (EMul exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- compareSame (EDiv exp0 exp1) (EDiv exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- compareSame (EMod exp0 exp1) (EMod exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- compareSame (ENeg exp) (ENeg exp_) = compare exp exp_
- compareSame (EApp exp0 exp1) (EApp exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
- 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_
- compareSame (EInteger n) (EInteger n_) = compare n n_
- compareSame (EDouble d) (EDouble d_) = compare d d_
- compareSame EMeta EMeta = EQ
- compareSame (VVar i) (VVar i_) = compare i i_
- compareSame VWild VWild = EQ
- compareSame (LetDef i exp) (LetDef i_ exp_) = mappend (compare i i_) (compare exp exp_)
- compareSame (Case pattern guard exp) (Case pattern_ guard_ exp_) = mappend (compare pattern pattern_) (mappend (compare guard guard_) (compare exp exp_))
- compareSame (BindVar varorwild exp) (BindVar varorwild_ exp_) = mappend (compare varorwild varorwild_) (compare exp exp_)
- compareSame (BindNoVar exp) (BindNoVar exp_) = compare exp exp_
- compareSame (FieldType i exp) (FieldType i_ exp_) = mappend (compare i i_) (compare exp exp_)
- compareSame (FieldValue i exp) (FieldValue i_ exp_) = mappend (compare i i_) (compare exp exp_)
- compareSame (Ident str) (Ident str_) = compare str str_
- compareSame x y = error "BNFC error:" compareSame
+index :: Tree c -> Int
+index (Module _ _) = 0
+index (Import _) = 1
+index (DataDecl _ _ _) = 2
+index (TypeDecl _ _) = 3
+index (ValueDecl _ _ _ _) = 4
+index (DeriveDecl _ _) = 5
+index (ConsDecl _ _) = 6
+index (GuardExp _) = 7
+index (GuardNo ) = 8
+index (POr _ _) = 9
+index (PListCons _ _) = 10
+index (PConsTop _ _ _) = 11
+index (PCons _ _) = 12
+index (PRec _) = 13
+index (PEmptyList ) = 14
+index (PList _) = 15
+index (PTuple _ _) = 16
+index (PStr _) = 17
+index (PInt _) = 18
+index (PVar _) = 19
+index (PWild ) = 20
+index (CommaPattern _) = 21
+index (FieldPattern _ _) = 22
+index (EPi _ _ _) = 23
+index (EPiNoVar _ _) = 24
+index (EAbs _ _) = 25
+index (ELet _ _) = 26
+index (ECase _ _) = 27
+index (EIf _ _ _) = 28
+index (EDo _ _) = 29
+index (EBind _ _) = 30
+index (EBindC _ _) = 31
+index (EOr _ _) = 32
+index (EAnd _ _) = 33
+index (EEq _ _) = 34
+index (ENe _ _) = 35
+index (ELt _ _) = 36
+index (ELe _ _) = 37
+index (EGt _ _) = 38
+index (EGe _ _) = 39
+index (EListCons _ _) = 40
+index (EAdd _ _) = 41
+index (ESub _ _) = 42
+index (EMul _ _) = 43
+index (EDiv _ _) = 44
+index (EMod _ _) = 45
+index (ENeg _) = 46
+index (EApp _ _) = 47
+index (EProj _ _) = 48
+index (ERecType _) = 49
+index (ERec _) = 50
+index (EEmptyList ) = 51
+index (EList _) = 52
+index (ETuple _ _) = 53
+index (EVar _) = 54
+index (EType ) = 55
+index (EStr _) = 56
+index (EInteger _) = 57
+index (EDouble _) = 58
+index (EMeta ) = 59
+index (VVar _) = 60
+index (VWild ) = 61
+index (LetDef _ _) = 62
+index (Case _ _ _) = 63
+index (BindVar _ _) = 64
+index (BindNoVar _) = 65
+index (FieldType _ _) = 66
+index (FieldValue _ _) = 67
+index (Ident _) = 68
+compareSame :: Tree c -> Tree c -> Ordering
+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_))
+compareSame (TypeDecl i exp) (TypeDecl i_ exp_) = mappend (compare i i_) (compare exp exp_)
+compareSame (ValueDecl i patterns guard exp) (ValueDecl i_ patterns_ guard_ exp_) = mappend (compare i i_) (mappend (compare patterns patterns_) (mappend (compare guard guard_) (compare exp exp_)))
+compareSame (DeriveDecl i0 i1) (DeriveDecl i0_ i1_) = mappend (compare i0 i0_) (compare i1 i1_)
+compareSame (ConsDecl i exp) (ConsDecl i_ exp_) = mappend (compare i i_) (compare exp exp_)
+compareSame (GuardExp exp) (GuardExp exp_) = compare exp exp_
+compareSame GuardNo GuardNo = EQ
+compareSame (POr pattern0 pattern1) (POr pattern0_ pattern1_) = mappend (compare pattern0 pattern0_) (compare pattern1 pattern1_)
+compareSame (PListCons pattern0 pattern1) (PListCons pattern0_ pattern1_) = mappend (compare pattern0 pattern0_) (compare pattern1 pattern1_)
+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 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 (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 (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_)
+compareSame (EAbs varorwild exp) (EAbs varorwild_ exp_) = mappend (compare varorwild varorwild_) (compare exp exp_)
+compareSame (ELet letdefs exp) (ELet letdefs_ exp_) = mappend (compare letdefs letdefs_) (compare exp exp_)
+compareSame (ECase exp cases) (ECase exp_ cases_) = mappend (compare exp exp_) (compare cases cases_)
+compareSame (EIf exp0 exp1 exp2) (EIf exp0_ exp1_ exp2_) = mappend (compare exp0 exp0_) (mappend (compare exp1 exp1_) (compare exp2 exp2_))
+compareSame (EDo binds exp) (EDo binds_ exp_) = mappend (compare binds binds_) (compare exp exp_)
+compareSame (EBind exp0 exp1) (EBind exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EBindC exp0 exp1) (EBindC exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EOr exp0 exp1) (EOr exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EAnd exp0 exp1) (EAnd exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EEq exp0 exp1) (EEq exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (ENe exp0 exp1) (ENe exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (ELt exp0 exp1) (ELt exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (ELe exp0 exp1) (ELe exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EGt exp0 exp1) (EGt exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EGe exp0 exp1) (EGe exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EListCons exp0 exp1) (EListCons exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EAdd exp0 exp1) (EAdd exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (ESub exp0 exp1) (ESub exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EMul exp0 exp1) (EMul exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EDiv exp0 exp1) (EDiv exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (EMod exp0 exp1) (EMod exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+compareSame (ENeg exp) (ENeg exp_) = compare exp exp_
+compareSame (EApp exp0 exp1) (EApp exp0_ exp1_) = mappend (compare exp0 exp0_) (compare exp1 exp1_)
+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_
+compareSame (EInteger n) (EInteger n_) = compare n n_
+compareSame (EDouble d) (EDouble d_) = compare d d_
+compareSame EMeta EMeta = EQ
+compareSame (VVar i) (VVar i_) = compare i i_
+compareSame VWild VWild = EQ
+compareSame (LetDef i exp) (LetDef i_ exp_) = mappend (compare i i_) (compare exp exp_)
+compareSame (Case pattern guard exp) (Case pattern_ guard_ exp_) = mappend (compare pattern pattern_) (mappend (compare guard guard_) (compare exp exp_))
+compareSame (BindVar varorwild exp) (BindVar varorwild_ exp_) = mappend (compare varorwild varorwild_) (compare exp exp_)
+compareSame (BindNoVar exp) (BindNoVar exp_) = compare exp exp_
+compareSame (FieldType i exp) (FieldType i_ exp_) = mappend (compare i i_) (compare exp exp_)
+compareSame (FieldValue i exp) (FieldValue i_ exp_) = mappend (compare i i_) (compare exp exp_)
+compareSame (Ident str) (Ident str_) = compare str str_
+compareSame x y = error "BNFC error:" compareSame
diff --git a/src/Transfer/Syntax/Lex.hs b/src/Transfer/Syntax/Lex.hs
index c04d319ea..83c9e1a12 100644
--- a/src/Transfer/Syntax/Lex.hs
+++ b/src/Transfer/Syntax/Lex.hs
@@ -1,8 +1,8 @@
{-# OPTIONS -fglasgow-exts -cpp #-}
{-# LINE 3 "Transfer/Syntax/Lex.x" #-}
+{-# OPTIONS -fno-warn-incomplete-patterns #-}
module Transfer.Syntax.Lex where
-import Transfer.ErrM
#if __GLASGOW_HASKELL__ >= 603
@@ -155,18 +155,9 @@ alex_action_7 = tok (\p s -> PT p (TD $ share s))
-- -----------------------------------------------------------------------------
-- INTERNALS and main scanner engine
-
{-# LINE 35 "GenericTemplate.hs" #-}
-
-
-
-
-
-
-
-
-
+{-# LINE 45 "GenericTemplate.hs" #-}
data AlexAddr = AlexA# Addr#
diff --git a/src/Transfer/Syntax/Lex.x b/src/Transfer/Syntax/Lex.x
index 2c7f8fa5c..107b67345 100644
--- a/src/Transfer/Syntax/Lex.x
+++ b/src/Transfer/Syntax/Lex.x
@@ -1,9 +1,9 @@
-- -*- haskell -*-
-- This Alex file was machine-generated by the BNF converter
{
+{-# OPTIONS -fno-warn-incomplete-patterns #-}
module Transfer.Syntax.Lex where
-import Transfer.ErrM
}
diff --git a/src/Transfer/Syntax/Par.hs b/src/Transfer/Syntax/Par.hs
index f5869c75d..bd83f0a87 100644
--- a/src/Transfer/Syntax/Par.hs
+++ b/src/Transfer/Syntax/Par.hs
@@ -1,4 +1,5 @@
{-# OPTIONS -fglasgow-exts -cpp #-}
+{-# OPTIONS -fno-warn-incomplete-patterns -fno-warn-overlapping-patterns #-}
module Transfer.Syntax.Par where
import Transfer.Syntax.Abs
import Transfer.Syntax.Lex
@@ -1576,7 +1577,6 @@ myLexer = tokens
{-# LINE 1 "GenericTemplate.hs" #-}
-- $Id$
-
{-# LINE 28 "GenericTemplate.hs" #-}
@@ -1586,20 +1586,11 @@ data Happy_IntList = HappyCons Int# Happy_IntList
-
{-# LINE 49 "GenericTemplate.hs" #-}
-
{-# LINE 59 "GenericTemplate.hs" #-}
-
-
-
-
-
-
-
-
+{-# LINE 68 "GenericTemplate.hs" #-}
infixr 9 `HappyStk`
data HappyStk a = HappyStk a (HappyStk a)
@@ -1651,14 +1642,7 @@ happyDoAction i tk st
action | check = indexShortOffAddr happyTable off_i
| otherwise = indexShortOffAddr happyDefActions st
-
-
-
-
-
-
-
-
+{-# LINE 127 "GenericTemplate.hs" #-}
indexShortOffAddr (HappyA# arr) off =
diff --git a/src/Transfer/Syntax/Par.y b/src/Transfer/Syntax/Par.y
index a56356267..13c7800a8 100644
--- a/src/Transfer/Syntax/Par.y
+++ b/src/Transfer/Syntax/Par.y
@@ -1,5 +1,6 @@
-- This Happy file was machine-generated by the BNF converter
{
+{-# OPTIONS -fno-warn-incomplete-patterns -fno-warn-overlapping-patterns #-}
module Transfer.Syntax.Par where
import Transfer.Syntax.Abs
import Transfer.Syntax.Lex
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 09:14:32 +0000