Skip to content

GitLab

Open
Created by Jan-Hendrik Matthes@stu113804😄Developer

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.