Error when compiling a class definition with `NoImplicitPrelude`
Compiling the following Curry program with the frontend
{-# LANGUAGE NoImplicitPrelude #-}
class A a where
funA :: a -> a
produces the following error message.
curry-frontend: Internal error: Dictionary.funType QualIdent {qidSpanInfo = SpanInfo {srcSpan = Span {file = "", start = NoPos, end = NoPos}, srcInfoPoints = []}, qidModule = Just (ModuleIdent {midSpanInfo = NoSpanInfo, midQualifiers = ["Prelude"]}), qidIdent = Ident {idSpanInfo = NoSpanInfo, idName = "error", idUnique = 0}}
The problem is a result of the default implementation of the class method funA
, which uses the error
function from the Prelude
. But the Prelude
is not available due to the language extension NoImplicitPrelude
.