search

GaloisInc / daedalus

The Daedalus data description language
BSD 3-Clause "New" or "Revised" License
65 stars 11 forks source link

TH compiler doesn't work with NITF #288

Closed simonjwinwood closed 1 year ago

simonjwinwood commented 1 year ago 
%< --------------------------------------------------- 
  Revision:  fbab273f81a875e8181af05c4ecc5969febabf08
  Branch:    wip/talos-strat-cmdline (uncommited files present)
  Location:  compileCInstr
  Message:   Tail call parser from pure
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/VM/Backend/Haskell.hs:574:24 in daedalus-vm-0.1.0.0-inplace:Daedalus.VM.Backend.Haskell
%< --------------------------------------------------- 

    Code: compileDDLWith
            (defaultConfig {userSearchPaths = ["../formats/nitf/"]})
            (FromFile "../formats/nitf/nitf_main.ddl")
yav commented 1 year ago

I fixed the panic, but now there is another issue with name clashes in the generated code, need to investigate further.

yav commented 1 year ago

The other error had to do with handling of anonymous types, which should be now fixed.