Incorrect resolution of foldLeft

[gomain]

For some reason, unqualified foldLeft resolved to Array.foldLeft

count : [a] -> Nat
count = foldLeft (n _ -> n + 1) 0 -- error expecting to find data.Array

count : [a] -> Nat
count = List.foldLeft (n _ -> n + 1) 0 -- ok

[aryairani]

Thanks for reporting @gomain, it is meant to just work.

[gomain]

@aryairani I'm also experiencing, this

unique type SumType = A | B

isA : SumType -> Boolean
isA = cases
  A -> true -- don't need to qualify constructor
  _ -> false

but when

unique type SumType = A | B 
unique type AlsoSumType = A | B

isA : SumType -> Boolean
isA = cases
  A -> true  -- don't know constructor named A
  _ -> false

unique type SumType = A | B 
unique type AlsoSumType = A | B

isA : SumType -> Boolean
isA = cases
  SumType.A -> true -- qualify with type name, ok
  _ -> false

Not sure what to expect here.

[gomain]

Another case where TDNR fails

unique type Type = { name: Nat }
name : Text -> Text
name = cases _ -> "bla"
>name (Type 2) -- expected Text