Remove obsolete Elab primitive from Term.hs
commit5323b12865eba0dac434267c8ceb730e2a5ac307
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateFri 16 Oct 2015, 01:41 (11 years ago)
parent5330e8a
src/Idris/Elab/Term.hs+1−1
@@ -1884,7 +1884,7 @@ runElabAction ist fc env tm ns = do tm' <- eval tm
18841884 try' (runTacTm first') (runTacTm alt') True
18851885 | n == tacN "prim__Fill", [raw] <- args
18861886 = do raw' <- reifyRaw =<< eval raw
1887− fill raw'
1887+ apply raw' []
18881888 returnUnit
18891889 | n == tacN "prim__Apply" || n == tacN "prim__MatchApply"
18901890 , [raw, argSpec] <- args