../ Constrain/Simplify SourceSyntax.Type AST, making record extension more restrictive as discussed with @maxsnew13 years ago Alias.hsSimplify SourceSyntax.Type AST, making record extension more restrictive as discussed with @maxsnew13 years ago Environment.hsSimplify SourceSyntax.Type AST, making record extension more restrictive as discussed with @maxsnew13 years ago ExtraChecks.hsSimplify SourceSyntax.Type AST, making record extension more restrictive as discussed with @maxsnew13 years ago Fragment.hsUse new Located datastructure, add source strings where appropriate13 years ago Inference.hsAdd checks for port types to ensure that only JS values go through ports and that type annotations are correct and consistent13 years ago PrettyPrint.hsreprime when printing types13 years ago Solve.hsAdd checks for port types to ensure that only JS values go through ports and that type annotations are correct and consistent13 years ago State.hsAdd -W flag to many files, mostly getting rid of dead imports13 years ago Type.hsSimplify SourceSyntax.Type AST, making record extension more restrictive as discussed with @maxsnew13 years ago Unify.hsAdd -W flag to many files, mostly getting rid of dead imports13 years ago