diff options
author | Tom Smeding <t.j.smeding@uu.nl> | 2025-04-06 17:07:22 +0200 |
---|---|---|
committer | Tom Smeding <t.j.smeding@uu.nl> | 2025-04-06 17:07:22 +0200 |
commit | 0a9e6dfc1accf9dc0254f0c720f633dab6e71f42 (patch) | |
tree | 754eaeecf01e554d7ad904c27a9b665879441ca0 /src/Compile.hs | |
parent | b6c1d3a9d0651aa25ea5f03d514a214a3347f7a4 (diff) |
Diffstat (limited to 'src/Compile.hs')
-rw-r--r-- | src/Compile.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Compile.hs b/src/Compile.hs index 7bbb043..2a184f7 100644 --- a/src/Compile.hs +++ b/src/Compile.hs @@ -7,7 +7,7 @@ {-# LANGUAGE MultiWayIf #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE TypeApplications #-} -module Compile (compile, debugCSource, debugRefc, emitChecks) where +module Compile (compile) where import Control.Applicative (empty) import Control.Monad (forM_, when, replicateM) @@ -71,7 +71,7 @@ compile :: SList STy env -> Ex env t compile = \env expr -> do let source = compileToString env expr when debugPrintAST $ hPutStrLn stderr $ "Compiled AST: <<<\n" ++ ppExpr env expr ++ "\n>>>" - when debugCSource $ hPutStrLn stderr $ "Generated C source: <<<\n\x1B[2m" ++ source ++ "\x1B[0m>>>" + when debugCSource $ hPutStrLn stderr $ "Generated C source: <<<\n\x1B[2m" ++ lineNumbers source ++ "\x1B[0m>>>" lib <- buildKernel source ["kernel"] let arg_metrics = reverse (unSList metricsSTy env) |