git.iko.soy/elk
on master help sign in
Test that an inferred type a can be unified with an annotated type number.
efb86bcMax Goldstein
tests/test-files/good/Soundness/SpecificAnnotationNumber.elmnew file+2
compare with master
unifiedsplit
@@ -0,0 +1,2 @@
1+px : number -> String
2+px x = "test"