Fixed matchApply to use Prim__MatchApply
Instead of Prim__Apply as it dit before
commit923ef5fcc2d2e7f2e10f6e833a57aea5c0e464a0
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateTue 8 Mar 2016, 14:01 (11 years ago)
parentf173060
libs/prelude/Language/Reflection/Elab.idr+1−1
@@ -335,7 +335,7 @@ namespace Tactics
335335
336336 export
337337 matchApply : (op : Raw) -> (argSpec : List Bool) -> Elab (List TTName)
338− matchApply tm argSpec = map snd <$> Prim__Apply tm argSpec
338+ matchApply tm argSpec = map snd <$> Prim__MatchApply tm argSpec
339339
340340 ||| Move the focus to the specified hole. Fails if the hole does not
341341 ||| exist.