From 5c430620e3c4dfb7bb39030a8f7c72d5cb71c6f5 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 13 Feb 2015 18:07:28 -0500 Subject: [PATCH] Csv uses String.trim --- csv.ur | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/csv.ur b/csv.ur index 452ae2a..64b6fbe 100644 --- a/csv.ur +++ b/csv.ur @@ -11,13 +11,13 @@ fun csvFold [fs] [acc] (f : $fs -> acc -> acc) let val (commas, total, line, r) = acc line in - (commas, total+1, "", {nm = readError line} ++ r) + (commas, total+1, "", {nm = readError (String.trim line)} ++ r) end | Some (token, line) => let val (commas, total, line, r) = acc line in - (commas+1, total+1, line, {nm = readError token} ++ r) + (commas+1, total+1, line, {nm = readError (String.trim token)} ++ r) end) (fn line => (0, 0, line, {})) fl reads line in