From 2b2d190eba65ca1751872cb08eac4672c2aea06f Mon Sep 17 00:00:00 2001 From: Finn Teegen Date: Fri, 5 Oct 2018 13:39:39 +0200 Subject: [PATCH] Consider external data declarations when AbstractCurry is generated --- CHANGELOG.md | 2 ++ src/Generators/GenAbstractCurry.hs | 3 +++ 2 files changed, 5 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index ba0a86d4..70bc31d6 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -7,6 +7,8 @@ Version 1.0.2 (under development) * Fixed bug with wrong type of free variables in the intermediate language. * Fixed bug with generated default implementations of nullary class methods. * Fixed bug in desugaring of record patterns. + * Fixed bug that external data declarations weren't considered when + AbstractCurry was generated Version 1.0.1 ============= diff --git a/src/Generators/GenAbstractCurry.hs b/src/Generators/GenAbstractCurry.hs index 0420ca3b..833a9fba 100644 --- a/src/Generators/GenAbstractCurry.hs +++ b/src/Generators/GenAbstractCurry.hs @@ -150,6 +150,9 @@ trTypeDecl (NewtypeDecl _ t vs nc clss) = <$> trGlobalIdent t <*> getTypeVisibility t <*> mapM genTVarIndex vs <*> trNewConsDecl nc <*> mapM trQual clss +trTypeDecl (ExternalDataDecl _ t vs) = + (\t' v vs' -> [CType t' v vs' [] []]) + <$> trGlobalIdent t <*> getTypeVisibility t <*> mapM genTVarIndex vs trTypeDecl _ = return [] trConsDecl :: ConstrDecl -> GAC CConsDecl -- GitLab