ref: 98002b3a7b1788973b3eb0fce2d50fca447a92c8
parent: 840f1dc788be933c4bd2a526240d8504bbb0d89f
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Thu Oct 26 14:58:44 EDT 2023
More debug.
--- a/src/MicroHs/TypeCheck.hs
+++ b/src/MicroHs/TypeCheck.hs
@@ -1185,6 +1185,7 @@
Fcn i eqns -> T.do
(_, tt) <- tLookup "no type signature" "many type signatures" i
-- traceM $ "tcDefValue: " ++ showIdent i ++ " :: " ++ showExpr tt
+-- traceM $ showEDefs [adef]
mn <- gets moduleName
teqns <- tcEqns tt eqns
-- traceM (showEDefs [Fcn i eqns, Fcn i teqns])
--
⑨