roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-21 15:59:20 +03:00
Code Issues Packages Projects Releases Wiki Activity

the test

Browse Source
This commit is contained in:
Folkert 2021-08-20 23:43:38 +02:00
parent 82a4b31c08
commit f35a20bc16
2 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
compiler/mono/src/ir.rs
View File

@ -4733,6 +4733,7 @@ pub fn from_can<'a>(
CapturedSymbols::None CapturedSymbols::None
} }
Err(_) => { Err(_) => {
// just allow this. see https://github.com/rtfeldman/roc/issues/1585
if captured_symbols.is_empty() { if captured_symbols.is_empty() {
CapturedSymbols::None CapturedSymbols::None
} else { } else {

4
compiler/test_gen/src/gen_primitives.rs
View File

@ -2712,7 +2712,6 @@ fn int_literal_not_specialized() {
} }
#[test] #[test]
#[ignore]
fn unresolved_tvar_when_capture_is_unused() { fn unresolved_tvar_when_capture_is_unused() {
// see https://github.com/rtfeldman/roc/issues/1585 // see https://github.com/rtfeldman/roc/issues/1585
assert_evals_to!( assert_evals_to!(
@ -2725,8 +2724,7 @@ fn unresolved_tvar_when_capture_is_unused() {
r : Bool r : Bool
r = False r = False
# underscore does not change the problem, maybe it's type-related? We don 't really know what `Green` refers to below p1 = (\_ -> r == (1 == 1))
p1 = (\x -> r == (1 == 1))
oneOfResult = List.map [p1] (\p -> p Green) oneOfResult = List.map [p1] (\p -> p Green)
when oneOfResult is when oneOfResult is