aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Mixed/Lemmas.hs
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-06-09 17:59:58 +0200
committerTom Smeding <tom@tomsmeding.com>2024-06-09 17:59:58 +0200
commitcb98a56767d50fe92790ae4f48a3efbb28aab90a (patch)
tree7f67f16d01ebd365d961da2b83a7272668c46038 /src/Data/Array/Mixed/Lemmas.hs
parentfcda1579ee4021e71272deb1aebb8c8e404cc4cd (diff)
Hide .Trace module behind a flag (trace-wrappers)
Pending https://gitlab.haskell.org/ghc/ghc/-/issues/24964
Diffstat (limited to 'src/Data/Array/Mixed/Lemmas.hs')
0 files changed, 0 insertions, 0 deletions