blob: ec9fa9cb5583fb737325609f2c99816a3dcdfb69 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
let x = 2;
y = 3; in
(x y)
let x: (Int) =
let y: (Int) = { x }; in
y;
y: (Int) = 3;
f: (((Int) -> (Int)) -> Int) = [a, b] { ((plus a) b) }; in
((f x) y)
---
LetStatement: "let" [Assignment ";"]+ "in" Body
Binding: Ident (":" TypeDecl)?
Assignment: Binding "=" Statement
Statement: LetStatement | Abstraction
Computation: Identifier | Application | Abstraction
Application: "(" Computation Computation ")"
Abstraction: "[" UncurriedArguments "]" "{" Computation "}"
LetStatement: "let" Ident (":" TypeDecl)? "=" Computation in
BaseType: Identifier
Arrow: TypeDecl "->" TypeDecl
TypeDecl: "(" BaseType | Arrow ")"
Binding: Identifier (":" TypeDecl)?
UncurriedArguments: Identifier ["," Identifier]+
Abstraction: UncurriedArguments "{" Binding "=>" Computation "}"
|
