diff --git a/CHANGELOG.md b/CHANGELOG.md index ba0a86d40c373e3d9eb13b2328c1e4da59fed236..70bc31d659ff77e0cf21868ae9425ce16f7ba5e4 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 0420ca3b0ecbaff7469f7db45415a4e7e9c59be6..833a9fbafdd41c0f0edb17a6cbb53283a2984ae2 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