Evan Czaplicki
1a1aff1bc8
restrict incoming ports to disallow data structures that contain signals, only "top-level" signals are allowed
2014-01-16 18:28:07 +01:00
Evan Czaplicki
b5e731122d
Improve error messages as described in a list discussion
...
https://groups.google.com/forum/#!topic/elm-discuss/X4V4edxeFKI
2014-01-15 19:22:19 +01:00
Evan Czaplicki
bc6ac142ae
Disallow signals-of-signals, functions that involve signals, and signals of functions
2014-01-14 13:28:43 +01:00
Evan Czaplicki
461abc0c6f
Correct check for outgoing higher order functions
...
A function can appear arbitrarily nested in a data structure, but that
function cannot have more functions within it.
2014-01-14 12:49:22 +01:00
Evan Czaplicki
63243ca457
Minor changes to checks for ports
2014-01-13 19:24:39 +01:00
Evan Czaplicki
fe3b3439b7
Make port checks more permissive
2014-01-13 13:52:18 +01:00
Evan Czaplicki
2a0a0e6e3c
Simplify SourceSyntax.Type AST, making record extension more restrictive as discussed with @maxsnew
2014-01-13 11:01:10 +01:00
Evan Czaplicki
a97b9951d0
Add checks for port types to ensure that only JS values go through ports and that type annotations are correct and consistent
2014-01-05 10:41:40 +01:00
Evan Czaplicki
6eb84d82d7
Make error message prettier
2014-01-04 16:46:38 +01:00
Evan Czaplicki
c966776788
Add -W flag to many files, mostly getting rid of dead imports
2014-01-04 10:54:46 +01:00
Evan Czaplicki
f73a6ff9f9
Add an occurs check to finally resolve #294
...
Add it in the more clever location suggested by Pottier and Remy. Also
change the style of error messages to get rid of the expected/actual
problem for now, and make hints read more smoothly.
2013-11-19 22:31:38 -08:00
Evan Czaplicki
18c67cb345
Properly perform extraChecks
2013-08-21 19:45:23 -07:00
Evan Czaplicki
b5979b4aaf
Add occurs check and a test to make sure it works
2013-08-19 22:39:41 -07:00
Evan Czaplicki
70f1242bd0
Check that main is a Signal or (Signal Element), add tests for this case
2013-08-19 17:47:37 -07:00
Evan Czaplicki
4da7588d10
Add the ExtraChecks module to do occurs check and check the type of main
2013-08-19 16:54:46 -07:00
