../ Apply.elmAdd some basic test files for the type checker.13 years ago Soundness.elmSwitch the internal data constructor name for tuples. Before tuple constructors could be shadowed by user defined ADT's such as "Tuple0", "Tuple2", etc. Now it uses "_Tuple0" to make it impossible to overlap with user defined ASTs.13 years ago Soundness1.elmUpdate tests to be actual programs, not just expressions. Content stays the same.13 years ago Soundness2.elmUpdate tests to be actual programs, not just expressions. Content stays the same.13 years ago Soundness3.elmUpdate tests to be actual programs, not just expressions. Content stays the same.13 years ago SoundnessAnnotated1.elmUpdate tests to be actual programs, not just expressions. Content stays the same.13 years ago SoundnessAnnotated2.elmUpdate tests to be actual programs, not just expressions. Content stays the same.13 years ago SoundnessAnnotated3.elmUpdate tests to be actual programs, not just expressions. Content stays the same.13 years ago