mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-23 08:18:04 +03:00
added an additional test
This commit is contained in:
parent
d1f653dd01
commit
5901c2f8e5
@ -179,6 +179,19 @@ test = scope "typechecker" . tests $
|
||||
|
|
||||
|()
|
||||
|]
|
||||
, checks [r|--State1a effect
|
||||
|effect State se2 where
|
||||
| put : ∀ se . se -> {State se} ()
|
||||
| get : ∀ se . () -> {State se} se
|
||||
|
|
||||
|id : Int64 -> Int64
|
||||
|id i = i
|
||||
|
|
||||
|foo : () -> {State Int64} Int64
|
||||
|foo unit = id (State.get() +_Int64 State.get())
|
||||
|
|
||||
|()
|
||||
|]
|
||||
, checks [r|--State2 effect
|
||||
|effect State se2 where
|
||||
| put : ∀ se . se -> {State se} ()
|
||||
|
Loading…
Reference in New Issue
Block a user