Weaken tags behind let bindings

This commit is contained in:
Ayaz Hafiz 2023-01-12 14:58:03 -06:00
parent 52c2f3a054
commit 48049ed956
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 9 additions and 8 deletions

View file

@ -2557,10 +2557,10 @@ mod solve_expr {
infer_eq(
indoc!(
r#"
ok : Result I64 *
ok : Result I64 _
ok = Ok 5
err : Result * Str
err : Result _ Str
err = Err "blah"
if 1 > 0 then
@ -6992,7 +6992,7 @@ mod solve_expr {
"#
),
@r#"
foo : [Named Str (List a)]* as a
foo : [Named Str (List a)] as a
Named name outerList : [Named Str (List a)] as a
name : Str
outerList : List ([Named Str (List a)] as a)