renderOneLine should render to one line

CHANGES.md

@@ -13,6 +13,10 @@
 
 ## New features
 
+* REPL command `:dumptests <FILE> <EXPR>` updated to write to stdout when
+  invoked as `:dumptests - <EXPR>` allowing for easier experimentation and
+  testing.
+
 # 3.2.0 -- 2024-08-20
 
 ## Language changes

src/Cryptol/REPL/Command.hs

@@ -351,6 +351,7 @@ commandList  =
              , "expression into a file. The first column in each line is"
              , "the expected output, and the remainder are the inputs. The"
              , "number of tests is determined by the \"tests\" option."
+             , "Use filename \"-\" to write tests to stdout."
              ])
     ""
   , CommandDescr [ ":generate-foreign-header" ] ["FILE"] (FilenameArg genHeaderCmd)
@@ -473,12 +474,13 @@ dumpTestsCmd outFile str pos fnm =
          Nothing -> raise (TypeNotTestable ty)
          Just gens -> return gens
      tests <- withRandomGen (\g -> io $ TestR.returnTests' g gens val testNum)
-     out <- forM tests $
+     outs <- forM tests $
             \(args, x) ->
               do argOut <- mapM (rEval . E.ppValue Concrete ppopts) args
                  resOut <- rEval (E.ppValue Concrete ppopts x)
                  return (renderOneLine resOut ++ "\t" ++ intercalate "\t" (map renderOneLine argOut) ++ "\n")
-     writeResult <- io $ X.try (writeFile outFile (concat out))
+     let out = concat outs
+     writeResult <- io (X.try (if outFile == "-" then putStr out else writeFile outFile out))
      case writeResult of
        Right{} -> pure emptyCommandResult
        Left e ->

src/Cryptol/Utils/PP.hs

@@ -174,7 +174,11 @@ instance IsString Doc where
   fromString = text
 
 renderOneLine :: Doc -> String
-renderOneLine d = PP.renderString (PP.layoutCompact (runDocWith defaultPPCfg d))
+renderOneLine d = PP.renderString (PP.layoutPretty opts (runDocWith defaultPPCfg d))
+  where
+    opts = PP.LayoutOptions
+      { PP.layoutPageWidth = PP.Unbounded
+      }
 
 class PP a where
   ppPrec :: Int -> a -> Doc

tests/issues/issue_1314.icry

@@ -0,0 +1,4 @@
+:set-seed 0
+:dumptests - (sum : [100][8] -> [8])
+:dumptests - (\(x,y) -> x + y : [64])
+:dumptests - (\a b c -> a < b /\ b < (c : [100]))