../ Constrain/Capture the entire type of the handler for incoming ports13 years ago Alias.hsAdd basics of "deriving" for ADTs and type aliases. Only parse it for type aliases at the moment.13 years ago Environment.hsAdd -W flag to many files, mostly getting rid of dead imports13 years ago ExtraChecks.hsAdd checks for port types to ensure that only JS values go through ports and that type annotations are correct and consistent13 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.hsAdd type annotations and make some -W recommendations13 years ago Unify.hsAdd -W flag to many files, mostly getting rid of dead imports13 years ago