[typeConstraintTree] Ref lookup failure: ReferenceBuiltin "Integer" #5896
Description
We expect it to be okay to have unsupported builtins in your codebase so long as you don't reference them in code that you're trying to run, but that isn't currently the case.
fails on unison version: a946781fc
succeeds on version 0.5.49' 😑
> lib.install @unison/base/releases/6.1.1
atPos : Nat -> [a] -> a
atPos i chs =
match (i,chs) with
(_,[]) -> bug "Expected a non-empty list"
(1,(x+:_)) -> x
(n,(_+:xs)) -> atPos (n-1) xs
Encountered exception:
[typeConstraintTree] Ref lookup failure: ReferenceBuiltin "Integer"
CallStack (from HasCallStack):
error, called at src/Unison/KindInference/Generate.hs:97:22 in unison-parser-typechecker-0.0.0-BFjY27DYsGCCOy52yx0xpw:Unison.KindInference.Generate