Commit 448c48b4 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Syntax of guards restricted to expressions without type annotations

parent 5ce007dc
......@@ -194,7 +194,7 @@
}
\production{CondExprs}{
\term{|} Expr \term{=} Expr \opt{CondExprs}
\term{|} InfixExpr \term{=} Expr \opt{CondExprs}
}
\production{Expr}{
......@@ -256,7 +256,7 @@
}
\production{GdAlts}{
\term{|} Expr \term{->} Expr \opt{GdAlts}
\term{|} InfixExpr \term{->} Expr \opt{GdAlts}
}
\production{Qual}{
......
......@@ -7,7 +7,7 @@
{\Huge\bf Curry}\\[4ex]
{\LARGE\bf An Integrated Functional Logic Language}\\[5ex]
{\large\bf Version 0.9.0}\\[1ex]
{\large November 16, 2015}\\[6ex]
{\large November 17, 2015}\\[6ex]
\Large
Michael Hanus$^1$ [editor] \\[3ex]
{\large Additional Contributors:}\\[2ex]
......
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