Commit 2ad14e2a authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Replaced `LocalDefs` by `LocalDecls` in context-free grammar

parent c0fa7984
......@@ -150,8 +150,8 @@
FunLHS \term{=} Expr \opt{\term{where} LocalDefs}
\alt FunLHS CondExprs \opt{\term{where} LocalDefs}
FunLHS \term{=} Expr \opt{\term{where} LocalDecls}
\alt FunLHS CondExprs \opt{\term{where} LocalDecls}
......@@ -183,7 +183,7 @@
\offside{LocalDeclaration}{;}{n} \marg{n > 0}
......@@ -194,7 +194,7 @@
Pattern \term{=} Expr \opt{\term{where} LocalDefs}
Pattern \term{=} Expr \opt{\term{where} LocalDecls}
......@@ -214,7 +214,7 @@
\term{\bs} \seq{SimplePat}{}{n} \term{->} Expr \marg{n > 0}
\alt \term{let} LocalDefs \term{in} Expr \marg{\mbox{\it let expression}}
\alt \term{let} LocalDecls \term{in} Expr \marg{\mbox{\it let expression}}
\alt \term{if} Expr \term{then} Expr \term{else} Expr
\marg{\mbox{\it conditional}}
\alt \term{case} Expr \term{of} \offside{Alt}{;}{n} \marg{\mbox{\it case expression,~} n \geqslant 1}
......@@ -254,8 +254,8 @@
\production{FBind}{ QLabelID \term{=} Expr }
Pattern \term{->} Expr \opt{\term{where} LocalDefs}
\alt Pattern GdAlts \opt{\term{where} LocalDefs}
Pattern \term{->} Expr \opt{\term{where} LocalDecls}
\alt Pattern GdAlts \opt{\term{where} LocalDecls}
......@@ -264,13 +264,13 @@
\alt \term{let} LocalDefs
\alt \term{let} LocalDecls
\alt Pattern \term{<-} Expr
\alt \term{let} LocalDefs
\alt \term{let} LocalDecls
\alt Pattern \term{<-} Expr
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment