Merge lima to master #704

Merged

zxq9 merged 4 commits from merge_lima_to_master into master

2020-01-15 23:54:41 +09:00

Author	SHA1	Message	Date
Hans Svensson	d821de6381	Merge 'origin/lima' into 'origin/master'	2020-01-15 15:03:11 +01:00
Hans Svensson	efd45df820	Merge pull request #212 from aeternity/GH-211-prepare_release_4_2_0 Prepare release 4.2.0	2020-01-15 11:58:47 +01:00
Hans Svensson	a6f51d23f3	Bump version to 4.2.0 and fix CHANGELOG	2020-01-15 11:39:25 +01:00
Ulf Norell	4d4a14a9ab	GH-196 pattern matching lhs (#210 ) * 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 * Allow pattern matching in left-hand sides * Changelog * Fix type spec * partial case-on-constructor * Changelog for pattern-matching lets	2020-01-15 09:41:03 +01:00