You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I was trying to add deriving to all my data types with a naive regex which caused the following code:
recordExample:Setwhere{-# COMPILE AGDA2HS Example deriving (Show, Eq, Ord) class #-}
Trying to run agda2hs on it gives the following error:
$ agda2hs Bug.agda
Checking Bug (Bug.agda).
An internal error has occurred. Please report this as a bug.
Location of the error: __IMPOSSIBLE__, called at src/full/Agda/Utils/FileName.hs:56:20 in Agda-2.6.4.1-7xG50m7UQLK4krJEY6TPg:Agda.Utils.FileName
Not that anyone should do this, but the error message said it's a bug, so I might as well report it so mistakes like these can get better error messages.
The text was updated successfully, but these errors were encountered:
anka-213
changed the title
Mistakenly trying to derive instances on a class itself causes a crash
Parse errors on deriving clauses a class itself causes a crash
Sep 22, 2024
I was trying to add deriving to all my data types with a naive regex which caused the following code:
Trying to run agda2hs on it gives the following error:
Not that anyone should do this, but the error message said it's a bug, so I might as well report it so mistakes like these can get better error messages.
The text was updated successfully, but these errors were encountered: