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