Depending on what modules you have in scope, case splitting might not find the correct one: For example, after installing purescript-lists, if you tell it you want List as the "type", it finds Data.List.Lazy.Types.List:
$ rlwrap purs ide client
{"command": "caseSplit", "params": {"line": "elem a as", "begin": 7, "end": 9, "annotations": true, "type": "List"}}
{"result":["elem a (List ( _ :: (Lazy (Step a))))"],"resultType":"success"}If you give it a fully qualified name, it still finds the wrong one:
$ rlwrap purs ide client
{"command": "caseSplit", "params": {"line": "elem a as", "begin": 7, "end": 9, "annotations": true, "type": "Data.List.Types.List"}}
{"result":["elem a (List ( _ :: (Lazy (Step a))))"],"resultType":"success"}
Depending on what modules you have in scope, case splitting might not find the correct one: For example, after installing
purescript-lists, if you tell it you wantListas the"type", it findsData.List.Lazy.Types.List:If you give it a fully qualified name, it still finds the wrong one: