Fix error messages for some illegal constructions, fix absolute path includes #742

Merged
zxq9 merged 8 commits from github/fork/radrow/error-msgs into lima 2020-03-30 21:52:17 +09:00

8 Commits

Author SHA1 Message Date
radrow
01a64b0367 Updated docs 2020-03-27 16:41:48 +01:00
radrow
bb0da8d3ca Fixed type printing 2020-03-26 20:22:44 +01:00
radrow
020fe5f702 More tests 2020-03-26 20:09:03 +01:00
radrow
67496010d5 Fix prettpr attr display. Make dialyzer happy 2020-03-23 18:04:33 +01:00
radrow
da44338685 Fix error message test 2020-03-23 16:55:15 +01:00
radrow
15896a2318 Fix including by path 2020-03-23 16:50:47 +01:00
radrow
51dd74dd7c Properly ban nested contracts 2020-03-23 16:32:08 +01:00
radrow
f2c80af091 Updated tests, banned type decls and toplevel letvals 2020-03-23 16:27:30 +01:00