git.iko.soy/elk
on 577fc17 help sign in
history ofcompiler/Type/ExtraChecks.hs
all commits
52ecd6bUpdate changelog and error messages for type aliases in port typesEvan Czaplicki 6c3be9bcosmetic: make "infer" more clear with ErrorTEvan Czaplicki 07907a0Remove the Type.Alias moduleEvan Czaplicki e2a0b46Take steps to allow higher kinded polymorphismEvan Czaplicki e99d840Merge branch 'stable' into canonicalizeEvan Czaplicki f99ac97Allow Arrays to pass through portsMax Goldstein a88ed26Switch imports from SourceSyntax to ASTEvan Czaplicki 69dfa97Update error for bad values being sent through portsEvan Czaplicki 32b7c18Allow Json.Value through portsEvan Czaplicki d80f00eStop permitting JSNumber, JSString, etc. through ports because they no longer existEvan Czaplicki 9dd5dffMake AST more general and try to give its phases better namesEvan Czaplicki 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