From 5901c2f8e5f3a553e0b492a251e2f4a72355b913 Mon Sep 17 00:00:00 2001 From: Paul Chiusano Date: Thu, 21 Jun 2018 17:44:55 -0400 Subject: [PATCH] added an additional test --- parser-typechecker/tests/Unison/Test/Typechecker.hs | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/parser-typechecker/tests/Unison/Test/Typechecker.hs b/parser-typechecker/tests/Unison/Test/Typechecker.hs index f1a1bd07e..0dc5950a3 100644 --- a/parser-typechecker/tests/Unison/Test/Typechecker.hs +++ b/parser-typechecker/tests/Unison/Test/Typechecker.hs @@ -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} ()