language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-30 15:21:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

make things work by removing type signatures

Browse source
This commit is contained in:
Folkert 2020-10-19 00:28:14 +02:00
parent 847a1be65e
commit 33ff36daad
2 changed files with 4 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

7
compiler/gen/tests/gen_primitives.rs
View file

@ -974,7 +974,6 @@ mod gen_primitives {
} }
#[test] #[test]
#[ignore]
fn io_poc_effect() { fn io_poc_effect() {
assert_evals_to!( assert_evals_to!(
indoc!( indoc!(
@ -983,13 +982,13 @@ mod gen_primitives {
Effect a : [ @Effect ({} -> a) ] Effect a : [ @Effect ({} -> a) ]
succeed : a -> Effect a # succeed : a -> Effect a
succeed = \x -> @Effect \{} -> x succeed = \x -> @Effect \{} -> x
runEffect : Effect a -> a # runEffect : Effect a -> a
runEffect = \@Effect thunk -> thunk {} runEffect = \@Effect thunk -> thunk {}
foo : Effect Float # foo : Effect Float
foo = foo =
succeed 3.14 succeed 3.14

2
compiler/unify/src/unify.rs
View file

@ -180,7 +180,7 @@ fn unify_alias(
problems.extend(merge(subs, &ctx, other_content.clone())); problems.extend(merge(subs, &ctx, other_content.clone()));
if problems.is_empty() { if problems.is_empty() {
problems.extend(unify_pool(subs, pool, real_var, *other_real_var)) problems.extend(unify_pool(subs, pool, real_var, *other_real_var));
} }
problems problems