tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-09-17 14:37:30 +03:00
Code Issues Projects Releases Wiki Activity
2,111 Commits 113 Branches 17 Tags 50 MiB
f7bfeb0f0e
Commit Graph

2111 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
GitHub Actions
f7bfeb0f0e Update beta Rust channel [ci skip] 2022-01-09 01:54:09 +00:00
GitHub Actions
73a3363d41 Update nightly Rust channel [ci skip] 2022-01-08 02:06:26 +00:00
Yann Hamdaoui
35ad4eb49e
Merge pull request #554 from tweag/refactor/split-typecheck 
[Refactor] Break typecheck into submodules
 2022-01-07 17:55:44 +01:00
Yann Hamdaoui
1a423f8791
Merge pull request #512 from tweag/fix/empty-metavalue-error 
Fix uninformative "empty metavalue" error
 2022-01-07 17:18:49 +01:00
Yann Hamdaoui
b7f3d793e6 Support empty metavalues without labels in MissingFieldDef error 2022-01-07 16:41:25 +01:00
Yann Hamdaoui
506d7acff4 Add missing mut modifier 2022-01-07 16:26:11 +01:00
Yann Hamdaoui
cb31d299dd Update comments 2022-01-07 16:26:11 +01:00
Yann Hamdaoui
a6d20d21fd Use new MissingFieldDef error for empty metavalues 2022-01-07 16:26:11 +01:00
Yann Hamdaoui
eebc2031fc Add dedicated variant error for empty metavalue 2022-01-07 16:26:11 +01:00
Yann Hamdaoui
c6680c0ac0
Merge pull request #553 from tweag/fix/explicit_destructuring_typechecking 
Fix/explicit destructuring typechecking
 2022-01-07 14:45:10 +01:00
francois-caddet
94a13b091e
Update src/typecheck/mod.rs 
Fix comment typo

Co-authored-by: Yann Hamdaoui <yann.hamdaoui@gmail.com>
 2022-01-07 12:33:23 +01:00
Yann Hamdaoui
687cae396e Split typecheck module into more files, move errors and op typing in submodules 2022-01-07 10:25:04 +01:00
GitHub Actions
186ffdb0f7 Update nightly Rust channel [ci skip] 2022-01-07 02:06:33 +00:00
francois-caddet
8896400d03 del a old comment 2022-01-06 14:10:30 -05:00
francois-caddet
f1ec53d1b0 add a TODO for typechecking of interior vars of destructuring 
also fix a few small issues
 2022-01-06 14:01:53 -05:00
Yann Hamdaoui
00819963fd
Merge pull request #551 from tweag/refactor/eval 
[Refactor] Break eval into submodules
 2022-01-06 19:09:36 +01:00
Yann Hamdaoui
0057d02950 Small fixes on comments 2022-01-06 18:41:45 +01:00
Yann Hamdaoui
b3e6fcbbca Break eval into more submodules 2022-01-06 18:30:53 +01:00
Yann Hamdaoui
61720d28f9 Move stack, merge and operation as submodules of eval 2022-01-06 18:05:46 +01:00
Yann Hamdaoui
bd19068190
Merge pull request #549 from tweag/timcer/metavalue_flatten_issue 
Fix types merging in Metavalue::flatten function
 2022-01-06 18:00:23 +01:00
Yann Hamdaoui
516375dfc1
Merge pull request #547 from tweag/refactor/transform 
[Refactor] Break transformations into several files
 2022-01-06 17:37:28 +01:00
Litchi Pi
dbfbd2b5ad Fix types merging in Metavalue::flatten function 
Signed-off-by: Litchi Pi <litchi.pi@protonmail.com>
 2022-01-06 17:33:32 +01:00
Yann Hamdaoui
73126a5d28 Move eval module in a dedicated repo, break tests submodule 2022-01-06 17:20:44 +01:00
Yann Hamdaoui
a8b98edf96 Inline import_pass, which was used only once 2022-01-06 17:02:56 +01:00
Yann Hamdaoui
fbcf896462 Break transform module into several files 2022-01-06 16:51:09 +01:00
Yann Hamdaoui
04688f95b4 Rename transformations -> transform, make a dedicated folder 2022-01-06 16:20:20 +01:00
Yann Hamdaoui
b20943cb70
Merge pull request #540 from tweag/timcer/import_apparent_type 
Get apparent type from imported term instead of defaulting to Dyn
 2022-01-06 13:50:46 +01:00
Litchi Pi
0a94d6fae7 Get apparent type from imported term instead of defaulting to Dyn 
Signed-off-by: Litchi Pi <litchi.pi@protonmail.com>
 2022-01-06 11:53:33 +01:00
Yann Hamdaoui
13fb3edadc
Merge pull request #546 from tweag/timcer/fix_expect_msg 
Fix expect 'import not found' message in type_check_
 2022-01-06 11:14:45 +01:00
Yann Hamdaoui
809dcf0adc
Merge pull request #491 from tweag/task/prepare-overriding-2 
Recursive overriding
 2022-01-06 10:45:34 +01:00
Litchi Pi
da22ee346d Fix expect 'import not found' message in type_check_ 
Signed-off-by: Litchi Pi <litchi.pi@protonmail.com>
 2022-01-06 10:26:40 +01:00
Yann Hamdaoui
5e4b398dda More documentation about share normal form expected post-condition 2022-01-06 10:21:43 +01:00
GitHub Actions
3c11c18359 Update nightly Rust channel [ci skip] 2022-01-06 02:07:16 +00:00
Yann Hamdaoui
9a97b03798 Fix NLS compilation: additional binding type parameter in Let 2022-01-05 20:13:40 +01:00
Yann Hamdaoui
fb87814aea Fix typo 2022-01-05 19:33:33 +01:00
Yann Hamdaoui
1614bb6495 Add tests on evaluation of rec records containing variables 2022-01-05 19:28:43 +01:00
Yann Hamdaoui
b397151c43 Post-rebase fixups 2022-01-05 19:12:03 +01:00
Yann Hamdaoui
4fef0edfc5 Squash Let and LetRev into one AST node 2022-01-05 18:06:13 +01:00
Avi Dessauer
8e75a939d8
Merge pull request #545 from tweag/avi/fix-522 
Fix: #522, Use eval_full to test examples
 2022-01-05 11:51:38 -05:00
Yann Hamdaoui
c2862a5859 Panic on unbound generated identifier in closurize() 2022-01-05 17:34:40 +01:00
Yann Hamdaoui
4016a09b6d Better explain the invariant to be maintained by closurize 2022-01-05 17:33:54 +01:00
Yann Hamdaoui
c35de3a416 Remove dead code (Default impl for term) 2022-01-05 17:33:52 +01:00
Yann Hamdaoui
5d28b6d77e Doc fixups: more reverse -> revert 2022-01-05 17:32:49 +01:00
Yann Hamdaoui
431ec7abd7 Comments, naming, formatting 2022-01-05 17:31:58 +01:00
Yann Hamdaoui
2dee759ed5 Only apply the closurize optimisation on generated variables 2022-01-05 17:31:58 +01:00
Yann Hamdaoui
a049bc7594 Add basics tests for recursive overriding 2022-01-05 17:31:58 +01:00
Yann Hamdaoui
235f770130 Fix incorrect restoration of thunks 2022-01-05 17:31:58 +01:00
Yann Hamdaoui
2269869001 Fix closurization 2022-01-05 17:31:57 +01:00
Yann Hamdaoui
e22537c3b7 RECURSIVE OVERRIDING WORKS (so it seems) 2022-01-05 17:31:19 +01:00
Yann Hamdaoui
5149d45ebd Remove RevVar, reverse thunks directly 2022-01-05 17:29:26 +01:00