display check crashes ucm

[LoPoHa]

See the title.
I assume check is a builtin and it happens with other functions?

.> display check
ucm: can't serialize term with blanks
CallStack (from HasCallStack):
  error, called at src/Unison/Codebase/SqliteCodebase/Conversions.hs:122:26 in unison-parser-typechecker-0.0.0-DaPEC8BhFLfBuvI7Fapoon:Unison.Codebase.SqliteCodebase.Conversions

[LoPoHa]

display putBytes
ucm: unimplemented: symbol1to2 Pattern-1
CallStack (from HasCallStack):
  error, called at src/Unison/Codebase/SqliteCodebase/Conversions.hs:246:16 in unison-parser-typechecker-0.0.0-DaPEC8BhFLfBuvI7Fapoon:Unison.Codebase.SqliteCodebase.Conversions

It seems to happen with builtins

[hojberg]

I also get this with List.map (which isn't a builtin).

[LoPoHa]

Looking at it again, the errors in display check and display putBytes or display List.map are a different.
display check has the error ucm: can't serialize term with blanks while display putBytes and display List.map have the error ucm: unimplemented: symbol1to2 Pattern-1
Should these be separated issues?

[pchiusano]

@LoPoHa any chance you can try this again with current trunk?

The ones that have the unimplemented: symbol1to2 should have been fixed by #2138. I'm less sure about the other ones though.

[aryairani]

@pchiusano putBytes displays now, but with the same wrong variable names we saw in #2138 / #2153

_M2.test.internals.v1.Test.check still bombs with can't serialize term with blanks. I don't know why evaluating check would produce a term with blanks.