diff options
| author | Alasdair | 2019-03-08 00:16:47 +0000 |
|---|---|---|
| committer | Alasdair | 2019-03-08 00:18:59 +0000 |
| commit | f0b4a103325e150faa3c2bd0a06594b2e62fae43 (patch) | |
| tree | 7dc58fcaf5677b1891a0a1c35811ba7cb6867f75 /test/typecheck | |
| parent | dc433c92714e7ea4485a87cfec3b07a3c36910d8 (diff) | |
Fix: Never consider single variable types to be ambiguous
Diffstat (limited to 'test/typecheck')
| -rw-r--r-- | test/typecheck/pass/plus_one_unify.sail | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/typecheck/pass/plus_one_unify.sail b/test/typecheck/pass/plus_one_unify.sail new file mode 100644 index 00000000..0dceaa4c --- /dev/null +++ b/test/typecheck/pass/plus_one_unify.sail @@ -0,0 +1,6 @@ + +val f2 : forall 'm, 'm in {0,1}. (int('m+1)) -> int + +function f2(_) = 3 + +let x = f2(1)
\ No newline at end of file |