git.iko.soy/elk
on edd4fbb help sign in
history ofcompiler/Type/ExtraChecks.hs
all commits
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