8000 Talos fails reading file on MacOS · Issue #378 · GaloisInc/daedalus · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Talos fails reading file on MacOS #378

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.

Sign up for GitHub

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

Jump to bottom
Open
rkesters opened this issue Apr 16, 2025 · 1 comment
Open

Talos fails reading file on MacOS #378

rkesters opened this issue Apr 16, 2025 · 1 comment

Comments

@rkesters
Copy link

I get the following error when I follow the README for talos (with one change, README says to run it via cabal run talos -- -n 4 tests/T003.ddl but that fails so I used cabal run exe:talos -- -n 4 tests/T003.ddl. Note that daedalus tool does work and have used it to generate C++ parser.

> cabal run exe:talos -- -n 4 tests/T003.ddl
talos: You have encountered a bug in Daedalus's implementation.
*** Please create an issue at https://github.com/GaloisInc/daedalus/issues

%< ---------------------------------------------------
  Revision:  7dd6d30d94109159b0c8a1d91cf7193186ab522c
  Branch:    master
  Location:  ddlGetFName
  Message:   Unknown name
             module: T003
             fun: Main
CallStack (from HasCallStack):
  panic, called at src/Daedalus/Panic.hs:17:9 in daedalus-utils-0.1.0.0-inplace:Daedalus.Panic
  panic, called at src/Daedalus/Driver.hs:521:15 in daedalus-0.1.0.0-inplace:Daedalus.Driver
%< ---------------------------------------------------
@yav
Copy link
Member
yav commented Apr 28, 2025

Thanks for reporting this! This is a pretty terrible error message we should certainly fix it. talos is complaining that it can't find a definition for Main, which by default is what it assumed to be the root of the grammar. There's a flag called --entry that can be used to specify the entry point explicitly, for example, like this:

cabal run exe:talos -- -n 4 tests/T003.ddl --entry=List

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@yav @rkesters
0