Commit Graph

1976 Commits

Author SHA1 Message Date
Nicolas Abril
29f2098ce5
Merge pull request #619 from bhavik-goplani/dev
#598 Add file IO flush function
2024-07-05 15:53:24 +00:00
Bhavik Goplani
b9e294f738
Merge branch 'main' into dev 2024-07-05 09:48:48 -05:00
Nicolas Abril
57d6798e9a
Merge pull request #544 from HigherOrderCO/import-system
Add import system
2024-07-05 13:26:48 +00:00
LunaAmora
cd2a58b36a Fix typo in imports.md 2024-07-05 10:24:37 -03:00
LunaAmora
918d7e67dd Update Changelog 2024-07-05 10:24:37 -03:00
LunaAmora
08500f2118 Add import system docs for types and same name defs 2024-07-05 10:23:52 -03:00
LunaAmora
dbf4830185 Improve import system docs with a project exaple 2024-07-05 10:23:52 -03:00
LunaAmora
71019540d4 Improve import system functions, fix bugs 2024-07-05 10:23:52 -03:00
LunaAmora
8e289f6aec Fix apply_imports order 2024-07-05 10:23:52 -03:00
LunaAmora
53ca86848d Fix entry point reimports to give an error 2024-07-05 10:23:52 -03:00
LunaAmora
4814742247 Improve imports when a path is both a file and a directory 2024-07-05 10:23:34 -03:00
LunaAmora
050f67a0c9 Add import system .md docs, add to changelog 2024-07-05 10:23:34 -03:00
LunaAmora
b7f5b9fb27 Add PackageLoader documentation, rename some enums 2024-07-05 10:22:45 -03:00
LunaAmora
21fe38e8be Add support for hvm_defs in the import system
Improve documentation
2024-07-05 10:22:45 -03:00
LunaAmora
66796e8225 Add more import system documentation 2024-07-05 10:22:45 -03:00
LunaAmora
74e53eb3e1 Split import into multiple files 2024-07-05 10:22:45 -03:00
LunaAmora
2cc9e97453 Fix 'free_vars' to be deterministic
Makes 'bend' desugar with imported types deterministic
2024-07-05 10:22:45 -03:00
LunaAmora
3b91b0b72a Normalize import paths, update absolute path folder 2024-07-05 10:22:45 -03:00
LunaAmora
5666077879 Update import syntax to be python-like 2024-07-05 10:22:45 -03:00
LunaAmora
a769cc7b4f Add Import of full package namespace, aliased to 'mod/name' 2024-07-05 10:22:45 -03:00
LunaAmora
ddc987fb44 Fix relative imports in same folder 2024-07-05 10:22:45 -03:00
LunaAmora
7ae5886eed Add some imports tests 2024-07-05 10:22:45 -03:00
LunaAmora
d1072da0a9 Fix import order dependent bugs 2024-07-05 10:22:45 -03:00
LunaAmora
92c75d7322 Fix backticks in imports error messages 2024-07-05 10:22:45 -03:00
LunaAmora
9073c6dcae Fix add_imported_adt error reporting 2024-07-05 10:22:45 -03:00
LunaAmora
84033a76a7 Fix imported names conflict error messages 2024-07-05 10:22:45 -03:00
LunaAmora
3ac966cf8c Improve errors on conflits of imported names 2024-07-05 10:22:45 -03:00
LunaAmora
234ebdbe98 Add import aliases 2024-07-05 10:22:45 -03:00
LunaAmora
dedfe42e38 Add glob imports 2024-07-05 10:22:45 -03:00
LunaAmora
1d4a2a568a Check for import name collision, fix import shadowing 2024-07-05 10:22:45 -03:00
LunaAmora
7c3c919fe8 Limit adt tag defs be generated or builtin 2024-07-05 10:22:45 -03:00
LunaAmora
d17ccc0544 Make imports relative to the file it is declared 2024-07-05 10:22:45 -03:00
LunaAmora
9f9b8d7ce1 Fix typo 2024-07-05 10:22:45 -03:00
LunaAmora
9c483c4be0 Add diagnostic config to allow for missing main definitions 2024-07-05 10:22:45 -03:00
LunaAmora
ba2c66f29a Add basic import support 2024-07-05 10:22:45 -03:00
Eduardo Sandalo Porto
a2b75ffa3f
Merge pull request #618 from HigherOrderCO/fix-redundant-match
Fix bugs with the irrefutable case optimization
2024-07-05 13:17:13 +00:00
Eduardo Sandalo Porto
34395d42a1 Update changelog 2024-07-05 10:14:53 -03:00
imaqtkatt
9dface6d6c
Merge pull request #616 from HigherOrderCO/570-trigonometry-and-math-functions
#570 trigonometry and math functions
2024-07-05 12:18:59 +00:00
imaqtkatt
4d54d3e8f2 Update changelog 2024-07-05 09:16:42 -03:00
bhavik-goplani
5e74f6c3d3 Add file IO flush function 2024-07-04 18:28:08 -05:00
Eduardo Sandalo Porto
81e5dc426a
Slightly improve explanation comment 2024-07-04 18:36:48 -03:00
Eduardo Sandalo Porto
91ceca04c9 Run cargo fmt 2024-07-04 16:30:11 -03:00
Eduardo Sandalo Porto
4e0823a015 Fix bugs with the irrefutable case optimization 2024-07-04 16:22:34 -03:00
imaqtkatt
659d0941b5 Add asin, acos, atan and round functions 2024-07-04 16:03:48 -03:00
imaqtkatt
24a72e4465 Add missing test snapshot 2024-07-04 14:35:01 -03:00
imaqtkatt
e0642c239b Add run math test 2024-07-04 14:30:28 -03:00
imaqtkatt
19dad2ee94 Refactor to 'Math' namespace 2024-07-04 14:06:14 -03:00
imaqtkatt
cdb4fd201c Add trigonometry functions 2024-07-04 11:51:44 -03:00
Nicolas Abril
978162739f Bump version to 0.2.36 2024-07-04 14:24:20 +02:00
imaqtkatt
4b0bdf506c
Merge pull request #614 from HigherOrderCO/dont-allow-repeated-field-names
Dont allow repeated field names
2024-07-03 19:22:58 +00:00