+ [uname, "--", blocks, bsoft, bhard, files, fsoft, fhard] =>
+ readData ({uname = uname,
+ blocks = valOf (Int.fromString blocks),
+ files = valOf (Int.fromString files)} :: acc)
+ | [uname, "+-", blocks, bsoft, bhard, _, files, fsoft, fhard] =>
+ readData ({uname = uname,
+ blocks = valOf (Int.fromString blocks),
+ files = valOf (Int.fromString files)} :: acc)
+ | [uname, "-+", blocks, bsoft, bhard, files, fsoft, fhard, _] =>
+ readData ({uname = uname,
+ blocks = valOf (Int.fromString blocks),
+ files = valOf (Int.fromString files)} :: acc)
+ | [uname, "++", blocks, bsoft, bhard, _, files, fsoft, fhard, _] =>