@@ -48,7 +48,9 @@ buildFromSource noPrelude interfaces source =
49 types <- TI.infer interfaces metaModule
49 types <- TI.infer interfaces metaModule
51− let exports' | null exs = Map.keys types
51+ let exports' | null exs =
53+ concat [ map fst ctors | (_,_,ctors) <- datatypes metaModule ]
52 | otherwise = exs
54 | otherwise = exs
54 return $ metaModule { types = types, exports = exports' }
56 return $ metaModule { types = types, exports = exports' }