Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

crash with NeedTypeForBuiltinMetadata on ucm startup #4416

Closed
Tracked by #4582 ...
aryairani opened this issue Nov 22, 2023 · 1 comment · Fixed by #4714
Closed
Tracked by #4582 ...

crash with NeedTypeForBuiltinMetadata on ucm startup #4416

aryairani opened this issue Nov 22, 2023 · 1 comment · Fixed by #4714
Assignees

Comments

@aryairani
Copy link
Contributor

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
    å
@aryairani aryairani changed the title I crash with NeedTypeForBuiltinMetadata on ucm startup crash with NeedTypeForBuiltinMetadata on ucm startup Nov 22, 2023
@aryairani
Copy link
Contributor Author

aryairani commented Nov 29, 2023

could be superseded by #4429, but that has a lot of steps

@aryairani aryairani mentioned this issue Nov 29, 2023
13 tasks
tstat added a commit that referenced this issue Nov 30, 2023
Stop loading metadata

fixes #4416
@mitchellwrosen mitchellwrosen mentioned this issue Jan 5, 2024
9 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants