Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
19474f4c
Commit
19474f4c
authored
Jun 20, 2014
by
Julien Lopez
Browse files
Fix on parsing of type variables in brackets
parent
0805d2b9
Changes
4
Hide whitespace changes
Inline
Side-by-side
parser/ulexer.ml
View file @
19474f4c
...
...
@@ -279,7 +279,7 @@ and token2 = lexer
return
lexbuf
(
STRING2
s
)
|
"('"
qname
")"
->
let
s
=
L
.
utf8_lexeme
lexbuf
in
let
s
=
String
.
sub
s
1
(
String
.
length
s
-
1
)
in
let
s
=
String
.
sub
s
2
(
String
.
length
s
-
3
)
in
return
lexbuf
(
PTYPE
s
)
|
"(*"
->
in_comment
:=
true
;
...
...
schema/schema_builtin.ml
View file @
19474f4c
...
...
@@ -5,8 +5,6 @@ open Schema_pcre
open
Schema_common
open
Schema_types
module
Pcre
=
Re_pcre
(* TODO dates: boundary checks (e.g. 95/26/2003) *)
(* TODO a lot of almost cut-and-paste code, expecially in gFoo types validation
*)
...
...
schema/schema_pcre.ml
View file @
19474f4c
open
Encodings
.
Utf8
module
Pcre
=
Re_pcre
let
pcre_replace
~
rex
?
templ
s
=
match
templ
with
|
None
->
mk
(
Pcre
.
replace
~
rex
(
get_str
s
))
...
...
schema/schema_pcre.mli
View file @
19474f4c
...
...
@@ -2,7 +2,6 @@
* Given Pcre.regexp regular expressions should be compiled with `UTF8 flag
* or with pcre_regexp below *)
open
Encodings
.
Utf8
module
Pcre
=
Re_pcre
val
pcre_regexp
:
string
->
Pcre
.
regexp
(* compile using `UTF8 flag *)
val
pcre_replace
:
rex
:
Pcre
.
regexp
->
?
templ
:
t
->
t
->
t
val
pcre_extract
:
rex
:
Pcre
.
regexp
->
t
->
t
array
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment