add /pure and /bind to do-block calls

HigherOrderCO · Oct 18, 2024 · af10c14 · af10c14
1 parent 6198eaa
commit af10c14
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Kind/Parse.hs b/src/Kind/Parse.hs
@@ -485,8 +485,8 @@ desugarDo :: DoBlck -> Parser Term
 desugarDo (DoBlck name stmts wrap ret) = do
   (_, uses) <- P.getState
   let exName = expandUses uses name
-  let mkBind = \ x exp acc -> App (App (App (App (Ref (exName ++ "bind")) (Met 0 [])) (Met 0 [])) exp) (Lam x (\_ -> acc))
-  let mkWrap = \ ret -> App (App (Ref (exName ++ "pure")) (Met 0 [])) ret
+  let mkBind = \ x exp acc -> App (App (App (App (Ref (exName ++ "/bind")) (Met 0 [])) (Met 0 [])) exp) (Lam x (\_ -> acc))
+  let mkWrap = \ ret -> App (App (Ref (exName ++ "/pure")) (Met 0 [])) ret
   return $ foldr (\stmt acc ->
     case stmt of
       DoBind x exp -> mkBind x exp acc