diff options
Diffstat (limited to 'test/Main.hs')
| -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 |