Commit 9246be3d authored by Iavor S. Diatchki's avatar Iavor S. Diatchki

Update test to reflect the improved printing of data declarations.

parent 4de8de2a
==================== Parser ====================
module ShouldCompile where
data <--> a b = Mk a b
data (<-->) a b = Mk a b
test ::
[a] <document comment> -> (a <--> (b -> [a])) <document comment>
test xs ys = xs
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment