diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-02-25 23:56:16 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-02-25 23:56:16 +0100 |
| commit | 7fa10a9a07c7160531baf595d1111277c17a38b2 (patch) | |
| tree | 24b7263da33490d954b063926d509e1a10193687 /test | |
| parent | 2c2b80264ae5777f0a759abb5571cbe68071c7e7 (diff) | |
Compile: Emit structs in proper order
Diffstat (limited to 'test')
| -rw-r--r-- | test/Main.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Main.hs b/test/Main.hs index b234aa2..dde2c3d 100644 --- a/test/Main.hs +++ b/test/Main.hs @@ -212,7 +212,7 @@ adTestGen expr envGenerator = property $ do scFwd = envScalars env gradFwd scCHAD = envScalars env gradCHAD scCHAD_S = envScalars env gradCHAD_S - annotate (concat (unSList (\t -> ppTy 0 t ++ " -> ") env) ++ ppTy 0 (typeOf expr)) + annotate (concat (unSList (\t -> ppSTy 0 t ++ " -> ") env) ++ ppSTy 0 (typeOf expr)) -- annotate (ppExpr knownEnv expr) -- annotate ppdterm -- annotate ppdterm_S |