Stopped abbreviations of arrays of records being pulled up

This commit is contained in:
Neil Brown 2009-04-08 12:13:23 +00:00
parent dc64b5e664
commit 1e21895276

View File

@ -236,6 +236,7 @@ removeNesting = pass "Pull nested definitions to top level"
-- C doesn't allow us to pull up pointers to records to the top-level
abbrevRecord :: A.SpecType -> Bool
abbrevRecord (A.Is _ _ (A.Record {}) _) = True
abbrevRecord (A.Is _ _ (A.Array _ (A.Record {})) _) = True
abbrevRecord _ = False