Yann Hamdaoui
8527f5692d
Get rid of is_xxx primops in favor of typeof
2022-06-24 18:38:59 +02:00
Yann Hamdaoui
f7a99a8853
Merge pull request #748 from tweag/task/cachix-use-tweag-nickel
...
[CI] Use the new tweag-nickel Cachix instance
2022-06-24 16:41:56 +02:00
Yann Hamdaoui
aa990bdc33
Merge pull request #734 from tweag/refactor/typechecking/walk-phase
...
[Refactoring] Separate walk phase during typechecking
2022-06-24 11:05:45 +02:00
Yann Hamdaoui
a069bd00c9
CI: use tweag-nickel Cachix instance
2022-06-24 10:58:19 +02:00
Yann Hamdaoui
eb3608ba6d
Merge pull request #746 from tweag/dependabot/github_actions/DeterminateSystems/update-flake-lock-10
...
chore(deps): bump DeterminateSystems/update-flake-lock from 9 to 10
2022-06-23 17:44:43 +02:00
Yann Hamdaoui
d24877b6c0
Fix blind replace: unifyrows -> unify_rows
2022-06-23 17:36:43 +02:00
Yann Hamdaoui
23711f08df
Pass State to binding_type to reduce arg counts
2022-06-23 17:35:32 +02:00
Yann Hamdaoui
1dcec04391
Fix typechecking of non-recursive records
2022-06-23 17:30:02 +02:00
Théophane Hufschmitt
2348fe4f63
Merge pull request #735 from tweag/task/separate-wasm-crate
...
Separate the WASM build in a wrapper crate
2022-06-23 11:09:06 +02:00
dependabot[bot]
cdfce74951
chore(deps): bump DeterminateSystems/update-flake-lock from 9 to 10
...
Bumps [DeterminateSystems/update-flake-lock](https://github.com/DeterminateSystems/update-flake-lock ) from 9 to 10.
- [Release notes](https://github.com/DeterminateSystems/update-flake-lock/releases )
- [Commits](https://github.com/DeterminateSystems/update-flake-lock/compare/v9...v10 )
---
updated-dependencies:
- dependency-name: DeterminateSystems/update-flake-lock
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-06-23 05:38:16 +00:00
Mahmoud Mazouz
b1f29d64aa
Merge pull request #732 from tweag/unary-strismatch
...
Avoid recompiling regex in %str_is_match%
2022-06-21 17:05:51 +02:00
Mahmoud Mazouz
a27b309de3
Add example explaining more efficient string.is_match usage
2022-06-21 17:03:48 +02:00
Yann Hamdaoui
dd4733cf17
Merge pull request #742 from tweag/bench/fix/forall-nixpkgs-lib
...
add missing `forall` to `count` function in `benches/nixpkgs/lists.ncl`
2022-06-21 15:11:21 +02:00
Erin van der Veen
8a0f0be71e
Merge pull request #740 from tweag/task/unwrap-track-caller
...
Show call site of TermPos::unwrap on panic
2022-06-21 11:29:33 +02:00
francois-caddet
815e2a47e7
add missing forall to count function in benches/nixpkgs/lists.ncl
2022-06-21 10:54:51 +02:00
fuzzypixelz
73c092364e
Avoid recompiling regex in %str_is_match%
2022-06-21 09:55:59 +02:00
Yann Hamdaoui
9a7b45c670
Merge pull request #722 from tweag/bench/nixlists-typecheck
...
full translation of nixpkgs/lib/lists.nix
2022-06-21 09:46:28 +02:00
francois-caddet
4aa189e9ac
fix typechecking issues. Possible errors or improvments.
2022-06-20 18:00:35 +02:00
Yann Hamdaoui
162a5bd6e4
Merge pull request #739 from tweag/typecheck/correct-tostr-type
...
Correct the type of UnaryOp::ToStr
2022-06-20 16:55:36 +02:00
Yann Hamdaoui
9e7fcdb30a
Show call site of TermPos::unwrap on panic
2022-06-20 16:55:11 +02:00
Yann Hamdaoui
0798aa519c
Remove TypeCheckOuput: type field is unused
2022-06-20 15:59:12 +02:00
Mahmoud Mazouz
db26ac33e8
Correct the type of UnaryOp::ToStr
2022-06-20 15:21:28 +02:00
Mahmoud Mazouz
bd40d2897b
Merge pull request #737 from tweag/syntax/quotes-in-identifiers
...
Syntax: allow ' in identifers
2022-06-20 15:08:16 +02:00
francois-caddet
56191fe886
Apply suggestions from code review
...
Operator currying and code formating
Co-authored-by: Yann Hamdaoui <yann.hamdaoui@gmail.com>
2022-06-20 15:06:35 +02:00
Yann Hamdaoui
36cfdb6c38
Documentation + small refactoring
...
Update and fix the documentation of the typechecking module for the new
walk phase. Refactor a pattern matching for more clarity.
2022-06-20 14:49:15 +02:00
Mahmoud Mazouz
941598795d
Syntax: add quote_in_identifier test
2022-06-20 14:35:39 +02:00
Mahmoud Mazouz
e544ac2457
Syntax: allow ' in identifers
2022-06-20 14:34:26 +02:00
Yann Hamdaoui
66090f9586
Merge pull request #738 from tweag/stdlib/remove-ident-contract
...
Remove the Ident contract from stdlib
2022-06-20 09:55:13 +02:00
Mahmoud Mazouz
f837066c99
Remove the Ident contract from stdlib
2022-06-17 14:39:09 +02:00
Yann Hamdaoui
3064766333
Update documentation with simplified WASM build
2022-06-15 16:59:08 +02:00
Yann Hamdaoui
841cfb7db1
Separate the WASM repl in wrapper crate
2022-06-15 16:53:38 +02:00
Yann Hamdaoui
161f369122
Fix unbound variables in mantis bench
2022-06-14 16:10:14 +02:00
Yann Hamdaoui
e32946f00d
Fix typechecking's walk and walk types expr as well
2022-06-14 15:19:55 +02:00
Yann Hamdaoui
e4ae2fac62
Remove tests allowing dubious behavior
2022-06-14 15:00:24 +02:00
Yann Hamdaoui
8e894c6118
Do non-strict typechecking in a separate function
2022-06-14 15:00:21 +02:00
Xavier Lambein
24bdbde6bc
Merge pull request #664 from tweag/xavier/type_wildcards
...
Xavier/type wildcards
2022-06-14 09:45:25 +02:00
Xavier Lambein
e4a4649967
Fix wildcards in pretty printer and expander
2022-06-13 17:40:43 +02:00
Xavier Lambein
b9a46563b7
Fix test case fails_only_with_wildcard
2022-06-13 17:29:04 +02:00
Xavier Lambein
7d41a72887
Make the wildcards' apparent type always Dyn
2022-06-13 17:29:04 +02:00
Xavier Lambein
ef0d813e71
Fix wildcard types "leaking" out of strict blocks
...
This commit adds a `Wildcard` variant to `ApparentType`, which gets
picked by `apparent_type` whenever there's a type annotation that
contains at least one wildcard. This variant carries both the type
annotation and the apparent type of the underlying value, allowing to
choose one or the other depending on whether evaluation is strict or not.
2022-06-13 17:29:04 +02:00
xlambein
8e9648b255
Fixed wildcard substitution not working for composite types
2022-06-13 17:29:04 +02:00
xlambein
281265b69c
Add a few tests for wildcards
2022-06-13 17:29:04 +02:00
xlambein
bbdc2ad8b0
Add type wildcards
2022-06-13 17:29:04 +02:00
Yann Hamdaoui
0334203611
Merge pull request #731 from tweag/task/add-website-to-readme
...
Add references to nickel-lang.org in the README
2022-06-09 23:44:50 +02:00
Yann Hamdaoui
34602ef548
Add references to nickel-lang.org in the README
2022-06-09 13:50:03 +02:00
Yann Hamdaoui
d453b6c414
Merge pull request #721 from tweag/update-deps
...
Update dependencies
2022-06-09 13:18:31 +02:00
Yann Hamdaoui
242f269272
Merge pull request #723 from tweag/fix/typechecking-parse-errors
...
[Fix] Typechecking with parse errors
2022-06-09 13:18:20 +02:00
Yann Hamdaoui
c02539daa7
Merge pull request #728 from tweag/refactor/subst-bound-vars
...
[Refactor] Remove dead code from subst
2022-06-09 13:17:52 +02:00
francois-caddet
eac9179304
finish translation
...
TODO types issues
2022-06-08 15:45:21 +02:00
Erin van der Veen
0ea50c5962
Merge pull request #729 from tweag/attrs1-unused-warning
...
Mark attrs1 as unused to resolve rust warning
2022-06-08 12:55:10 +02:00
