diff options
| author | Luc Maranget <luc.maranget@inria.fr> | 2002-10-01 12:49:53 +0000 |
|---|---|---|
| committer | Luc Maranget <luc.maranget@inria.fr> | 2002-10-01 12:49:53 +0000 |
| commit | aea14e3bb46893ecd51c8bc4466fabb6c007fb81 (patch) | |
| tree | 76eea585d805ccc21f82f0fc0a070662bc0e1bc7 /otherlibs | |
| parent | 25e2363a720f03e3d70b132183f70e56d0a0cc3a (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/.depend | 62 | ||||
| -rw-r--r-- | otherlibs/labltk/labltk/.depend | 30 |
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 \ |