Browse Source

Fix traces placement in Infer

main
Gil Mizrahi 6 months ago
parent
commit
24bf42ca07
1 changed files with 2 additions and 2 deletions
  1. +2
    -2
      src/frontend/src/Language/Giml/Types/Infer.hs

+ 2
- 2
src/frontend/src/Language/Giml/Types/Infer.hs View File

@@ -49,9 +49,9 @@ import Debug.Trace (trace, traceM)
-- | Infer the types for all expressions in a source file
infer :: File InputAnn -> Either TypeErrorA (File Ann)
infer file = do
-- pltraceM "elaborated" elaborated
(elaborated, s) <- elaborate builtinDatatypes (fmap bType builtins) file
-- pltraceM "constraints" $ map S.toList constraints
-- pltraceM "elaborated" elaborated
-- pltraceM "constraints" $ map S.toList (esConstraints s)
(sub, _) <- foldM
( \(acc, seed) ->
fmap


Loading…
Cancel
Save