fix typo in test (Int instead of Int64)

This commit is contained in:
Paul Chiusano 2018-06-21 18:31:05 -04:00
parent ae72fa22c7
commit b24e8b218e

View File

@ -293,7 +293,7 @@ test = scope "typechecker" . tests $
| |
|foo : () -> {IO} () |foo : () -> {IO} ()
|foo unit = |foo unit =
| inc-by : Int64 -> {IO, State Int} () | inc-by : Int64 -> {IO, State Int64} ()
| inc-by i = | inc-by i =
| IO.launch-missiles() -- OK, since declared by `inc-by` signature | IO.launch-missiles() -- OK, since declared by `inc-by` signature
| y = State.get() | y = State.get()