You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
See https://unisoncomputing.slack.com/archives/CF8D3DCP3/p1697048365160779 for some repro and code links.
arya@halp /tmp % ucm
Now starting the Unison Codebase Manager (UCM)...
_____ _
ö ö ö___ö_ö___ ___ ___
ö ö ö ö ö_ -ö . ö ö
ö_____ö_ö_ö_ö___ö___ö_ö_ö
👋 Welcome to Unison!
You are running version: release/M5h
📚 Read the official docs at https://www.unison-lang.org/learn/
Hint: Type 'projects' to list all your projects, or 'project.create' to start something new.
ambitious-chameleon/main>
SqliteQueryException
ä sql = "SELECT text FROM text WHERE id = ?"
, params =
Ä SQLInteger 129 Å
, exception = NeedTypeForBuiltinMetadata "Nat.+"
, callStack = ÄÅ
, connection = Connection
ä name = "main"
, file = "/Users/arya/.unison/v2/unison.sqlite3"
å
, threadId = ThreadId 19
å
The text was updated successfully, but these errors were encountered:
aryairani
changed the title
I crash with NeedTypeForBuiltinMetadata on ucm startup
crash with NeedTypeForBuiltinMetadata on ucm startup
Nov 22, 2023
See
https://unisoncomputing.slack.com/archives/CF8D3DCP3/p1697048365160779
for some repro and code links.The text was updated successfully, but these errors were encountered: