GH-196 pattern matching lhs #701

Merged
zxq9 merged 6 commits from GH-196-pattern-matching-lhs into lima 2020-01-15 17:41:04 +09:00

6 Commits

Author SHA1 Message Date
Ulf Norell
0c2c7e0ed6 Changelog for pattern-matching lets 2020-01-14 14:28:07 +01:00
Ulf Norell
ac9e9716cb partial case-on-constructor 2020-01-14 13:41:18 +01:00
Ulf Norell
43fa667f03 Fix type spec 2020-01-14 12:39:52 +01:00
Ulf Norell
911c54eda0 Changelog 2020-01-14 12:34:09 +01:00
Ulf Norell
238ffdc8e0 Allow pattern matching in left-hand sides 2020-01-14 12:28:37 +01:00
Ulf Norell
fdba063337 Allow block with separate type signature and definition of a function
For instance,
```
function
  add : (int, int) => int
  add(x, y) = x + y
```

cc #196
2019-12-17 13:53:41 +01:00