@@ -11,6 +11,7 @@ import System.FilePath as FP
1111import Text.PrettyPrint (Doc)
1212
1313import SourceSyntax.Everything
14+import qualified SourceSyntax.Type as Type
1415import qualified Parse.Parse as Parse
1516import qualified Metadata.Prelude as Prelude
1617import qualified Transform.Check as Check
@@ -34,7 +35,8 @@ buildFromSource noPrelude interfaces source =
3435 | null exs =
3536 let get = Set.toList . SD.boundVars in
3637 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 ]
3840 | otherwise = exs
3941
4042 metaModule <- Canonical.metadataModule interfaces $ MetadataModule {