Yann Hamdaoui
|
8a010d8eb1
|
Update src/typecheck/eq.rs
Co-authored-by: Mahmoud Mazouz <mazouz.mahmoud@outlook.com>
|
2022-07-07 17:48:42 +02:00 |
|
Yann Hamdaoui
|
9900496cc8
|
Update src/typecheck/eq.rs
Co-authored-by: Mahmoud Mazouz <mazouz.mahmoud@outlook.com>
|
2022-07-07 17:48:25 +02:00 |
|
Yann Hamdaoui
|
0abe0dc3f5
|
Add missing type equality for computing contract equality
|
2022-07-06 15:38:48 +02:00 |
|
Yann Hamdaoui
|
429a1fc924
|
Add type equality for contracts but don't use it yet
|
2022-07-06 14:13:11 +02:00 |
|
Yann Hamdaoui
|
e0e8587633
|
Merge pull request #762 from tweag/fix/revert-normal-thunks
Share the data among reverted normal thunks
|
2022-07-05 09:45:23 +02:00 |
|
Yann Hamdaoui
|
e3b6bd5ff9
|
Share the data among reverted normal thunks
|
2022-07-01 16:55:44 +02:00 |
|
Yann Hamdaoui
|
7e4f709ee9
|
Merge pull request #759 from tweag/fix/pprint-empty-string
[Fix] Panic when pretty printing an ast with empty strings
|
2022-07-01 16:23:21 +02:00 |
|
Yann Hamdaoui
|
f56110fdf8
|
Merge pull request #760 from tweag/fix/pretty/destructuring
Pretty print correctly simple form destructuring
|
2022-07-01 15:41:57 +02:00 |
|
francois-caddet
|
cdc2372088
|
fix defaults printing in destructuring
|
2022-06-30 17:30:30 +02:00 |
|
francois-caddet
|
af54ca020e
|
Prettyprint destructuring function args
|
2022-06-30 16:39:36 +02:00 |
|
Yann Hamdaoui
|
65f1292349
|
Fix panic when pprint ast with empty strings
|
2022-06-30 16:16:11 +02:00 |
|
Yann Hamdaoui
|
34b3b8ca8b
|
Merge pull request #713 from tweag/update_flake_lock_action
flake.lock: Update
|
2022-06-29 22:29:44 +02:00 |
|
Yann Hamdaoui
|
4081f00703
|
Merge pull request #755 from tweag/fix/manual-row-polymorphism
[Fix] Fix use of old row tail syntax in the row polymorphism section of the manual
|
2022-06-29 16:53:51 +02:00 |
|
Yann Hamdaoui
|
130e0505b9
|
Fix use of old row tail syntax in manual
|
2022-06-29 16:52:22 +02:00 |
|
Yann Hamdaoui
|
f27d234084
|
Merge pull request #754 from tweag/fix/types-vs-contracts-page
[Fix] Fix types-vs-contracts manual page not found on the website
|
2022-06-29 16:51:48 +02:00 |
|
Yann Hamdaoui
|
3ff27b95ee
|
Fix slug metadata + old interp syntax in types-vs-contracts
|
2022-06-29 16:52:01 +02:00 |
|
github-actions[bot]
|
b230761153
|
flake.lock: Update
Flake lock file updates:
• Updated input 'flake-utils':
'github:numtide/flake-utils/04c1b180862888302ddfb2e3ad9eaa63afc60cf8' (2022-05-17)
→ 'github:numtide/flake-utils/bee6a7250dd1b01844a2de7e02e4df7d8a0a206c' (2022-06-24)
• Updated input 'nixpkgs':
'github:NixOS/nixpkgs/48037fd90426e44e4bf03e6479e88a11453b9b66' (2022-05-18)
→ 'github:NixOS/nixpkgs/6141b8932a5cf376fe18fcd368cecd9ad946cb68' (2022-06-23)
• Updated input 'pre-commit-hooks':
'github:cachix/pre-commit-hooks.nix/521a524771a8e93caddaa0ac1d67d03766a8b0b3' (2022-05-16)
→ 'github:cachix/pre-commit-hooks.nix/db3bd555d3a3ceab208bed48f983ccaa6a71a25e' (2022-06-25)
• Updated input 'rust-overlay':
'github:oxalica/rust-overlay/3bc2619665745f5e6f2efc3d0664edad4f62201b' (2022-05-21)
→ 'github:oxalica/rust-overlay/59a3a304c987dc65d2a33de0a77a1ae6ae777cd4' (2022-06-25)
|
2022-06-29 14:12:32 +02:00 |
|
Yann Hamdaoui
|
73bb35267b
|
Merge pull request #745 from tweag/task/doc-ordered-fields
Fix random order of fields in `nickel doc`
|
2022-06-29 14:01:44 +02:00 |
|
Yann Hamdaoui
|
9de227b5aa
|
Merge pull request #744 from tweag/task/build-stdlib-doc-2
Add flake output to build stdlib documentation
|
2022-06-29 12:15:27 +02:00 |
|
Yann Hamdaoui
|
ec8996ef8b
|
Merge pull request #743 from tweag/task/doc-output-path
Add --output flag to nickel doc command
|
2022-06-29 12:13:48 +02:00 |
|
Yann Hamdaoui
|
0abe3e0b60
|
Improve the --output option description
|
2022-06-29 10:27:50 +02:00 |
|
Yann Hamdaoui
|
17fb115eed
|
Merge pull request #752 from tweag/feature/to_string
Add a to_str function
|
2022-06-28 14:44:36 +02:00 |
|
Yann Hamdaoui
|
0417f9a61f
|
Merge pull request #751 from tweag/refactor/typeof
[Refactor] Get rid of is_xxx primops in favor of typeof
|
2022-06-28 09:54:24 +02:00 |
|
Yann Hamdaoui
|
86b405861a
|
Make to_str work on null input
|
2022-06-27 18:25:36 +02:00 |
|
Yann Hamdaoui
|
d952614e4c
|
Merge pull request #750 from tweag/task/archive-makam
Remove Makam specification
|
2022-06-27 18:16:04 +02:00 |
|
Yann Hamdaoui
|
c7eb0f1b7e
|
Add builtin.to_str and string.from to stdlib
|
2022-06-24 19:12:50 +02:00 |
|
Yann Hamdaoui
|
cdec8f3d54
|
Fix ValueType contract undue failures
|
2022-06-24 19:09:53 +02:00 |
|
Yann Hamdaoui
|
8527f5692d
|
Get rid of is_xxx primops in favor of typeof
|
2022-06-24 18:38:59 +02:00 |
|
Yann Hamdaoui
|
c65f101fe5
|
Remove Makam specification
|
2022-06-24 16:46:36 +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 |
|
Yann Hamdaoui
|
64750697a1
|
Fix random field order of nickel doc + use sort_by_key
|
2022-06-22 12:17:08 +02:00 |
|
Yann Hamdaoui
|
7e6d69b89f
|
Improve IO errors on nickel doc
|
2022-06-22 11:50:06 +02:00 |
|
Yann Hamdaoui
|
edc532b420
|
Add flake output to build stdlib doc
|
2022-06-22 11:13:47 +02:00 |
|
Yann Hamdaoui
|
fa91d1d7f6
|
Add --output flag to nickel doc command
|
2022-06-21 19:37:36 +02: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 |
|