Commit 65ebfc10 authored by Finn Teegen's avatar Finn Teegen
Browse files

Fix translation of external data declarations in FlatCurry generator

parent bddf9fa8
......@@ -260,7 +260,10 @@ trTypeDecl (IL.DataDecl qid a cs) = do
vis <- getTypeVisibility qid
cs' <- mapM trConstrDecl cs
return [Type q' vis [0 .. a - 1] cs']
trTypeDecl (IL.ExternalDataDecl qid a) = trTypeDecl (IL.DataDecl qid a [])
trTypeDecl (IL.ExternalDataDecl qid a) = do
q' <- trQualIdent qid
vis <- getTypeVisibility qid
return [Type q' vis [0 .. a - 1] []]
trTypeDecl _ = return []
-- Translate a constructor declaration
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment