[ release ] Fix acore syntax, release 0.2.1

owo-lang · May 5, 2019 · f3813a1 · f3813a1
1 parent 02f26c4
commit f3813a1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/grammar/acore.bnf b/grammar/acore.bnf
@@ -79,7 +79,7 @@ typed_abstraction ::= typed_pattern DOT expression {
 	mixin='org.ice1000.tt.psi.acore.ACoreTypedAbstractionMixin'
 }
 
-summand ::= IDENTIFIER expression? { pin=1 }
+summand ::= IDENTIFIER expression { pin=1 }
 sum_data ::= LEFT_PAREN (summand (SEP summand)*)? RIGHT_PAREN { pin=1 }
 fun_case ::= LEFT_PAREN (branch  (SEP branch )*)? RIGHT_PAREN { pin=1 }
 typed_pattern ::= pattern COLON expression {

diff --git a/res/META-INF/change-notes.html b/res/META-INF/change-notes.html
@@ -1,7 +1,8 @@
 0.2.1<br/>
 <ul>
 	<li>Advertise our own fork of Mini-TT</li>
-	<li>Run configuration producer for acore</li>
+	<li>Run configuration producer for Vanilla Mini-TT and Agda</li>
+	<li>Fix Vanilla Mini-TT syntax</li>
 </ul>
 0.2.0<br/>
 <ul>