Skip to content

Commit

Permalink
Csv uses String.trim
Browse files Browse the repository at this point in the history
  • Loading branch information
achlipala committed Feb 13, 2015
1 parent 41d36d0 commit 5c43062
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions csv.ur
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 5c43062

Please sign in to comment.