search

GaloisInc / daedalus

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

Specialization fails for an obviously-empty language #1

Open david-christiansen opened 4 years ago

david-christiansen commented 4 years ago

File empty.ddl:

def Main = Choose {}

When running the following command, I get a panic:

You have encountered a bug in Daedalus's implementation.
*** Please create an issue at https://gitlab-ext.galois.com:safedocs/safedocs

%< --------------------------------------------------- 
  Revision:  468c7efa5cb5fc9875218dbc7183424f742bb388
  Branch:    master
  Location:  specialiseOne
  Message:   Specializing a poly function
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/Specialise.hs:159:33 in daedalus-0.1.0.0-inplace:Daedalus.Specialise
%< ---------------------------------------------------
david-christiansen commented 4 years ago

I suspect that this is just a missing error message rather than a real panic, but it does ask me to report it here :-)