QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity
793 Commits 33 Branches 29 Tags
Commit Graph

6 Commits

Author SHA1 Message Date
radrow
ad78f440d9 Merge lima 2020-04-02 15:32:26 +02:00
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
radrow
5ff983b0b3 Updated tests 2019-07-22 13:56:45 +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
d8bf0bda45 Remove integer bit operations 2019-01-25 16:09:31 +01:00
Robert Virding
d4d02fd576 First test work commit, don't touch 2018-12-22 01:23:40 +01:00