HigherOrderCO/Kind
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind.git synced 2024-07-04 16:46:28 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix ascii syntax for lambda and forall

Browse Source 
previously, it collided with names starting with lambda/forall.
This commit is contained in:
NoamDev 2024-05-26 18:59:59 +03:00
parent b516d3b7ea
commit 906bc6474b
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/term/parse.rs
View File

@ -83,7 +83,9 @@ impl<'i> KindParser<'i> {
// ALL ::= ∀(<name>: <term>) <term>
// "forall" can be used as an ascii alternative to "∀"
if self.starts_with("∀") || self.starts_with("forall") {
if self.starts_with("∀") ||
self.starts_with("forall ") ||
self.starts_with("forall(") {
let ini = *self.index() as u64;
if self.starts_with("∀") {
self.consume("∀")?;
@ -104,7 +106,9 @@ impl<'i> KindParser<'i> {
// LAM ::= λ<name> <term>
// "lambda" can be used as an ascii alternative to "λ"
if self.starts_with("λ") || self.starts_with("lambda") {
if self.starts_with("λ") ||
self.starts_with("lambda ") ||
self.starts_with("lambda(") {
let ini = *self.index() as u64;
if self.starts_with("λ") {
self.consume("λ")?;