HCoop
/
hcoop
/
domtool2.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
cf28335
)
Allow single quotes in no_newlines
author
Adam Chlipala
<adamc@hcoop.net>
Sat, 8 Dec 2007 02:23:16 +0000
(
02:23
+0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Sat, 8 Dec 2007 02:23:16 +0000
(
02:23
+0000)
src/domain.sml
patch
|
blob
|
blame
|
history
diff --git
a/src/domain.sml
b/src/domain.sml
index
f8464f2
..
94eb077
100644
(file)
--- a/
src/domain.sml
+++ b/
src/domain.sml
@@
-137,7
+137,7
@@
val _ = Env.type_one "no_spaces"
val _ = Env.type_one "no_newlines"
Env.string
(CharVector.all (fn ch => Char.isPrint ch andalso ch <> #"\n" andalso ch <> #"\r"
- andalso ch <> #"\""
andalso ch <> #"'"
))
+ andalso ch <> #"\""))
val _ = Env.type_one "ip"
Env.string