git.iko.soy/elk
on 63243ca help sign in
history ofcompiler/Type/ExtraChecks.hs
all commits
63243caMinor changes to checks for portsEvan Czaplicki fe3b343Make port checks more permissiveEvan Czaplicki 2a0a0e6Simplify SourceSyntax.Type AST, making record extension more restrictive as discussed with @maxsnewEvan Czaplicki a97b995Add checks for port types to ensure that only JS values go through ports and that type annotations are correct and consistentEvan Czaplicki 6eb84d8Make error message prettierEvan Czaplicki c966776Add -W flag to many files, mostly getting rid of dead importsEvan Czaplicki f73a6ffAdd an occurs check to finally resolve #294Evan Czaplicki 18c67cbProperly perform extraChecksEvan Czaplicki b5979b4Add occurs check and a test to make sure it worksEvan Czaplicki 70f1242Check that main is a Signal or (Signal Element), add tests for this caseEvan Czaplicki 4da7588Add the ExtraChecks module to do occurs check and check the type of mainEvan Czaplicki