on master help sign in
Update changelog with latest parser improvements.
025b7a1Evan Czaplicki
changelog.txt+10−4
@@ -11,22 +11,28 @@ Syntax:
11* Pattern aliases with `as` (Andrew)
11* Pattern aliases with `as` (Andrew)
12* Unary negation
12* Unary negation
13* Triple-quoted multi-line strings
13* Triple-quoted multi-line strings
14−* Use if, let, case, and lambda in last term of a
14+* Custom infix precedence and associativity
15− binary expression without parentheses
16* Type annotations in let expressions (Andrew)
15* Type annotations in let expressions (Andrew)
17* Record Constructors
16* Record Constructors
18* Record type aliases can be closed on the zeroth column
17* Record type aliases can be closed on the zeroth column
18+* Unparenthesized if, let, case, and lambda in last
19+ term of a binary expression
19
20
20Libraries:
21Libraries:
21* Detect hovering over any Element
22* Detect hovering over any Element
22* Opacity on arbitrary forms in collages
23* Opacity on arbitrary forms in collages
23−* Switch Text.height to use px instead of em,
24+* Switch Text.height to use px instead of em
24− units like em and % can be created in Elm
25
25
26Error Messages:
26Error Messages:
27+* Cross-module type errors
27* Pretty printing of expressions and types
28* Pretty printing of expressions and types
28* Type-variables look more natural (a,b,c instead of t1,t2,t3)
29* Type-variables look more natural (a,b,c instead of t1,t2,t3)
29
30
31+Build Improvements:
32+* Module-level compilation, only re-compile if necessary
33+* Import type aliases between modules
34+
35+
30
36
31forgot to fill this in again...
37forgot to fill this in again...
32
38
tests/good/Soundness.elm−4
@@ -1,8 +1,4 @@
1
1
2−type F = {
3− x : Int
4−}
5−
6trickyID x = let y = x in y
2trickyID x = let y = x in y
7
3
8quad f = twice (twice f)
4quad f = twice (twice f)