json_output.golden

LIQUID
[{"start":{"line":9,"column":1},"stop":{"line":9,"column":12},"message":"Type Mismatch\n    .\n    The inferred type\n      VV : {v : GHC.Types.Int | v == 7}\n    .\n    is not a subtype of the required type\n      VV : {VV : GHC.Types.Int | VV mod 2 == 0}\n    ."}]