shithub: MicroHs

Download patch

ref: e79b45958f527c80952d6cdc4f46c5bb61c5b51d
parent: af3fc6e91ab6cfd87e58dc832f006364d7d24633
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Fri Oct 6 06:45:43 EDT 2023

Export sequence

--- a/src/MicroHs/TCMonad.hs
+++ b/src/MicroHs/TCMonad.hs
@@ -5,6 +5,7 @@
   (>>=), (>>), return, fail,
   get, put, gets,
   mapM, mapM_,
+  sequence,
   when,
   tcError
   ) where
--