search

GaloisInc / daedalus

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

Defined but not used warnings from TH build #372

Open kquick opened 3 months ago

kquick commented 3 months ago

When using compileDDLWith on names_params.txt I get about 14 of the following reported during build:

Taphos/Analysis/NamesTactic.hs:75:1: warning: [-Wunused-matches]
    Defined but not used: ‘ra0b’
   |
75 | compileDDLWith defaultConfig { errorLevel = 2
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

It's not clear whether these are impactful to the resulting parser.