summaryrefslogtreecommitdiffstats
path: root/otherlibs
diff options
context:
space:
mode:
authorLuc Maranget <luc.maranget@inria.fr>2002-10-01 12:49:53 +0000
committerLuc Maranget <luc.maranget@inria.fr>2002-10-01 12:49:53 +0000
commitaea14e3bb46893ecd51c8bc4466fabb6c007fb81 (patch)
tree76eea585d805ccc21f82f0fc0a070662bc0e1bc7 /otherlibs
parent25e2363a720f03e3d70b132183f70e56d0a0cc3a (diff)
Petite discussion avec Jacques.
1 Pb typage variants, en attente, exemple dans test/Moretest/morematch.ml 2 Meilleure compilation des switch de variants -> bytecomp/switch.ml a Vider la table t en cas de changement de ok_inter b Traiter les intervalles de taille 1 meme si !ok_inter = false git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
-rw-r--r--otherlibs/labltk/camltk/.depend62
-rw-r--r--otherlibs/labltk/labltk/.depend30
2 files changed, 46 insertions, 46 deletions
diff --git a/otherlibs/labltk/camltk/.depend b/otherlibs/labltk/camltk/.depend
index 203fe291a..6c4ac94bc 100644
--- a/otherlibs/labltk/camltk/.depend
+++ b/otherlibs/labltk/camltk/.depend
@@ -11,16 +11,16 @@ cFont.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
cFrame.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
cGrab.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
cGrid.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
-cImage.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
cImagebitmap.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
+cImage.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
cImagephoto.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
cLabel.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
cListbox.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
-cMenu.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
cMenubutton.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
+cMenu.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
cMessage.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
-cOption.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
cOptionmenu.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
+cOption.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
cPack.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
cPalette.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
cPixmap.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
@@ -36,6 +36,22 @@ cTkwait.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
cToplevel.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
cWinfo.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
cWm.cmi: cTk.cmo ../support/textvariable.cmi ../support/widget.cmi
+camltk.cmo: cBell.cmi cButton.cmi cCanvas.cmi cCheckbutton.cmi cClipboard.cmi \
+ cDialog.cmi cEncoding.cmi cEntry.cmi cFocus.cmi cFont.cmi cFrame.cmi \
+ cGrab.cmi cGrid.cmi cImage.cmi cImagebitmap.cmi cImagephoto.cmi \
+ cLabel.cmi cListbox.cmi cMenu.cmi cMenubutton.cmi cMessage.cmi \
+ cOption.cmi cOptionmenu.cmi cPack.cmi cPalette.cmi cPixmap.cmi cPlace.cmi \
+ cRadiobutton.cmi cResource.cmi cScale.cmi cScrollbar.cmi cSelection.cmi \
+ cText.cmi cTk.cmo cTkvars.cmi cTkwait.cmi cToplevel.cmi cWinfo.cmi \
+ cWm.cmi
+camltk.cmx: cBell.cmx cButton.cmx cCanvas.cmx cCheckbutton.cmx cClipboard.cmx \
+ cDialog.cmx cEncoding.cmx cEntry.cmx cFocus.cmx cFont.cmx cFrame.cmx \
+ cGrab.cmx cGrid.cmx cImage.cmx cImagebitmap.cmx cImagephoto.cmx \
+ cLabel.cmx cListbox.cmx cMenu.cmx cMenubutton.cmx cMessage.cmx \
+ cOption.cmx cOptionmenu.cmx cPack.cmx cPalette.cmx cPixmap.cmx cPlace.cmx \
+ cRadiobutton.cmx cResource.cmx cScale.cmx cScrollbar.cmx cSelection.cmx \
+ cText.cmx cTk.cmx cTkvars.cmx cTkwait.cmx cToplevel.cmx cWinfo.cmx \
+ cWm.cmx
cBell.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
../support/widget.cmi cBell.cmi
cBell.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
@@ -88,14 +104,14 @@ cGrid.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
../support/widget.cmi cGrid.cmi
cGrid.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
../support/widget.cmx cGrid.cmi
-cImage.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
- ../support/widget.cmi cImage.cmi
-cImage.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
- ../support/widget.cmx cImage.cmi
cImagebitmap.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
../support/widget.cmi cImagebitmap.cmi
cImagebitmap.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
../support/widget.cmx cImagebitmap.cmi
+cImage.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
+ ../support/widget.cmi cImage.cmi
+cImage.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
+ ../support/widget.cmx cImage.cmi
cImagephoto.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
../support/widget.cmi cImagephoto.cmi
cImagephoto.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
@@ -108,26 +124,26 @@ cListbox.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
../support/widget.cmi cListbox.cmi
cListbox.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
../support/widget.cmx cListbox.cmi
-cMenu.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
- ../support/widget.cmi cMenu.cmi
-cMenu.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
- ../support/widget.cmx cMenu.cmi
cMenubutton.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
../support/widget.cmi cMenubutton.cmi
cMenubutton.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
../support/widget.cmx cMenubutton.cmi
+cMenu.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
+ ../support/widget.cmi cMenu.cmi
+cMenu.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
+ ../support/widget.cmx cMenu.cmi
cMessage.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
../support/widget.cmi cMessage.cmi
cMessage.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
../support/widget.cmx cMessage.cmi
-cOption.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
- ../support/widget.cmi cOption.cmi
-cOption.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
- ../support/widget.cmx cOption.cmi
cOptionmenu.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
../support/widget.cmi cOptionmenu.cmi
cOptionmenu.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
../support/widget.cmx cOptionmenu.cmi
+cOption.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
+ ../support/widget.cmi cOption.cmi
+cOption.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
+ ../support/widget.cmx cOption.cmi
cPack.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
../support/widget.cmi cPack.cmi
cPack.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
@@ -192,19 +208,3 @@ cWm.cmo: cTk.cmo ../support/protocol.cmi ../support/textvariable.cmi \
../support/widget.cmi cWm.cmi
cWm.cmx: cTk.cmx ../support/protocol.cmx ../support/textvariable.cmx \
../support/widget.cmx cWm.cmi
-camltk.cmo: cBell.cmi cButton.cmi cCanvas.cmi cCheckbutton.cmi cClipboard.cmi \
- cDialog.cmi cEncoding.cmi cEntry.cmi cFocus.cmi cFont.cmi cFrame.cmi \
- cGrab.cmi cGrid.cmi cImage.cmi cImagebitmap.cmi cImagephoto.cmi \
- cLabel.cmi cListbox.cmi cMenu.cmi cMenubutton.cmi cMessage.cmi \
- cOption.cmi cOptionmenu.cmi cPack.cmi cPalette.cmi cPixmap.cmi cPlace.cmi \
- cRadiobutton.cmi cResource.cmi cScale.cmi cScrollbar.cmi cSelection.cmi \
- cText.cmi cTk.cmo cTkvars.cmi cTkwait.cmi cToplevel.cmi cWinfo.cmi \
- cWm.cmi
-camltk.cmx: cBell.cmx cButton.cmx cCanvas.cmx cCheckbutton.cmx cClipboard.cmx \
- cDialog.cmx cEncoding.cmx cEntry.cmx cFocus.cmx cFont.cmx cFrame.cmx \
- cGrab.cmx cGrid.cmx cImage.cmx cImagebitmap.cmx cImagephoto.cmx \
- cLabel.cmx cListbox.cmx cMenu.cmx cMenubutton.cmx cMessage.cmx \
- cOption.cmx cOptionmenu.cmx cPack.cmx cPalette.cmx cPixmap.cmx cPlace.cmx \
- cRadiobutton.cmx cResource.cmx cScale.cmx cScrollbar.cmx cSelection.cmx \
- cText.cmx cTk.cmx cTkvars.cmx cTkwait.cmx cToplevel.cmx cWinfo.cmx \
- cWm.cmx
diff --git a/otherlibs/labltk/labltk/.depend b/otherlibs/labltk/labltk/.depend
index f1273b18b..e3cd27cf1 100644
--- a/otherlibs/labltk/labltk/.depend
+++ b/otherlibs/labltk/labltk/.depend
@@ -11,16 +11,16 @@ font.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
frame.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
grab.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
grid.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
-image.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
imagebitmap.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
+image.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
imagephoto.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
label.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
listbox.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
-menu.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
menubutton.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
+menu.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
message.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
-option.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
optionmenu.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
+option.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
pack.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
palette.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
pixmap.cmi: ../support/textvariable.cmi tk.cmo ../support/widget.cmi
@@ -87,14 +87,14 @@ grid.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
../support/widget.cmi grid.cmi
grid.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
../support/widget.cmx grid.cmi
-image.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
- ../support/widget.cmi image.cmi
-image.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
- ../support/widget.cmx image.cmi
imagebitmap.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
../support/widget.cmi imagebitmap.cmi
imagebitmap.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
../support/widget.cmx imagebitmap.cmi
+image.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
+ ../support/widget.cmi image.cmi
+image.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
+ ../support/widget.cmx image.cmi
imagephoto.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
../support/widget.cmi imagephoto.cmi
imagephoto.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
@@ -125,26 +125,26 @@ listbox.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
../support/widget.cmi listbox.cmi
listbox.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
../support/widget.cmx listbox.cmi
-menu.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
- ../support/widget.cmi menu.cmi
-menu.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
- ../support/widget.cmx menu.cmi
menubutton.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
../support/widget.cmi menubutton.cmi
menubutton.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
../support/widget.cmx menubutton.cmi
+menu.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
+ ../support/widget.cmi menu.cmi
+menu.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
+ ../support/widget.cmx menu.cmi
message.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
../support/widget.cmi message.cmi
message.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
../support/widget.cmx message.cmi
-option.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
- ../support/widget.cmi option.cmi
-option.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
- ../support/widget.cmx option.cmi
optionmenu.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
../support/widget.cmi optionmenu.cmi
optionmenu.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
../support/widget.cmx optionmenu.cmi
+option.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
+ ../support/widget.cmi option.cmi
+option.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \
+ ../support/widget.cmx option.cmi
pack.cmo: ../support/protocol.cmi ../support/textvariable.cmi tk.cmo \
../support/widget.cmi pack.cmi
pack.cmx: ../support/protocol.cmx ../support/textvariable.cmx tk.cmx \