Anton-4
ee90c53762
do spellcheck on github servers
...
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2022-11-23 10:02:38 +01:00
Ayaz
0ac6fe741d
Merge pull request #4560 from roc-lang/fix-gen-of-inferred-signature-var
...
Constrain flex inference variables without re-generalization
2022-11-23 02:35:04 -06:00
Ayaz Hafiz
40da261dfd
Mark mono test
2022-11-22 12:57:32 -06:00
Ayaz Hafiz
629d4236e3
Revert examples
2022-11-22 12:56:11 -06:00
Ayaz Hafiz
91ceebc065
Fix imports
2022-11-22 11:00:14 -06:00
Ayaz Hafiz
414a320358
Constrain flex inference variables without re-generalization
...
When constraining a recursive function like
```
f : _ -> {}
f : \_ -> f {}
```
our first step is to solve the value type of `f` relative to its
annotation. We have to be careful that the inference variable in the
signature of `f` is not generalized until after the body of `f` is
solved. Otherwise, we end up admitting polymorphic recursion.
2022-11-22 10:43:59 -06:00
Ayaz Hafiz
03e6d6d7e0
Report builtins type errors during load building as appropriate
2022-11-22 10:36:41 -06:00
Brian Carroll
a90d9d465d
Merge pull request #4555 from roc-lang/wasm_interp
...
Wasm interp
2022-11-22 10:45:18 +00:00
Brian Carroll
92039547b6
wasm_interp: remove unsafe code
2022-11-22 00:09:38 +00:00
Ayaz
ef5d83a42d
Merge pull request #4556 from roc-lang/fix-fixpoint-fixing
...
Correct when fixpoint-fixed type variables can be reunified
2022-11-21 17:44:06 -06:00
Brian Carroll
ce10199bb4
clippy + comments
2022-11-21 23:04:22 +00:00
Folkert de Vries
c0beb58256
Merge pull request #4527 from roc-lang/wasm_module_crate
...
Wasm module crate
2022-11-21 23:53:06 +01:00
Ayaz Hafiz
e1afd964c7
Correct when fixpoint-fixed type variables can be reunified
...
With fixpoint-fixing, we don't want to re-unify type variables that were
just fixed, because doing so may change their shapes in ways that we
explicitly just set them up not to be changed (as fixpoint-fixing
clobbers type variable contents).
However, this restriction need only apply when we re-unify two type
variables that were both involved in the same fixpoint-fixing cycle. If
we have a type variable T that was involved in fixpoint-fixing, and we
unify it with U that wasn't, we know that the $U \notin \bar{T}$, where
$\bar{T}$ is the recursive closure of T. In these cases, we do want to
permit the usual in-band unification of $T \sim U$.
2022-11-21 15:57:36 -06:00
Brian Carroll
3d7fb380a5
wasm_interp: Tests for ExecutionState
2022-11-21 19:54:48 +00:00
Brian Carroll
26cce05bbe
wasm_module: create WasmModule::new for testing
2022-11-21 19:54:48 +00:00
Brian Carroll
2ca74e5070
wasm_interp: create execute module
2022-11-21 19:54:48 +00:00
Brian Carroll
d038094a51
wasm_interp: tests for ValueStack
2022-11-21 19:54:48 +00:00
Brian Carroll
3b0a024a56
wasm_interp: tests for call_stack
2022-11-21 19:54:48 +00:00
Brian Carroll
08e9fb65a6
wasm_interp: create call_stack module
2022-11-21 19:54:48 +00:00
Brian Carroll
b0e89dd386
wasm_interp: new crate, with a value_stack module
2022-11-21 19:54:48 +00:00
Brian Carroll
2f709580cd
Use workspace versioning for wasm_module Cargo.toml
2022-11-21 19:54:48 +00:00
Brian Carroll
9353c25826
formatting
2022-11-21 19:51:21 +00:00
Brian Carroll
880ef2704c
Merge branch 'main' of github.com:rtfeldman/roc into wasm_module_crate
2022-11-21 19:49:00 +00:00
Brian Carroll
a35e912c0a
Fix wasm repl tests
2022-11-21 19:48:38 +00:00
Brian Carroll
a3cfdd478d
rename called_preload_fns to called_fns
2022-11-21 19:48:02 +00:00
Anton-4
f32e329798
Merge pull request #4549 from roc-lang/editor_design_docs
...
improve/expand design docs for editor and plugins
2022-11-21 09:13:58 +01:00
Ayaz
1a3119e4c5
Merge pull request #4525 from roc-lang/fix-fixpoints-2
...
Implement fixpoint-fixing and unconditionally emplace variables into type indices
2022-11-19 17:47:02 -06:00
georges boris
d882f71cbd
Merge pull request #4550 from georgesboris/main
...
fix: site.css font-family broken sources
2022-11-19 18:35:25 -03:00
Georges Boris
4b4eccbf41
fix: site.css font-family broken sources
2022-11-19 16:53:01 -03:00
Anton-4
d2959e95c2
improve/expand design docs
2022-11-19 18:27:09 +01:00
Folkert de Vries
3e0176a717
Merge pull request #4541 from roc-lang/fix-echo
...
Fix warnings on examples/cli/echo.roc
2022-11-19 14:46:14 +01:00
Richard Feldman
71ddbe8de9
Merge pull request #4548 from roc-lang/drop-extra-favicon
...
Delete redundant favicon
2022-11-19 06:24:28 -05:00
Richard Feldman
200d456b7b
Create single source of favicon truth
2022-11-19 06:23:46 -05:00
Richard Feldman
f157b14491
Merge pull request #4547 from roc-lang/minify-favicon
...
Minify favicon
2022-11-19 05:53:55 -05:00
Richard Feldman
9925210f18
Minify favicon
2022-11-19 05:50:19 -05:00
Richard Feldman
71a1f90a59
Retry a CSP hash
2022-11-19 05:40:45 -05:00
Richard Feldman
951fc5a8ed
Revert "Give up on CSP blocking inline <style>s"
...
This reverts commit 5829d1320a
2022-11-19 04:51:10 -05:00
Richard Feldman
fa68d860b1
Merge pull request #4546 from roc-lang/no-csp
...
Give up on CSP blocking inline <style>s
2022-11-19 04:26:56 -05:00
Richard Feldman
5829d1320a
Give up on CSP blocking inline <style>s
2022-11-19 04:26:17 -05:00
Richard Feldman
09cc3a66ab
Only use style-src of the hash
2022-11-19 04:12:23 -05:00
Richard Feldman
1aa928b56e
Merge pull request #4545 from roc-lang/fix-csp-again
...
Fix Content-Security-Policy directive
2022-11-19 04:00:26 -05:00
Richard Feldman
fead6cdcb0
Fix Content-Security-Policy missing sha256-
2022-11-19 03:59:38 -05:00
Richard Feldman
79789fd56f
Merge pull request #4543 from joshuawarner32/more-parser-refactoring
...
Refactor parser methods to not return State as part of ParseError
2022-11-19 02:37:50 -05:00
Joshua Warner
2d9aba2242
Refactor parser methods to not return State as part of ParseError
...
As previously discovered with #4464 , it's easy to accidentally mis-use the State value returned on the Err path.
There were mixed assumptions about what that State represents: (1) the State where the error occurred, or (2) the State at the beginning of the thing we were just parsing.
I fixed this up to always mean (2) - at which point we don't actually need to return the State at all - so it's impossible for further discrepency to creep in.
I also took the liberty to refactor a few more methods to be purely combinator-based, rather than calling `parse` directly.
2022-11-18 19:52:23 -05:00
Anton-4
3cd57e078e
Merge pull request #4539 from georgesboris/main
...
Use roc-lang/design-assets for website fonts
2022-11-18 20:59:36 +01:00
Georges Boris
860f27bbf4
chore: www/build.sh get fonts from commit tarball
...
Signed-off-by: Georges Boris <georgesboris@gmail.com>
2022-11-18 16:56:35 -03:00
Georges Boris
3d1ae8d317
refactor: remove support for super old browsers
...
Signed-off-by: Georges Boris <georgesboris@gmail.com>
2022-11-18 16:56:35 -03:00
Georges Boris
4d94b3ec87
chore: update www/build.sh using roc-lang/design-assets
...
Signed-off-by: Georges Boris <georgesboris@gmail.com>
2022-11-18 16:56:24 -03:00
Richard Feldman
0b2c2ab36c
Fix compiler warnings on examples/cli/echo.roc
2022-11-18 14:01:55 -05:00
Richard Feldman
e2b6d93096
Use debug_assert_eq! instead of debug_assert!
2022-11-18 14:01:51 -05:00
