Test that an inferred type a can be unified with an annotated type number.
This is a regression from 0.15.1 to 0.16-alpha3.
Related to #1143
commitefb86bc67ff6ea380332c91f9acc6cb6c46eba8c
authorMax Goldstein <maxgoldstein1@gmail.com>
dateWed 11 Nov 2015, 11:14 (11 years ago)
parentfb5c30b
tests/test-files/good/Soundness/SpecificAnnotationNumber.elmnew file+2
@@ -0,0 +1,2 @@
1+px : number -> String
2+px x = "test"