git.iko.soy/elk
on b00a8cb help sign in
history ofcompiler/Type/ExtraChecks.hs
all commits
1a1aff1restrict incoming ports to disallow data structures that contain signals, only "top-level" signals are allowedEvan Czaplicki b5e7311Improve error messages as described in a list discussionEvan Czaplicki bc6ac14Disallow signals-of-signals, functions that involve signals, and signals of functionsEvan Czaplicki 461abc0Correct check for outgoing higher order functionsEvan Czaplicki 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