M src/rdf-base/collection-gatherer-fn.sml +2 -2
@@ 16,7 16,7 @@ functor CollectionGathererFn (M : MATCHE
let val pat = (SOME node, SOME nodeRest, NONE)
val result = not (null (M.match (matcher, pat)))
in
- Log.info (fn () => ["Collection: % % a collection node",
+ Log.info (fn () => ["Collection: %1 %2 a collection node",
Log.S (RdfNode.stringOfNode node),
Log.S (if result then "is" else "is not")]);
result
@@ 46,7 46,7 @@ functor CollectionGathererFn (M : MATCHE
end
val result = triples' (matcher, (startOfCollection (matcher, node)), [])
in
- Log.info (fn () => ["Collection: node % yields collection:\n%",
+ Log.info (fn () => ["Collection: node %1 yields collection:\n%",
Log.S (RdfNode.stringOfNode node),
Log.S (RdfTriple.stringOfTriples result)]);
result
M src/store/store.sml +2 -2
@@ 50,7 50,7 @@ structure Store :> STORE = struct
fun foldlMatch f acc ({ prefixes, indexes } : t, pattern) =
let val index = IndexPicker.pickIndex (indexes, pattern)
in
- Log.info (fn () => ["Store: pattern %, index \"%\"",
+ Log.info (fn () => ["Store: pattern %1, index \"%2\"",
Log.S (stringOfPattern pattern),
Log.S (Index.name index)]);
Index.foldlMatch f acc (index, pattern)
@@ 62,7 62,7 @@ structure Store :> STORE = struct
fun match pattern =
let val result = foldlMatch (op::) [] pattern
in
- Log.info (fn () => ["Store: matched % results",
+ Log.info (fn () => ["Store: matched %1 results",
Log.I (length result)]);
result
end