File tree Expand file tree Collapse file tree 1 file changed +20
-3
lines changed Expand file tree Collapse file tree 1 file changed +20
-3
lines changed Original file line number Diff line number Diff line change @@ -70,7 +70,24 @@ module Expr =
7070 let ``2 - layers quot comb associative [ PowerPack ] `` () = `` 2-layers quot comb associative `` powerpack
7171
7272
73- let ``simple computation expression`` evaluator =
73+ let ``simple CE same type`` evaluator =
74+ let expr = monad {
75+ let! x = <@ 1 @>
76+ let! y = <@ 2 @>
77+ return ! <@ x + y @>
78+ }
79+ let res = Expr.run evaluator expr
80+
81+ areEqual 3 res
82+
83+ [<Test>]
84+ let ``simple CE same type [ Unquote ] `` () = `` simple CE same type `` unquote
85+
86+ [<Test>]
87+ let ``simple CE same type [ PowerPack ] `` () = `` simple CE same type `` powerpack
88+
89+
90+ let ``simple CE different types`` evaluator =
7491 let expr = monad {
7592 let! x = <@ 1 @>
7693 let! y = <@ " 2" @>
@@ -81,7 +98,7 @@ module Expr =
8198 areEqual " 12" res
8299
83100 [<Test>]
84- let ``simple computation expression [ Unquote ] `` () = `` simple computation expression `` unquote
101+ let ``simple CE different types [ Unquote ] `` () = `` simple CE different types `` unquote
85102
86103 [<Test>]
87- let ``simple computation expression [ PowerPack ] `` () = `` simple computation expression `` powerpack
104+ let ``simple CE different types [ PowerPack ] `` () = `` simple CE different types `` powerpack
You can’t perform that action at this time.
0 commit comments