Victor Maia
04156eaa77
Udpate HVM
2022-08-13 21:32:00 -03:00
Victor Maia
d6987d1793
Inc version
2022-08-13 21:30:14 -03:00
Victor Maia
e4417d2732
Increase max HVM arity
2022-08-13 21:28:50 -03:00
Victor Maia
41fd37b7ef
Add parens
2022-08-13 21:23:05 -03:00
Victor Maia
399a1dec1e
Add space
2022-08-13 20:45:20 -03:00
Victor Maia
710036dc5d
Sigma syntax sugar
2022-08-13 20:44:01 -03:00
Victor Maia
54d3f87c03
Fix display of origin on new errors
2022-08-13 19:45:58 -03:00
Victor Maia
08b6879bf4
Fix issue with last commit
2022-08-13 19:03:37 -03:00
Victor Maia
130f25eee4
Improve hole filling by moving conversion to an Unify function
2022-08-13 18:25:31 -03:00
Victor Maia
4d8144bd9f
Fix the syntax that only Sipher could ever manage to notice that was broken
2022-08-13 14:22:36 -03:00
Victor Maia
5d3dffb5d7
More stringifier fixes
2022-08-13 14:12:15 -03:00
Victor Maia
b61a8d5eac
Stringifier fixes
2022-08-13 14:10:25 -03:00
Victor Maia
36e7ba99fc
Omit () on forall body
2022-08-13 13:55:56 -03:00
Victor Maia
6d2054b57e
Update HVM
2022-08-11 14:48:26 -03:00
Victor Maia
1da8314e38
Inc version
2022-08-11 14:34:47 -03:00
Victor Maia
4eee13ec34
Update HVM
2022-08-11 14:26:03 -03:00
Victor Maia
28d3b17706
Merge branch 'master' of github.com:kindelia/kind2
2022-08-11 13:23:24 -03:00
Victor Maia
65fecd1d02
Eval before conversion, fixes #38
2022-08-11 13:23:15 -03:00
Victor Taelin
711f3ca21a
Merge pull request #40 from developedby/checker-fix
...
Small checker fixes
2022-08-11 13:06:29 -03:00
Victor Taelin
748edf00ee
Merge pull request #39 from developedby/asympt-bench
...
Add more benchmarks from the smalltt repo
2022-08-11 13:06:21 -03:00
Victor Maia
7fbe8ab727
Fix Kind2->KDL ctr compiler
2022-08-09 15:24:27 -03:00
Victor Maia
84ff4f54e2
Add missing case on monad syntax
2022-08-09 13:57:18 -03:00
Nicolas Abril
0a05ec87d2
Update benchmarks to new syntax
2022-08-05 12:05:11 -03:00
Nicolas Abril
d97529ea52
Merge remote-tracking branch 'origin/master' into asympt-bench
2022-08-05 12:01:44 -03:00
Victor Maia
72c8e32109
Merge branch 'master' of github.com:kindelia/kind2
2022-08-05 05:09:39 -03:00
Victor Maia
e023947255
Omit most parenthesis; arrow lambda syntax (x => y)
2022-08-05 05:03:25 -03:00
Nicolas Abril
485f389e22
Remove duplicate Checker.find
2022-08-04 23:59:50 -03:00
Nicolas Abril
2f0b6104e3
Remove unused parameter from checker.hvm:Main
2022-08-04 23:58:45 -03:00
Nicolas Abril
dff1b228b5
Add more benchmarks from the smalltt repo
2022-08-04 23:57:27 -03:00
Victor Taelin
dc1d081a7f
Merge pull request #37 from developedby/hex-literals
...
Add hexadecimal number literals
2022-08-02 00:20:25 -03:00
Nicolas Abril
d37b0c2260
Add hexadecimal number literals
2022-07-30 23:13:44 -03:00
Victor Maia
727e334609
Update HVM, reduction improvements
2022-07-27 19:59:40 -03:00
Victor Maia
dd66be414f
Update HVM, fixes reduction bugs
2022-07-27 18:59:09 -03:00
Victor Maia
7d8327c394
Remove accidental line
2022-07-27 18:03:35 -03:00
Victor Maia
e948648062
Fix stringifier and deriver
2022-07-27 17:26:04 -03:00
Victor Maia
7c1a7aa793
Stringify sugars and lists
2022-07-27 16:19:46 -03:00
Victor Taelin
e33809f3cc
Merge pull request #34 from Kindelia/sugar-syntax
...
Add char and string sugar syntax
2022-07-27 12:34:39 -03:00
Victor Maia
c7e18e936d
Inc version
2022-07-27 01:13:19 -03:00
Victor Maia
af1b3890d0
Proper reduction of default cases; fixes #32
2022-07-27 01:09:28 -03:00
Victor Maia
4c21332cad
Inc version
2022-07-26 17:33:49 -03:00
Victor Taelin
b9e7e36be9
Merge pull request #35 from FranchuFranchu/linearize-unused
...
to-kdl: Linearize unused variables.
2022-07-26 17:33:27 -03:00
Victor Maia
be09477634
Show unbound var name
2022-07-26 17:12:39 -03:00
Victor Maia
4564e27fee
Fix derive path with dots
2022-07-26 16:32:48 -03:00
FranchuFranchu
609906e3c4
to-kdl: Linearize unused variables.
...
Previously, the following code:
Q (x: Type): U60
Q x = #0
would get turned into:
fun (Q x) {
(Q x) = #0
}
This is incorrect because X is not used, and thus isn't used in a linear way.
Now, the correct code is produced:
fun (Q x) {
(Q ~) = #0
}
This has also been implemented for lambdas: `@x #0` -> `@~ #0`
2022-07-26 16:12:39 -03:00
Victor Maia
8303aeff36
Linearize variables on Kindelia compiler
2022-07-26 14:53:06 -03:00
Victor Maia
a8e9d02c68
Add missing type name
2022-07-25 22:42:13 -03:00
Victor Maia
b3e0d2802b
Match syntax and improvements
2022-07-25 20:23:31 -03:00
Samuel Durante
e6253f7714
Add char and string sugar syntax
2022-07-25 03:45:07 -03:00
Victor Maia
edf9a9fdc5
Terminal IO
2022-07-24 14:16:59 -03:00
Victor Maia
c5295e9c08
Inc version
2022-07-23 23:06:46 -03:00