Fix subtyping syntax in function parameter type

weirdsmiley · weirdsmiley · commit 6a7c5d0e199c · 2025-12-12T17:07:10.000+05:30
diff --git a/src/parser.rs b/src/parser.rs
@@ -251,6 +251,11 @@ impl Parser {
                 }
                 self.lexer.consume(Token::Colon)?;
 
+                // TODO: exponential type - linear logic
+                if self.lexer.is_token(Token::Bang) {
+                    self.lexer.consume(Token::Bang)?;
+                }
+
                 if !self.lexer.is_token(Token::Identifier) {
                     return Err(QccErrorKind::ExpectedParamType)?;
                 }

Original file line number	Diff line number	Diff line change
`@@ -251,6 +251,11 @@ impl Parser {`
`251`	`251`	`}`
`252`	`252`	`self.lexer.consume(Token::Colon)?;`
`253`	`253`
	`254`	`+ // TODO: exponential type - linear logic`
	`255`	`+ if self.lexer.is_token(Token::Bang) {`
	`256`	`+ self.lexer.consume(Token::Bang)?;`
	`257`	`+ }`
	`258`	`+`
`254`	`259`	`if !self.lexer.is_token(Token::Identifier) {`
`255`	`260`	`return Err(QccErrorKind::ExpectedParamType)?;`
`256`	`261`	`}`