changeset 1286 | ae25649cbbb1 |
parent 1284 | e5b95ee2616b |
child 1461 | 6bcb44e4d6e5 |
--- a/src/HOLCF/domain/interface.ML Tue Oct 17 17:00:10 1995 +0100 +++ b/src/HOLCF/domain/interface.ML Tue Oct 17 17:59:47 1995 +0100 @@ -68,8 +68,8 @@ fun string_of_sort_emb [] = "" - | string_of_sort_emb [x] = x - | string_of_sort_emb (x::xs) = x^","^(string_of_sort_emb xs); + | string_of_sort_emb [x] = "\"" ^x^ "\"" + | string_of_sort_emb (x::xs) = "\"" ^x^ "\"" ^ ", "^(string_of_sort_emb xs); fun string_of_sort l = "["^ (string_of_sort_emb l)^"]";