From a53c5b4fbaa4cb86d80f7fe4f72bd26ce1ea5ef1 Mon Sep 17 00:00:00 2001 From: Steve Dunham Date: Mon, 29 Sep 2025 10:50:22 -0700 Subject: [PATCH] cleanup --- src/Lib/Compile.newt | 1 - src/Lib/Types.newt | 3 --- 2 files changed, 4 deletions(-) diff --git a/src/Lib/Compile.newt b/src/Lib/Compile.newt index efe7491..dfaefaf 100644 --- a/src/Lib/Compile.newt +++ b/src/Lib/Compile.newt @@ -438,7 +438,6 @@ eraseEntries = do -- given a initial function, return a dependency-ordered list of javascript source process : QName → M (List Doc) process name = do - let wat = QN ("Prelude" :: Nil) "arrayToList" top <- getTop entries <- getEntries emptyMap name diff --git a/src/Lib/Types.newt b/src/Lib/Types.newt index 031a9af..6741266 100644 --- a/src/Lib/Types.newt +++ b/src/Lib/Types.newt @@ -467,9 +467,6 @@ withPos (MkCtx lvl env types bds ctxFC) fc = (MkCtx lvl env types bds fc) names : Context -> List String names ctx = map fst ctx.types --- public export --- M : U -> U --- M = (StateT TopContext (EitherT Error IO)) record M a where constructor MkM