[
    {
        "kind": 0,
        "message": "Unexpected 'case'",
        "start": 7,
        "length": 4
    },
    {
        "kind": 0,
        "message": "';' expected.",
        "start": 14,
        "length": 0
    },
    {
        "kind": 0,
        "message": "Unexpected ':'",
        "start": 14,
        "length": 1
    }
]