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

835 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Hans Svensson
e98edd4eef Handle UTF-8 in character literals 
Also handle `\x{hhh..}` in strings... Character literals has to be a single character, not composite.

+ tests (and the corresponding fix to the char literal pretty printer)
 2020-02-24 15:35:54 +01:00
Hans Svensson
2bad76314f More efficient implementations in String.aes 2020-02-24 15:34:23 +01:00
Radosław Rowicki
bd7ed2ef8c
Instant unification error on arguments count mismatch (#225) 
* Instant unification error on arguments count mismatch

* add testcase

* Add newline
 2020-02-21 10:28:55 +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
Hans Svensson
6682b24156
Merge pull request #223 from aeternity/GH-202-Auth_tx_introspection 
Gh 202 auth tx introspection
 2020-02-11 15:48:46 +01:00
Hans Svensson
b31be6227d Update aebytecode reference 2020-02-11 14:20:41 +01:00
Hans Svensson
bbc8555331 Auth.tx implementation and types 
The arities field of the Chain.base_tx constructor is 22 integers long... This isn't very pretty but
that is the design we've chosen.
 2020-02-11 10:00:46 +01:00
Radosław Rowicki
13bc821211
Optimize stdlib (#215) 2020-02-07 19:51:12 +01:00
Hans Svensson
34c10e1518
Merge pull request #214 from aeternity/GH-188-AENS_lookup 
Add AENS.lookup and Oracle.expiry
 2020-02-03 14:37:55 +01:00
Hans Svensson
bb79e7dd89 Update aebytecode reference 2020-02-03 14:26:13 +01:00
Hans Svensson
c3426f0e65 Add AENS.lookup 
Also move Pointee-constructors inside AENS namespace.
 2020-02-03 12:52:00 +01:00
Hans Svensson
db01e237c1 Add Oracle.expiry 2020-02-03 12:24:27 +01:00
Hans Svensson
760d2841d1 From Iris (with AENS.update) AENS.resolve is not Pure 2020-02-03 12:22:34 +01:00
Hans Svensson
43013ec920
Merge pull request #213 from aeternity/merge_lima_to_master 
Merge lima to master
 2020-01-15 15:54:41 +01:00
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
v4.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
Hans Svensson
282f743925
Merge pull request #209 from aeternity/merge_lima_to_master 
Merge lima to master
 2019-12-19 15:34:26 +01:00
Hans Svensson
cf1072140e Merge 'origin/lima' into merge_lima_to_master 2019-12-19 15:09:48 +01:00
Ulf Norell
f7abaf07fa Add list comprehension match to test case 2019-12-16 17:04:49 +01:00
Ulf Norell
d019e44924 Compile values to immediates when possible 2019-12-16 17:04:49 +01:00
Ulf Norell
ad54134961 Parse negative literal patterns 2019-12-16 17:04:49 +01:00
Ulf Norell
b51a79b5e1 Allow patterns in lets and list comprehension binds 2019-12-16 17:04:49 +01:00
Ulf Norell
d844c4d276 Fix missing type annotation in list comprehension body 2019-12-12 09:39:13 +01:00
Ulf Norell
64e2fff91a Handle list comprehensions in pretty printer 2019-12-12 09:39:13 +01:00
Ulf Norell
d4f291f252 Handle qualified constructors in patterns 2019-12-12 09:34:26 +01:00
Ulf Norell
b9f585ebaf
Merge pull request #205 from aeternity/fate-flatten-store 
FATE backend optimisations
 2019-12-12 09:22:37 +01:00
Ulf Norell
954af13f59 Fix debug printing of store registers 2019-12-12 09:14:34 +01:00
Ulf Norell
2e4558b3b4 Changelog 2019-12-10 12:57:52 +01:00
Ulf Norell
a403a9d227 Unbox singleton tuples and records 2019-12-10 12:24:05 +01:00
Ulf Norell
c7b846cbfe
Merge pull request #190 from aeternity/GH-189-parse-error-crash 
Fix parse errors causing crashes instead of nice errors
 2019-12-09 10:27:20 +01:00
Ulf Norell
bf5e2e2443 Fix parse errors causing crashes instead of nice errors 2019-12-09 08:45:55 +01:00
Hans Svensson
75797686ad
Merge pull request #187 from aeternity/GH-2850-add_fancy_crypto_bls12_381 
Add BLS12-381 operations (to FATE)
 2019-11-29 15:27:38 +01:00
Tino Breddin
ed9384c2af
Merge pull request #185 from aeternity/tb-rebar-lock-check 
Add CI check to verify rebar.lock
 2019-11-27 17:28:31 +01:00
Hans Svensson
1c24a700dc Add BLS12-381 operations (to FATE) 2019-11-27 10:57:24 +01:00
Hans Svensson
f2e9fbcc51
Merge pull request #186 from aeternity/merge_lima 
Merge lima into master
 2019-11-27 10:50:29 +01:00
Hans Svensson
2d49426fe0 Merge 'origin/lima' into master 2019-11-27 10:46:18 +01:00
Tino Breddin
f5df2c1a5f Add CI workflow 2019-11-26 17:27:26 +01:00
Tino Breddin
04445e4dee Add CI check to verify rebar.lock 2019-11-26 17:24:02 +01:00
Ulf Norell
46a30b118f Get rid of unnecessary return instruction after tail-call 2019-11-26 13:33:11 +01:00
Ulf Norell
bb1a45c557 Improve case-on-constructor optimisation 2019-11-26 13:10:58 +01:00
Ulf Norell
0a22c7a34a More let-floating 2019-11-26 13:10:58 +01:00
Ulf Norell
c8153f94a6 More aggressive freshening to avoid shadowing issues 2019-11-26 13:10:58 +01:00
Ulf Norell
63d51baaa3 Dialyzer issues 2019-11-26 13:10:58 +01:00
Ulf Norell
cb045b0256 whitespace 2019-11-26 13:10:58 +01:00
Ulf Norell
c84064da7f Inline local functions and simplify case-on-constructor 2019-11-26 13:10:58 +01:00
Ulf Norell
ad88797cef Proper handling of lets in term_to_fate 2019-11-26 13:10:58 +01:00
Ulf Norell
6c3932b10c Flattened state layout 
... with necessary optimizations.
 2019-11-26 13:10:56 +01:00