Typeclass instance for a partially-applied type synonym should fail with a proper error. #242
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
{{ message }}
FunctorCrash.bs.txt
The attached test case fails with:
Internal Bluespec Compiler Error:
Please report this failure to your Bluespec technical contact.
If you do not know your contact, you may email [email protected].
The following internal error message should be included in your
correspondence along with any other relevant details:
Bluespec Compiler (build 16071ee)
expandSyn,truncType
(1, 0, FunctorCrash.Functor FunctorCrash.Foo, FunctorCrash.Bar (TGen 0) (TGen 0))
I don't think this can actually work (instance-matching against a partially-applied type synonym doesn't make sense), but it should fail with a proper error.
The text was updated successfully, but these errors were encountered: