sophia

Author	SHA1	Message	Date
Radosław Rowicki	4f554acee6	Fix error messages for some illegal constructions, fix absolute path includes (#251 ) * Updated tests, banned type decls and toplevel letvals * Properly ban nested contracts * Fix including by path * Fix error message test * Fix prettpr attr display. Make dialyzer happy * More tests * Fixed type printing * Updated docs	2020-03-30 14:52:16 +02: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
Ulf Norell	b51a79b5e1	Allow patterns in lets and list comprehension binds	2019-12-16 17:04:49 +01:00
Ulf Norell	d23208c191	Fix bugs in dependency analysis	2019-08-27 13:55:45 +02:00
radrow	79d491e4a8	Fixed comprehension dependencies	2019-08-20 18:44:47 +02:00
Hans Svensson	33dbeeefad	Consider namespaces when collecting used_types	2019-05-28 11:08:36 +02:00
Ulf Norell	6bd2b7c483	Remember source location when computing used names	2019-05-13 17:50:34 +02:00
Ulf Norell	23cc8e1132	Letrec and letfun (#65 ) * Type check and compile letfuns * Minor code simplification * Remove let rec from Sophia	2019-05-10 13:27:57 +02:00
Ulf Norell	27cbedc7ab	Further generalise used names computation	2019-02-08 14:16:06 +01:00
Ulf Norell	2ac47059c1	Refactor used_ids and used_types into a generic fold	2019-02-08 14:16:06 +01:00
Robert Virding	d4d02fd576	First test work commit, don't touch	2018-12-22 01:23:40 +01:00

11 Commits