Skip to content
Snippets Groups Projects
Commit 743372e3 authored by Andreas Klebinger's avatar Andreas Klebinger
Browse files

Update testsuite rests to adjust for outcomes from constructors being tagged.

parent 9b27cd3d
No related branches found
No related tags found
No related merge requests found
Pipeline #55806 failed
d = (_t1::forall {k} {a :: k}. D a)
d = <D>
()
Breakpoint 0 activated at Test.hs:40:10-17
Stopped in Test.Test2.poly, Test.hs:40:10-17
_result :: () = _
x :: a = _
x = (_t1::a)
x :: a
x :: Unary = Unary
x = Unary
x :: Unary
()
x = Unary
x :: Unary
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment