38 Commits

Author SHA1 Message Date
Gaith Hallak
69713036d0 Add constraints to typechecker, fix old tests, add new ones 2022-06-14 18:29:26 +04:00
Gaith Hallak
f56eeb0b2b Use id() for constraints instead of keywords 2022-06-14 18:26:22 +04:00
Gaith Hallak
b599d581ee
Fix warnings reporting and stdlib warnings (#367)
* Fix stdlib warnings

* Mark unused includes when used from non-included files

* Do not mark indirectly included files as unused

* Show unused include warning only for files that are never used

* Remove unused include from Option.aes

* Consider functions passed as args as used

* Return warnings as a sorted list

* Fix failing tests

* Fix dialyzer warning

* Fix warning in Func.aes
2022-06-14 12:22:32 +04:00
Hans Svensson
9cb3158dfd Fix documentation and comments 2021-09-12 16:24:08 +02:00
Hans Svensson
becafe4001 Add Bitwise.aes to stdlib 2021-09-12 14:57:45 +02:00
Gaith Hallak
3029bf31cb
Implement Set stdlib (#335)
* Implement Set stdlib

* Rename an argument of the function Set.fold

* Add docs for Set stdlib

* Correct the usage of articles in the docs

* Fix bug

* Fix the link to Set stdlib section

Co-authored-by: Radosław Rowicki <35342116+radrow@users.noreply.github.com>
2021-08-07 10:08:45 +02:00
Radosław Rowicki
4896ad3b36
Add Option.force_msg (#328)
* Add Option.force_msg

* CHANGELOG update
2021-08-03 11:39:53 +02:00
radrow
2e6c01cb75 Fix var 2021-06-26 19:10:49 +02:00
radrow
b366bed24b Add check in from_to_step 2021-06-25 11:19:19 +02:00
radrow
eadb4e8c83 Fix Frac library and add stdlib compilation test 2021-06-02 17:03:23 +02:00
Radosław Rowicki
1d9f59fec3
Contract factories and bytecode introspection (#305)
* Support for CREATE, CLONE and BYTECODE_HASH

* Add missing files

* Pushed the clone example through the typechecker

* CLONE compiles

* Fix dependent type in CLONE

* Bytecode hash fixes

* Refactor

* Refactor 2

* move some logic away

* Fixed some error messages. Type inference of child contract still does some random shit\n(mistakes arguments with result type)

* CREATE sometimes compiles and sometimes not

* Fix some scoping/constraint issues

* works, needs cleanup

* cleanup

* Fix some tests. Remove optimization of singleton tuples

* Fix default argument for clone

* Cleanup

* CHANGELOG

* Mention void type

* Address review, fix some dialyzer errors

* Please dialyzer

* Fix failing tests

* Write negative tests

* Docs

* TOC

* missing 'the'

* missing 'the'

* missing 'the'

* missing 'the'

* mention pre-fund

* format

* pre-fund clarification

* format

* Grammar in docs
2021-05-18 12:21:57 +02:00
Hans Svensson
a0111066e7 Merge branch 'lima' into merge_lima_to_master 2021-04-30 14:07:06 +02:00
radrow
1a14602f36 Upgrade sorting function 2021-02-09 14:18:42 +01:00
radrow
ac673602b9 Merge branch 'lima' into master 2020-10-13 10:22:05 +02:00
radrow
89b3ec3d17 minor optimization 2020-08-26 12:10:24 +02:00
radrow
7e32ef57c2 Added contains functions in List and Option. Fixed one type error catch 2020-08-26 11:56:18 +02:00
Radosław Rowicki
eb71abc665
Fixed force function 2020-06-06 14:36:46 +02:00
radrow
ad78f440d9 Merge lima 2020-04-02 15:32:26 +02:00
Radosław Rowicki
48b52cb501
Enchanted Frac library a bit (#253) 2020-03-29 17:14:01 +02:00
Radosław Rowicki
83e03f3013
Added documentation (#239)
* Added documentation

* Update readme

* Update readme

* Format fix

* Events

* Stdlib mention

* Frac doc

* Frac doc comparison warning

* Typos

* Format fix, TOC added

* Fixed link

* Update editor message

* Split TOC

* Moved out AEVM ABI

* Minor format

Co-Authored-By: Hans Svensson <hanssv@gmail.com>

* Typo

Co-Authored-By: Hans Svensson <hanssv@gmail.com>

* Grammar

Co-Authored-By: Hans Svensson <hanssv@gmail.com>

* Language

Co-authored-by: Hans Svensson <hanssv@gmail.com>
2020-03-10 12:39:39 +01:00
Hans Svensson
57eb77f2f8 Add some comments to String.aes 2020-02-28 11:07:02 +01:00
Hans Svensson
a38a365181 Change Char.to_lower/upper into String.to_lower/upper 2020-02-26 14:15:49 +01:00
Radosław Rowicki
d7fa4d65ec
More comments in stdlib (#237) 2020-02-25 12:56:51 +01:00
Hans Svensson
2bad76314f More efficient implementations in String.aes 2020-02-24 15:34:23 +01:00
Hans Svensson
b9acf24dca Make String.aes a stdlib + add more string functions
This means moving the FATE operations to StringInternal and adding to/from_list (and Char.to/from_int
+ Char.to_upper/lower).
2020-02-21 09:45:11 +01:00
Radosław Rowicki
2bf65cfd98
Add Frac (#222)
Fix bugs in Frac

Added optimizer
2020-02-13 11:02:47 +01:00
Radosław Rowicki
13bc821211
Optimize stdlib (#215) 2020-02-07 19:51:12 +01:00
Hans Svensson
1c24a700dc Add BLS12-381 operations (to FATE) 2019-11-27 10:57:24 +01:00
Ulf Norell
97ff1aac23
Merge pull request #136 from radrow/stdlib-extensions
Updated some functions, renamed some stuff, added from_to IN STDLIB
2019-09-02 09:56:56 +02:00
Radosław Rowicki
6408969cd3
Remove from_to_ 2019-08-30 14:06:46 +02:00
Radosław Rowicki
71a556ce81
nth update 2019-08-30 13:46:02 +02:00
Radosław Rowicki
256aadd575
[......]
Co-Authored-By: Ulf Norell <ulf.norell@gmail.com>
2019-08-30 13:44:26 +02:00
radrow
076d635dbe Fix errors 2019-08-29 15:32:10 +02:00
radrow
1d962f2001 Updated some functions, renamed, added from_to 2019-08-29 13:41:04 +02:00
Radosław Rowicki
cce243e513
Remove find_all from stdlib
It was just a duplicated `filter`
2019-08-28 14:17:30 +02:00
Ulf Norell
5f733e01dd Implement [a..b] 2019-08-27 13:59:01 +02:00
Ulf Norell
e7d3a5b9f2 Put flat_map in ListInternal.aes 2019-08-27 11:33:43 +02:00
Ulf Norell
02af75aa34 Move stdlib code to priv dir and don't do any implicit includes 2019-08-27 11:33:29 +02:00