@@ -42,12 +42,14 @@ Library
4242 SourceSyntax.Location,
4343 SourceSyntax.Module,
4444 SourceSyntax.Pattern,
45+ SourceSyntax.PrettyPrint,
4546 SourceSyntax.Type,
4647 Generate.JavaScript,
4748 Generate.Noscript,
4849 Generate.Html,
4950 Generate.Cases,
5051 Transform.Canonicalize,
52+ Transform.Check,
5153 Transform.SortDefinitions,
5254 Transform.Substitute,
5355 Transform.Optimize,
@@ -68,6 +70,8 @@ Library
6870 Type.Constrain.Pattern,
6971 Type.Environment,
7072 Type.Fragment,
73+ Type.Inference,
74+ Type.PrettyPrint,
7175 Type.Solve,
7276 Type.State,
7377 Type.Type,
@@ -109,12 +113,14 @@ Executable elm
109113 SourceSyntax.Location,
110114 SourceSyntax.Module,
111115 SourceSyntax.Pattern,
116+ SourceSyntax.PrettyPrint,
112117 SourceSyntax.Type,
113118 Generate.JavaScript,
114119 Generate.Noscript,
115120 Generate.Html,
116121 Generate.Cases,
117122 Transform.Canonicalize,
123+ Transform.Check,
118124 Transform.SortDefinitions,
119125 Transform.Substitute,
120126 Transform.Optimize,
@@ -135,6 +141,8 @@ Executable elm
135141 Type.Constrain.Pattern,
136142 Type.Environment,
137143 Type.Fragment,
144+ Type.Inference,
145+ Type.PrettyPrint,
138146 Type.Solve,
139147 Type.State,
140148 Type.Type,