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
ef588b38
Commit
ef588b38
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2002-11-11 23:10:17 by cvscast] Empty log message
Original author: cvscast Date: 2002-11-11 23:10:17+00:00
parent
12f95f04
Changes
2
Hide whitespace changes
Inline
Side-by-side
types/patterns.ml
View file @
ef588b38
...
...
@@ -871,9 +871,17 @@ struct
(
res
,
catch
,
rem
)
in
let
pl
=
Array
.
map
(
List
.
map
aux
)
pl
in
Array
.
iteri
(
fun
i
o
->
pl
.
(
i
)
<-
pl
.
(
i
)
@
o
)
others
;
if
pl
=
plabs
then
`Absent
else
(*
if pl = plabs then `Absent else
*)
(* TODO: Check that this is the good condition ....
Need condition on t ? *)
Need condition on t ?
No, it isn't a good condition:
match { x = "a" } : { x =? "a"|"b" } with
| { x = "b" } -> 1
| _ -> 0;;
Need to investigate ....
*)
dispatch_record_label
disp
t
pl
...
...
types/types.ml
View file @
ef588b38
...
...
@@ -42,7 +42,7 @@ module I = struct
atoms
=
Atoms
.
empty
;
chars
=
Chars
.
empty
;
}
(*
let
any
=
{
times
=
Boolean
.
full
;
xml
=
Boolean
.
full
;
...
...
@@ -52,7 +52,7 @@ module I = struct
atoms
=
Atoms
.
any
;
chars
=
Chars
.
any
;
}
*)
let
interval
i
=
{
empty
with
ints
=
i
}
let
times
x
y
=
{
empty
with
times
=
Boolean
.
atom
(
x
,
y
)
}
...
...
@@ -157,6 +157,7 @@ let cons d =
define
n
d
;
internalize
n
(*
let any_rec = cons { empty with record = Boolean.full }
let any_node = make ();;
define any_node {
...
...
@@ -172,6 +173,7 @@ define any_node {
};;
internalize any_node;;
let any = descr any_node
*)
let
neg
x
=
diff
any
x
...
...
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