Yann Hamdaoui
|
42e1cb4d20
|
Fix reversed lists.flatten
|
2020-12-04 09:52:08 +01:00 |
|
Eelco Dolstra
|
edb90e6fa6
|
Merge pull request #231 from tweag/fix/hash-in-multiline-strings
[Fix]Mishandling of `#` in mutliline strings
|
2020-12-01 11:45:06 +01:00 |
|
Eelco Dolstra
|
6b71e76634
|
Merge pull request #229 from tweag/feature/raw-export-format
Support raw export format
|
2020-12-01 11:44:22 +01:00 |
|
Yann Hamdaoui
|
bc5eac6ceb
|
Regression test for #230
|
2020-12-01 11:14:53 +01:00 |
|
Yann Hamdaoui
|
cfc958cb36
|
Fix lone # error in multline strings
|
2020-12-01 11:02:27 +01:00 |
|
Yann Hamdaoui
|
7edf2eefb1
|
Support raw export format
|
2020-12-01 10:41:18 +01:00 |
|
Yann Hamdaoui
|
77a3188e50
|
Merge pull request #227 from tweag/syntax/hash-interpolation-sequence
Use variable length `#{` for interpolation
|
2020-11-30 14:11:40 +00:00 |
|
Yann Hamdaoui
|
fb82ab9008
|
Simplify matching FalseEnd tokens
|
2020-11-30 13:36:23 +01:00 |
|
Yann Hamdaoui
|
bca0b1b98d
|
Add and update fix tests for new interpolation syntax
|
2020-11-30 13:36:23 +01:00 |
|
Yann Hamdaoui
|
43c2f05f21
|
Support variable length interpolation sequences using #{
|
2020-11-30 13:36:23 +01:00 |
|
Eelco Dolstra
|
209b9ef62d
|
Merge pull request #219 from tweag/syntax/typing-promise
[Syntax]Use colon as the static typing operator
|
2020-11-30 12:13:42 +01:00 |
|
Eelco Dolstra
|
cffaf46c4a
|
Merge pull request #220 from tweag/fix/typing-interpolated-expressions
[Fix]Typechecking interpolated expressions
|
2020-11-30 12:12:50 +01:00 |
|
Yann Hamdaoui
|
a884b79fe5
|
Fix typechecking of interpolated expressions
|
2020-11-26 14:47:49 +01:00 |
|
Yann Hamdaoui
|
7b936f3a96
|
Update examples to use the new typing syntax
|
2020-11-24 09:39:16 +01:00 |
|
Yann Hamdaoui
|
79788f1fd4
|
Update tests to use the new typing syntax
|
2020-11-23 17:41:40 +01:00 |
|
Yann Hamdaoui
|
f6e1eb4455
|
Update the stdlib to use the new typing syntax
|
2020-11-23 17:41:22 +01:00 |
|
Yann Hamdaoui
|
4bc038e447
|
Use : instead of Promise for typing
|
2020-11-23 17:40:40 +01:00 |
|
Arnaud Spiwack
|
e1b530895f
|
Merge pull request #215 from tweag/fix/bad-merge-syntax-in-tests
[Fix]Fix failing CI (old merge syntax)
|
2020-11-18 09:14:43 +01:00 |
|
Yann Hamdaoui
|
eb5bac5516
|
Update tests to use new merge syntax
|
2020-11-17 18:06:50 +01:00 |
|
Eelco Dolstra
|
960946f085
|
Merge pull request #214 from tweag/syntax/ampersand-merge
[Syntax]Use the `&` binary operator for merging
|
2020-11-17 17:54:22 +01:00 |
|
Eelco Dolstra
|
7154710f86
|
Merge pull request #210 from tweag/feature/basic-command-line-opts
Basic subcommands for the interpreter
|
2020-11-17 17:53:40 +01:00 |
|
Eelco Dolstra
|
2e5ddcdd0b
|
Merge pull request #213 from tweag/fix/blame-errors-underlining
[Fix]Wrong layout in blame error messages
|
2020-11-17 17:29:59 +01:00 |
|
Eelco Dolstra
|
7447defe42
|
Merge pull request #211 from tweag/fix/records-blame-error-messages
[Fix]Use `value` instead of `function` for blame errors on record fields
|
2020-11-17 17:29:28 +01:00 |
|
Eelco Dolstra
|
2d999ef27b
|
Merge pull request #209 from tweag/feature/serialization
Json serialization
|
2020-11-17 17:28:18 +01:00 |
|
Yann Hamdaoui
|
236a37911a
|
Update to the new merge syntax
|
2020-11-17 17:21:35 +01:00 |
|
Yann Hamdaoui
|
7808083643
|
Change the merge operator syntax to &
|
2020-11-17 17:20:42 +01:00 |
|
Eelco Dolstra
|
bd0761e509
|
Merge pull request #204 from tweag/task/full-evaluation
Full evaluation
|
2020-11-17 17:18:23 +01:00 |
|
Yann Hamdaoui
|
fb2b56e48c
|
Fix computation of the type path position in a record field
|
2020-11-17 16:43:30 +01:00 |
|
Yann Hamdaoui
|
d3ed062265
|
Use inst. of in blame errors for record fields
|
2020-11-17 16:23:59 +01:00 |
|
Yann Hamdaoui
|
4c2f27233c
|
Print nothing when typechecking succeeds
|
2020-11-17 16:13:30 +01:00 |
|
Yann Hamdaoui
|
320903f038
|
Serialize to writer directly instead of using intermediate string
|
2020-11-17 15:12:52 +01:00 |
|
Yann Hamdaoui
|
705e68dc53
|
Remove unused global_env cache
|
2020-11-17 15:12:02 +01:00 |
|
Yann Hamdaoui
|
c81033ef09
|
Fix typo in comment
|
2020-11-17 15:11:47 +01:00 |
|
Yann Hamdaoui
|
a026e39d90
|
Add subcommands and options to the executable
|
2020-11-17 14:41:53 +01:00 |
|
Yann Hamdaoui
|
b49eb814c3
|
Break down program::eval() into smaller functions
|
2020-11-17 14:41:18 +01:00 |
|
Yann Hamdaoui
|
5392c3994f
|
Remove useless mutability
|
2020-11-17 14:41:00 +01:00 |
|
Yann Hamdaoui
|
d2bac259e6
|
Add IO/Serialization errors
|
2020-11-17 14:40:45 +01:00 |
|
Yann Hamdaoui
|
cb3b15469a
|
Add structopt dependency
|
2020-11-17 14:39:47 +01:00 |
|
Yann Hamdaoui
|
707463dc7c
|
Typo in comment
|
2020-11-16 15:42:48 +01:00 |
|
Yann Hamdaoui
|
4235098320
|
Remove duplicate test
|
2020-11-16 15:40:30 +01:00 |
|
Yann Hamdaoui
|
066acb112b
|
Tests and small fixes for serialization
|
2020-11-16 15:16:03 +01:00 |
|
Yann Hamdaoui
|
f9b383660f
|
Add JSON serialization
|
2020-11-16 15:15:58 +01:00 |
|
Yann Hamdaoui
|
5cd9614b94
|
Add serde and serde_json dependencies
|
2020-11-16 15:09:09 +01:00 |
|
Yann Hamdaoui
|
e6378deefc
|
Fix substitution for interpolated expressions
|
2020-11-16 15:08:27 +01:00 |
|
Yann Hamdaoui
|
7faabeceb3
|
Do not substitute bound variables
|
2020-11-16 15:08:27 +01:00 |
|
Yann Hamdaoui
|
1745309c12
|
Formatting and naming
|
2020-11-16 15:08:27 +01:00 |
|
Yann Hamdaoui
|
9fec275446
|
Add tests for substitution and full evaluation
|
2020-11-16 15:08:27 +01:00 |
|
Yann Hamdaoui
|
fa2755d356
|
Add full variable substitution
|
2020-11-16 15:08:27 +01:00 |
|
Yann Hamdaoui
|
77b037ca28
|
Make the final environment after evaluation available
|
2020-11-16 15:08:27 +01:00 |
|
Eelco Dolstra
|
92fa2e1cd3
|
Merge pull request #208 from tweag/fix/merge-closurization
Fix merge closurization
|
2020-11-16 15:07:39 +01:00 |
|