Skip to content

Commit

Permalink
remove dbgTraceIt
Browse files Browse the repository at this point in the history
  • Loading branch information
vidsinghal committed Nov 19, 2024
1 parent e4acd28 commit 7c146b0
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions gibbon-compiler/src/Gibbon/Passes/ReorderScalarWrites.hs
Original file line number Diff line number Diff line change
Expand Up @@ -169,12 +169,12 @@ writeOrderMarkers (Prog ddefs fundefs mainExp) = do
Just rloc@(RegionLocs locs allocated_to) ->
let locs_before = takeWhile (/= loc) locs in
case locs_before of
[] -> let ret = dbgTraceIt (sdoc locs_before) (True, locs_before, reg, rloc)
[] -> let ret = (True, locs_before, reg, rloc)
in ret
_ ->
let freev = L2.allFreeVars rhs `S.union` L2.allFreeVars bod
locs_before' = filter (\x -> S.member x freev) locs_before
in dbgTraceIt (sdoc (locs_before, freev, loc, locs, locs_before')) (S.isProperSubsetOf (S.fromList locs_before') allocated_to, locs_before', reg, rloc)
in (S.isProperSubsetOf (S.fromList locs_before') allocated_to, locs_before', reg, rloc)

findTyCon :: LocVar -> L2.Exp2 -> TyCon
findTyCon want e =
Expand Down

0 comments on commit 7c146b0

Please sign in to comment.