Gordon Tisher
|
9da1f49f89
|
Fix String/decode_utf8 returning a non-empty string when given an empty list (#726)
|
2024-10-09 15:30:40 +00:00 |
|
Nicolas Abril
|
7080bbe44d
|
Resolve type constructors in the types of constructor fields (#728)
|
2024-10-09 16:58:52 +02:00 |
|
Nicolas Abril
|
4d6f461d54
|
Fix Ctr patterns not being renamed in imports (#725)
|
2024-10-07 16:26:47 +02:00 |
|
Nicolas Abril
|
53d52626ea
|
Correctly apply the import rename to ADTs (#723)
|
2024-10-06 21:49:10 +02:00 |
|
Nicolas Abril
|
71e2600275
|
Small cleanups
|
2024-10-06 21:19:49 +02:00 |
|
Nicolas Abril
|
124c43d3e7
|
Slightly simplify linearize_vars pass
|
2024-09-27 13:58:02 +02:00 |
|
Nicolas Abril
|
45839a7efd
|
#615 Add an optional type system to Bend (#631)
Co-authored-by: imaqtkatt <eduarda.so@proton.me>
|
2024-09-20 16:23:22 +02:00 |
|
Liber
|
2b401e7e8a
|
Refactor Transform String Resugar Term Scott (#714)
Co-authored-by: Nicolas Abril <y906846m@anonaddy.me>
|
2024-09-17 15:44:29 +00:00 |
|
Eduardo Sandalo Porto
|
d91742e73b
|
Fix UTF-8 decoding on 4-byte characters (#712)
|
2024-09-10 15:07:48 +00:00 |
|
imaqtkatt
|
a5054e4c4e
|
Fix lambda body parsing (#707)
|
2024-09-05 13:17:47 +00:00 |
|
Nicolas Abril
|
f3be26b2c8
|
#634 Don't eta-reduce by default for cuda (#705)
|
2024-09-04 20:26:46 +00:00 |
|
Yan Mendes
|
0945efcafa
|
Merge pull request #700 from HigherOrderCO/638-read-line-eof-bug
Fix IO/FS/read_line when the line ends with a EOF
|
2024-08-29 14:53:33 +00:00 |
|
LunaAmora
|
17e3cfe4e8
|
Fix typos
|
2024-08-29 11:15:39 -03:00 |
|
LunaAmora
|
99978d68cb
|
Document IO/FS/read_line.read_chunks
|
2024-08-29 11:05:42 -03:00 |
|
LunaAmora
|
66911dfb40
|
Update changelog
|
2024-08-29 10:57:47 -03:00 |
|
LunaAmora
|
5b145dcbeb
|
Fix IO/FS/read_line.read_chunks when EOF is reached
|
2024-08-29 09:33:22 -03:00 |
|
LunaAmora
|
9a0d42bdae
|
Add test case for read_line when the line ends with a EOF
|
2024-08-29 09:07:29 -03:00 |
|
Nicolas Abril
|
2446f3c23b
|
Merge pull request #699 from TheMhv/master
Fix a markdown in native numbers doc file
|
2024-08-28 13:37:32 +00:00 |
|
TheMhv
|
d3792d1fec
|
Fix: docs/native-numbers markdown correction
|
2024-08-27 19:10:16 -03:00 |
|
TheMhv
|
6943a15229
|
Fix: docs/native-numbers markdown correction
|
2024-08-27 19:06:48 -03:00 |
|
Nicolas Abril
|
8246a50cdb
|
Bump version to 0.2.37-alpha.1
|
2024-08-23 18:22:11 +02:00 |
|
imaqtkatt
|
c6267cdf57
|
Merge pull request #693 from HigherOrderCO/update-docs
Update guide and add comment in syntax doc
|
2024-08-23 15:36:51 +00:00 |
|
imaqtkatt
|
632f79d46f
|
Add comment syntax and links to import and comment syntax
|
2024-08-22 13:05:11 -03:00 |
|
imaqtkatt
|
39bb8c6e91
|
Update 'run' commands in guide
|
2024-08-21 15:24:22 -03:00 |
|
Eduardo Sandalo Porto
|
bd592ca33f
|
Merge pull request #673 from HigherOrderCO/lsp-experiments
Changes towards a language server friendly compiler
|
2024-08-19 13:02:51 +00:00 |
|
Eduardo Sandalo Porto
|
cd268fafee
|
Merge branch 'main' into lsp-experiments
|
2024-08-19 09:17:12 -03:00 |
|
Eduardo Sandalo Porto
|
e1ba43d755
|
Add changelog
|
2024-08-19 09:08:33 -03:00 |
|
Eduardo Sandalo Porto
|
98625333da
|
Fix clippy warning
|
2024-08-16 18:50:50 -03:00 |
|
Eduardo Sandalo Porto
|
8e20371a7e
|
Change diagnostics printing so it doesn't include "During execution:"
|
2024-08-16 18:35:21 -03:00 |
|
imaqtkatt
|
425cdaa173
|
Merge pull request #676 from HigherOrderCO/675-error-on-eraser-program
Allow era term to be surrounded by parens
|
2024-08-16 17:58:13 +00:00 |
|
imaqtkatt
|
1daf6c5f58
|
Update changelog
|
2024-08-16 14:29:55 -03:00 |
|
Nicolas Abril
|
f362b30b22
|
Comment which issue the ctr import test addresses
|
2024-08-16 18:36:27 +02:00 |
|
imaqtkatt
|
294f124eb3
|
Add import test with ctr syntax definition
|
2024-08-16 13:28:36 -03:00 |
|
Eduardo Sandalo Porto
|
bde36fc938
|
Improve definition_merge comments
|
2024-08-16 13:11:03 -03:00 |
|
Eduardo Sandalo Porto
|
9b20e5172e
|
Keep original source in generated definitions
|
2024-08-16 12:55:32 -03:00 |
|
Eduardo Sandalo Porto
|
6365c0caea
|
Fix conflict between error expecting String getting Diagnostics
|
2024-08-15 21:09:44 -03:00 |
|
Eduardo Sandalo Porto
|
2208ca9d71
|
Merge branch 'main' into lsp-experiments
|
2024-08-15 21:07:27 -03:00 |
|
Eduardo Sandalo Porto
|
d67080b631
|
Refactor range reporting system to be a simple Source
|
2024-08-15 19:07:02 -03:00 |
|
imaqtkatt
|
9f5b8dc5ca
|
#674 Fix update self.ctrs
|
2024-08-15 18:34:12 -03:00 |
|
imaqtkatt
|
60638d62c1
|
Fix era parse condition
|
2024-08-15 16:27:41 -03:00 |
|
imaqtkatt
|
101ea27021
|
Allow era term to be surrounded by parens
|
2024-08-15 16:17:04 -03:00 |
|
imaqtkatt
|
d6a1995fb5
|
Merge pull request #671 from HigherOrderCO/666-whenever-a-test-in-examples-doesnt-compile-the-test-fails-instead-of-updating-the-snapshot
#666 Whenever a test in /examples doesn't compile, the test fails instead of updating the snapshot
|
2024-08-14 19:40:31 +00:00 |
|
Eduardo Sandalo Porto
|
e263c98e6e
|
Merge branch 'main' into lsp-experiments
|
2024-08-14 15:06:57 -03:00 |
|
Eduardo Sandalo Porto
|
66ac5dc161
|
Change Stmt::into_fun back into returning strings as errors
|
2024-08-14 15:02:16 -03:00 |
|
Eduardo Sandalo Porto
|
c86daacec0
|
Change "repeated field" message to avoid printing expected term
|
2024-08-14 14:14:44 -03:00 |
|
Eduardo Sandalo Porto
|
e42add10c8
|
Update Cargo.toml to avoid semantic versioning for HVM
Co-authored-by: Nicolas Abril <nicolas@higherorderco.com>
|
2024-08-14 13:57:43 -03:00 |
|
Eduardo Sandalo Porto
|
ca4da8fd06
|
Remove Rule diagnostic origin in favor of Function
|
2024-08-14 13:33:20 -03:00 |
|
Nicolas Abril
|
b69d1e4dcc
|
Merge pull request #672 from akashks1998/patch-1
Update README.md
|
2024-08-14 13:27:57 +00:00 |
|
Eduardo Sandalo Porto
|
c9c721970c
|
Add word to cspell
|
2024-08-14 10:00:32 -03:00 |
|
Akash kumar singh
|
60efe8df3b
|
Update README.md
Co-authored-by: Nicolas Abril <y906846m@anonaddy.me>
|
2024-08-14 16:02:42 +05:30 |
|