@@ -196,7 +196,6 @@ process fn (ExecVal t)
196 = do ctxt <- getContext
196 = do ctxt <- getContext
197 ist <- getIState
197 ist <- getIState
198 (tm, ty) <- elabVal toplevel False t
198 (tm, ty) <- elabVal toplevel False t
199− trace (show tm) $ return ()
200-- let tm' = normaliseAll ctxt [] tm
199-- let tm' = normaliseAll ctxt [] tm
201 let ty' = normaliseAll ctxt [] ty
200 let ty' = normaliseAll ctxt [] ty
202 res <- execute tm
201 res <- execute tm