Yann Hamdaoui
|
c2ee0d680e
|
Add wrapper for hash and (de)serialize in stdlib
|
2021-02-10 09:48:43 +01:00 |
|
Yann Hamdaoui
|
89fdb39ed3
|
Implement hash and (de)serialize operators
|
2021-02-10 09:48:41 +01:00 |
|
Yann Hamdaoui
|
eaffccde11
|
Typechecking of hash,(de)serialize
|
2021-02-10 09:47:59 +01:00 |
|
Yann Hamdaoui
|
e58c9311b2
|
Add syntax for hash, serialize and deserialize operators
|
2021-02-10 09:47:59 +01:00 |
|
Yann Hamdaoui
|
7b1396c4a4
|
Add dependencies to hash librairies
|
2021-02-10 09:47:59 +01:00 |
|
Yann Hamdaoui
|
9592d7935b
|
Merge pull request #290 from tweag/fix/github-actions-syntax
Fix arguments to the on attribute in GH actions
|
2021-02-09 18:48:33 +00:00 |
|
Yann Hamdaoui
|
9de950bb7c
|
Small fixes and renaming
|
2021-02-09 15:52:43 +01:00 |
|
Yann Hamdaoui
|
71de5c2092
|
Fix arguments to the on attribute in GH actions
|
2021-02-08 19:29:52 +01:00 |
|
Yann Hamdaoui
|
30a7546ce7
|
Merge pull request #274 from tweag/migrate-to-github-actions
Migrate to CI to Nix and GitHub Actions
|
2021-02-08 18:19:07 +00:00 |
|
Yann Hamdaoui
|
530ce82089
|
Add missing cachix key in some GH actions
|
2021-02-08 18:48:58 +01:00 |
|
Rok Garbas
|
b383db46a1
|
remove some more debugging
|
2021-02-08 13:02:02 +01:00 |
|
Yann Hamdaoui
|
62558b2703
|
Merge pull request #289 from tweag/fix/warnings-and-clippy
[Cleaning]Implement clippy's recommandations
|
2021-02-08 09:17:58 +00:00 |
|
Rok Garbas
|
c9e3da380d
|
remove debugging
|
2021-02-07 19:44:38 +01:00 |
|
Rok Garbas
|
a480b903b0
|
Add docker image to the list of packages
|
2021-02-07 19:43:11 +01:00 |
|
Yann Hamdaoui
|
5c175fa05d
|
Implement clippy recommandations
|
2021-02-05 17:47:48 +01:00 |
|
Yann Hamdaoui
|
a832ffed90
|
Merge pull request #276 from tweag/refactor/thunks
Thunks black-holing
|
2021-02-05 15:49:17 +00:00 |
|
Yann Hamdaoui
|
4bcaf4b7fa
|
Avoid future should_update() test for thunks containing WHNFs
|
2021-02-05 16:40:20 +01:00 |
|
Yann Hamdaoui
|
7d85ae1913
|
code style + fix comments
|
2021-02-05 16:40:20 +01:00 |
|
Yann Hamdaoui
|
3f2a9f6f26
|
Use dedicated error for blackholes + doc
|
2021-02-05 16:40:20 +01:00 |
|
Yann Hamdaoui
|
5bad72e853
|
Add documentation for thunks
|
2021-02-05 16:40:20 +01:00 |
|
Yann Hamdaoui
|
61348e8448
|
Add infinite recursion error
|
2021-02-05 16:40:20 +01:00 |
|
Yann Hamdaoui
|
007a040628
|
Use new thunks in other mods
|
2021-02-05 16:40:18 +01:00 |
|
Yann Hamdaoui
|
bf0f0502df
|
Use new thunks in stack mod
|
2021-02-05 16:38:42 +01:00 |
|
Yann Hamdaoui
|
2b8ab3c236
|
Improve thunk related definitions and usages
|
2021-02-05 16:38:42 +01:00 |
|
Eelco Dolstra
|
987ae1d1c7
|
Merge pull request #283 from tweag/fix/pipe-syntax-records
Pipe syntax in records and toplevel lets
|
2021-02-05 12:47:21 +01:00 |
|
Eelco Dolstra
|
6a75c64211
|
Merge pull request #282 from tweag/feature/import-multiple-formats
Support importing multiple formats (JSON, YAML, TOML)
|
2021-02-05 12:46:40 +01:00 |
|
Eelco Dolstra
|
8550f42345
|
Merge pull request #281 from tweag/feature/yaml-support
Add YAML and TOML export formats
|
2021-02-05 09:56:43 +01:00 |
|
Yann Hamdaoui
|
e6fa607e87
|
Test serialization-deserialization is involutory
|
2021-02-04 11:00:21 +01:00 |
|
Yann Hamdaoui
|
9a2a03b894
|
Remove unused imports
|
2021-02-04 11:00:21 +01:00 |
|
Yann Hamdaoui
|
6c00b1a9ac
|
Improve error reporting when importing external formats
|
2021-02-04 11:00:21 +01:00 |
|
Yann Hamdaoui
|
559131ad28
|
Support importing JSON/YAML/TOML files
|
2021-02-04 11:00:21 +01:00 |
|
Yann Hamdaoui
|
456238dc3b
|
Implement Deserialize trait for RichTerm
|
2021-02-04 11:00:21 +01:00 |
|
Yann Hamdaoui
|
fe909d3fac
|
Add YAML and TOML export formats
|
2021-02-04 10:59:39 +01:00 |
|
Yann Hamdaoui
|
05ae942275
|
Merge pull request #273 from tweag/feature/shallow-type-inference
Shallow type inference
|
2021-02-03 16:43:08 +00:00 |
|
Yann Hamdaoui
|
7ede56ae0a
|
Infer the Str apparent type for all interpolated strings
|
2021-02-03 17:32:21 +01:00 |
|
Yann Hamdaoui
|
e83dce6d8f
|
Rename typecheck::ApparentType's variant Exact to Inferred
|
2021-02-03 17:29:31 +01:00 |
|
Yann Hamdaoui
|
cb26243956
|
Allow pipe syntax in records and toplevel lets
|
2021-02-03 17:27:14 +01:00 |
|
Yann Hamdaoui
|
c9c90f3156
|
Merge pull request #287 from tweag/fix/eq-on-enum
[Fix]Equality operator mishandling enums
|
2021-02-03 16:19:58 +00:00 |
|
Yann Hamdaoui
|
059447a568
|
Fix equality operator mishandling enums
|
2021-02-03 16:25:46 +01:00 |
|
Théophane Hufschmitt
|
33d2b00a27
|
Merge pull request #268 from tweag/task/simplify-extended-parser
Remove extended parser and use directly LALRPOP
|
2021-02-02 11:00:15 +01:00 |
|
Rok Garbas
|
efb15c1fbd
|
separate workflows for PRs and master branch
|
2021-01-28 20:20:57 +01:00 |
|
Yann Hamdaoui
|
d91e9f2d1c
|
Set up cachix for gitHub actions
|
2021-01-28 13:25:27 +01:00 |
|
Yann Hamdaoui
|
3cae682a47
|
Set the parameters of the GitHub action commiters
|
2021-01-28 13:17:52 +01:00 |
|
Yann Hamdaoui
|
7b2a8d5ccd
|
Add test for shallow type inference
|
2021-01-28 12:39:55 +01:00 |
|
Yann Hamdaoui
|
b97568f170
|
Fix unsound shallow inference for string chunks
|
2021-01-28 11:50:36 +01:00 |
|
Yann Hamdaoui
|
8e10bb0f7d
|
Add basic inference outside of statically typed blocks
|
2021-01-28 11:39:40 +01:00 |
|
Yann Hamdaoui
|
0d555b7f9b
|
Add a try_map function on Types
|
2021-01-27 17:38:48 +01:00 |
|
Yann Hamdaoui
|
3b07e9648d
|
Merge pull request #280 from tweag/fix/fix-test-unification-cycle
[Fix CI]Update test to use parametrized list type
|
2021-01-27 15:27:35 +00:00 |
|
Yann Hamdaoui
|
cbb36b6e7f
|
Fix test to work with parametrized list type
|
2021-01-27 16:23:15 +01:00 |
|
Yann Hamdaoui
|
f3570ebacf
|
Merge pull request #271 from tweag/fix/typechecking-loop
[Fix]Cyclic type inference
|
2021-01-27 15:18:48 +00:00 |
|