@@ -11,6 +11,7 @@ import System.FilePath as FP
11import Text.PrettyPrint (Doc)
11import Text.PrettyPrint (Doc)
13import SourceSyntax.Everything
13import SourceSyntax.Everything
14+import qualified SourceSyntax.Type as Type
14import qualified Parse.Parse as Parse
15import qualified Parse.Parse as Parse
15import qualified Metadata.Prelude as Prelude
16import qualified Metadata.Prelude as Prelude
16import qualified Transform.Check as Check
17import qualified Transform.Check as Check
@@ -34,7 +35,8 @@ buildFromSource noPrelude interfaces source =
34 | null exs =
35 | null exs =
35 let get = Set.toList . SD.boundVars in
36 let get = Set.toList . SD.boundVars in
36 concat [ get pattern | Definition (Def pattern _) <- decls ] ++
37 concat [ get pattern | Definition (Def pattern _) <- decls ] ++
37− concat [ map fst ctors | Datatype _ _ ctors <- decls ]
38+ concat [ map fst ctors | Datatype _ _ ctors <- decls ] ++
39+ [ name | TypeAlias name _ (Type.Record _ _) <- decls ]
38 | otherwise = exs
40 | otherwise = exs
40 metaModule <- Canonical.metadataModule interfaces $ MetadataModule {
42 metaModule <- Canonical.metadataModule interfaces $ MetadataModule {