Skip to content
GitLab
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
356d76a5
Commit
356d76a5
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2002-11-10 12:49:51 by cvscast] Empty log message
Original author: cvscast Date: 2002-11-10 12:49:51+00:00
parent
ea2e36bd
Changes
5
Hide whitespace changes
Inline
Side-by-side
driver/webiface.ml
View file @
356d76a5
...
...
@@ -8,7 +8,8 @@ open Netcgi
(* Configuration *)
let
session_dir
=
"/home/frisch/sessions"
let
session_dirs
=
[
"/home/frisch/sessions"
;
"/users/formel/cduce/sessions"
]
let
session_dir
=
List
.
find
Sys
.
file_exists
session_dirs
let
timeout
=
60
*
5
(* seconds *)
let
max_sess
=
10
...
...
parser/parser.ml
View file @
356d76a5
...
...
@@ -243,7 +243,7 @@ EXTEND
|
"no_arrow"
[
x
=
pat
;
"|"
;
y
=
pat
->
mk
loc
(
Or
(
x
,
y
))
]
|
"simple"
[
x
=
pat
;
"&"
;
y
=
pat
->
mk
loc
(
And
(
x
,
y
,
true
))
(* | x = pat; ":"; y = pat -> mk loc (And (x,y,false)) *)
|
x
=
pat
;
"
-
"
;
y
=
pat
->
mk
loc
(
Diff
(
x
,
y
))
]
|
x
=
pat
;
"
\\
"
;
y
=
pat
->
mk
loc
(
Diff
(
x
,
y
))
]
|
[
"{"
;
r
=
record_spec
;
"}"
->
r
|
LIDENT
"_"
->
mk
loc
(
Internal
Types
.
any
)
...
...
parser/wlexer.ml
View file @
356d76a5
...
...
@@ -97,8 +97,8 @@ let lex_tables = {
"
\000\000\009\000\012\000\018\000\252\255\251\255\004\000\255\255
\
\005\000\254\255\014\000\013\000\001\000\004\000\253\255\255\255
\
\247\255\246\255\019\000\047\000\051\000\017\000\043\000\250\255
\
\027\000\010\000\001\000\0
50
\000\016\000\249\255\248\255\250\255
\
\05
7
\000\0
63
\000\03
2
\000\067\000\07
1\000\060
\000
"
;
\027\000\010\000\001\000\0
22
\000\016\000\249\255\248\255\250\255
\
\05
6
\000\0
58
\000\0
60\000\06
3\000\067\000\07
2
\000
"
;
Lexing
.
lex_backtrk
=
"
\255\255\255\255\255\255\255\255\255\255\255\255\004\000\255\255
\
\002\000\255\255\004\000\002\000\004\000\004\000\255\255\255\255
\
...
...
@@ -115,32 +115,32 @@ let lex_tables = {
"
\016\000\017\000\017\000\018\000\019\000\020\000\021\000\019\000
\
\022\000\004\000\008\000\008\000\004\000\024\000\025\000\026\000
\
\027\000\026\000\004\000\011\000\011\000\015\000\037\000\034\000
\
\031\000\028\000\012\000\009\000\026\000\031\000\029\000\01
7
\000
\
\029\000\030\000\013\000\009\000\009\000\031\000\03
4
\000\014\000
\
\031\000\028\000\012\000\009\000\026\000\031\000\029\000\0
3
1\000
\
\029\000\030\000\013\000\009\000\009\000\031\000\03
1
\000\014\000
\
\031\000\014\000\007\000\010\000\009\000\009\000\032\000\033\000
\
\033\000\006\000\007\000\036\000\036\000\036\000\036\000\035\000
\
\035\000\035\000\035\000\
031\000\
032\000\033\000\033\000\03
7
\000
\
\0
00
\000\0
00
\000\03
1
\000\03
3
\000\03
3
\000\03
3
\000\03
3
\000\03
5
\000
\
\03
5
\000\03
5\000\035
\000\036\000\03
6
\000\0
36
\000\0
36
\000\000\000
\
\035\000\035\000\035\000\032\000\033\000\033\000\03
3\000\033
\000
\
\0
33
\000\0
33
\000\03
4
\000\03
5
\000\03
5
\000\03
5
\000\03
5
\000\03
6
\000
\
\03
6
\000\03
6
\000\036\000\03
7\000\000
\000\0
00
\000\0
00
\000\000\000
\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000
\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000
\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000
\
\000\000
"
;
\000\000
\000\000
"
;
Lexing
.
lex_check
=
"
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000
\
\000\000\001\000\006\000\008\000\002\000\000\000\000\000\000\000
\
\000\000\000\000\003\000\011\000\010\000\013\000\018\000\021\000
\
\025\000\000\000\001\000\012\000\000\000\026\000\000\000\0
00
\000
\
\000\000\028\000\001\000\006\000\006\000\024\000\0
34
\000\001\000
\
\025\000\000\000\001\000\012\000\000\000\026\000\000\000\0
27
\000
\
\000\000\028\000\001\000\006\000\006\000\024\000\0
27
\000\001\000
\
\024\000\001\000\002\000\002\000\010\000\010\000\022\000\022\000
\
\022\000\003\000\003\000\019\000\019\000\019\000\019\000\020\000
\
\020\000\020\000\020\000\
027\000\
032\000\032\000\032\000\03
7
\000
\
\
255\255\255\255\027
\000\03
3
\000\03
3
\000\03
3
\000\03
3
\000\03
5
\000
\
\03
5\000\035\000\035
\000\036\000\036\000\03
6\000\036\000
\255\255
\
\020\000\020\000\020\000\032\000\032\000\032\000\03
3\000\033
\000
\
\
033\000\033\000\034
\000\03
5
\000\03
5
\000\03
5
\000\03
5
\000\03
6
\000
\
\03
6
\000\036\000\036\000\03
7\000\255\255\255\255\255\255
\255\255
\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255
\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255
\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255
\
\255\255
"
\255\255
\255\255
"
}
let
rec
token
engine
lexbuf
=
...
...
parser/wlexer.mll
View file @
356d76a5
...
...
@@ -53,7 +53,7 @@ rule token = parse
"TAG"
,
String
.
sub
s
1
(
String
.
length
s
-
1
)
}
|
[
"<>=.,:;+-*/@&{}[]()|?`!"
]
|
"->"
|
"::"
|
";;"
|
"--"
|
":="
|
"->"
|
"::"
|
";;"
|
"--"
|
":="
|
"
\\
"
|
[
"?+*"
]
"?"
{
""
,
Lexing
.
lexeme
lexbuf
}
...
...
types/boolean.ml
View file @
356d76a5
...
...
@@ -106,17 +106,17 @@ let print any f =
(
fun
ppf
->
Format
.
fprintf
ppf
"@[%a"
f
p1
;
List
.
iter
(
fun
x
->
Format
.
fprintf
ppf
" &@ %a"
f
x
)
p
;
List
.
iter
(
fun
x
->
Format
.
fprintf
ppf
"
-
@ %a"
f
x
)
n
;
List
.
iter
(
fun
x
->
Format
.
fprintf
ppf
"
\\
@ %a"
f
x
)
n
;
Format
.
fprintf
ppf
"@]"
;
)
|
([]
,
[]
)
->
(
fun
ppf
->
Format
.
fprintf
ppf
"%s"
any
)
|
([]
,
[
n
])
->
(
fun
ppf
->
Format
.
fprintf
ppf
"@[%s
-
%a@]"
any
f
n
)
(
fun
ppf
->
Format
.
fprintf
ppf
"@[%s
\\
%a@]"
any
f
n
)
|
([]
,
n1
::
n
)
->
(
fun
ppf
->
Format
.
fprintf
ppf
"@[%s"
any
;
List
.
iter
(
fun
x
->
Format
.
fprintf
ppf
"
-
@ %a"
f
x
)
n
;
List
.
iter
(
fun
x
->
Format
.
fprintf
ppf
"
\\
@ %a"
f
x
)
n
;
Format
.
fprintf
ppf
"@]"
;
)
)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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