This commit is contained in:
Andreas Rumpf 2019-03-25 19:26:38 +01:00 • committed by GitHub
commit 8e1c6e2e2d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 1 deletions

View file

@ -49,3 +49,8 @@ let
aaa = t 2 + 4
ccc = t (1, 1) + 6
ddd = t [0, 1, 2] + 5
# bug #10896
const
test =
proc(): int = 1