Feat(Parser): lambdas with parameter list

Author: sharpvik

syntax/Lexer.x

@@ -14,7 +14,6 @@ tokens :-
  $white+ ; 
  "--".* ; 
  "->" { \pos _ -> TokenArrow pos }
- "<|" { \pos _ -> TokenApply pos }
  "!=" { \pos _ -> TokenNotEqual pos }
  "=" { \pos _ -> TokenEqual pos }
  "<" { \pos _ -> TokenLessThan pos }
@@ -40,7 +39,6 @@ tokens :-
 { 
 data Token
  = TokenArrow AlexPosn
- | TokenApply AlexPosn
  | TokenNotEqual AlexPosn
  | TokenEqual AlexPosn
  | TokenLessThan AlexPosn
@@ -68,7 +66,6 @@ lex = alexScanTokens
 
 tokenPosn :: Token -> String
 tokenPosn (TokenArrow pos ) = showPosn pos 
-tokenPosn (TokenApply pos ) = showPosn pos 
 tokenPosn (TokenNotEqual pos ) = showPosn pos 
 tokenPosn (TokenEqual pos ) = showPosn pos 
 tokenPosn (TokenLessThan pos ) = showPosn pos 

syntax/Parser.y

@@ -27,8 +27,6 @@ import Lexer
  '*' { TokenMultiply pos }
  '/' { TokenDivide pos }
 
- '<|' { TokenApply pos }
-
  '->' { TokenArrow pos }
 
  ':=' { TokenAssign pos }
@@ -44,38 +42,42 @@ import Lexer
 %left '++'
 %left '+' '-'
 %left '*' '/'
-%left '<|'
 
 %% 
 
 Expr :: { Coma }
-Expr : Expr '=' Expr1 { Equal $1 $3 }
- | Expr '!=' Expr1 { NotEqual $1 $3 }
- | Expr '<' Expr1 { Less $1 $3 }
- | Expr '<=' Expr1 { LessEqual $1 $3 }
- | Expr '>' Expr1 { Greater $1 $3 }
- | Expr '>=' Expr1 { GreaterEqual $1 $3 }
- | Expr '++' Expr1 { Append $1 $3 }
- | Expr '+' Expr1 { Add $1 $3 }
- | Expr '-' Expr1 { Subtract $1 $3 }
- | Expr '*' Expr1 { Multiply $1 $3 }
- | Expr '/' Expr1 { Divide $1 $3 }
- | Expr1 { $1 }
+Expr : Expr '=' Expr1  { Equal $1 $3 }
+ | Expr '!=' Expr1  { NotEqual $1 $3 }
+ | Expr '<' Expr1  { Less $1 $3 }
+ | Expr '<=' Expr1  { LessEqual $1 $3 }
+ | Expr '>' Expr1  { Greater $1 $3 }
+ | Expr '>=' Expr1  { GreaterEqual $1 $3 }
+ | Expr '++' Expr1  { Append $1 $3 }
+ | Expr '+' Expr1  { Add $1 $3 }
+ | Expr '-' Expr1  { Subtract $1 $3 }
+ | Expr '*' Expr1  { Multiply $1 $3 }
+ | Expr '/' Expr1  { Divide $1 $3 }
+ | Expr1  { $1 }
 
 Expr1 :: { Coma }
-Expr1 : Expr1 Literal { Call $1 $2 }
- | Literal { $1 }
+Expr1 : Expr1 Literal  { Call $1 $2 }
+ | Literal  { $1 }
 
 Literal :: { Coma }
-Literal : integer { IntAtom $1 }
- | string { StrAtom $1}
- | ident { Ident $1 }
- | '(' Expr ')' { $2 }
- | '[' List ']' { List $2 }
+Literal : integer { IntAtom $1 }
+ | string { StrAtom $1}
+ | ident { Ident $1 }
+ | '(' Expr ')' { $2 }
+ | '[' List ']' { List $2 }
+ | '(' Params '->' Expr ')' { Lambda (reverse $2) $4 }
 
 List :: { [Coma] }
-List : {- empty -} { [] }
- | Literal List { $1 : $2 }
+List : {- empty -} { [] }
+ | Literal List { $1 : $2 }
+
+Params :: { [String] }
+Params : ident { [$1] }
+ | Params '->' ident { $3 : $1 }
 
 { 
 parseError :: [Token] -> a
@@ -89,6 +91,7 @@ data Coma
  | StrAtom String
  | Ident String
  | List [Coma]
+ | Lambda [String] Coma
  | Equal Coma Coma
  | NotEqual Coma Coma
  | Less Coma Coma