Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Camlp4 induit un bug. #3327

Closed
vicuna opened this issue May 2, 2002 · 1 comment
Closed

Camlp4 induit un bug. #3327

vicuna opened this issue May 2, 2002 · 1 comment
Labels

Comments

@vicuna
Copy link

vicuna commented May 2, 2002

Original bug ID: 1135
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Salut,

Je joins le fichier window_base.ml, généré par zoggy (merci à Maxence
d'ailleurs).

J'utilise la version cvs de caml.
Quand on fait : ocamlc -c -I +lablgtk window_base.ml
c'est super et ça marche.

Quand on fait : ocamlc -c -I +lablgtk -pp camlp4o window_base.ml
Fatal error: exception Assert_failure("typing/typeclass.ml", 15689,
15701)
c'est pas super et ça marche pas.

C'est le makefile qui met le -pp camlp4o partout. Je sais bien qu'il n'y
en a pas besoin pour ce fichier, et de toute façon la question n'est pas
là :)

class fenetre () =
let mainWindow =
GWindow.window ~title:"Bebetes" ~allow_shrink:true ~allow_grow:true
~auto_shrink:true ~modal:false ()
in
let _box =
GPack.vbox ~border_width:0 ~homogeneous:false ~packing:mainWindow#add ()
in
let menubar =
GMenu.menu_bar ~packing:(_box#pack ~expand:false ~fill:true) ()
in
let itemfile = GMenu.menu_item ~label:"File" ~packing:menubar#add () in
let menuFile = GMenu.menu ~packing:itemfile#set_submenu () in
let fileOpen = GMenu.menu_item ~label:"Ouvrir" ~packing:menuFile#add () in
let fileSave =
GMenu.menu_item ~label:"Enregistrer" ~packing:menuFile#add ()
in
let sep30 = GMenu.menu_item ~packing:menuFile#add () in
let fileQuit = GMenu.menu_item ~label:"Quitter" ~packing:menuFile#add () in
let menuBar_accelgroup = GtkData.AccelGroup.create () in
let _ = menuFile#set_accel_group menuBar_accelgroup in
let _ =
fileQuit#add_accelerator ~group:menuBar_accelgroup ~modi:([CONTROL]) ~flags:([VISIBLE; LOCKED]) GdkKeysyms._Q in let boiteoutils = GPack.hbox ~border_width:10 ~homogeneous:true ~packing:(_box#pack ~expand:false ~fill:true) () in let pourAjouter = GPack.vbox ~homogeneous:false ~packing:(boiteoutils#pack ~expand:false ~fill:true) () in let bouton_ajouter = GButton.button ~border_width:5 ~packing:(pourAjouter#pack ~expand:true ~fill:false) () in let _38 = GMisc.label ~text:"Ajouter" ~justify:CENTER ~line_wrap:true ~xalign:0.5
~yalign:(-1.0) ~packing:bouton_ajouter#add ()
in
let hbox_118 =
GPack.hbox ~homogeneous:false
~packing:(pourAjouter#pack ~expand:false ~fill:true) ()
in
let wl_119 =
GMisc.label ~text:"Incrément : " ~justify:LEFT ~line_wrap:true ~packing:(hbox_118#pack ~expand:false ~fill:true ~padding:30) () in let entryIncrement = GEdit.entry ~width:50 ~max_length:5 ~text:"0" ~visibility:true ~editable:true ~packing:(hbox_118#pack ~expand:false ~fill:true) () in let pourLance = GPack.vbox ~homogeneous:false ~packing:(boiteoutils#pack ~expand:false ~fill:true) () in let bouton_lance = GButton.button ~border_width:5 ~packing:(pourLance#pack ~expand:false ~fill:true) () in let labelLance = GMisc.label ~text:"Lance" ~justify:CENTER ~line_wrap:true ~xalign:0.5
~yalign:(-1.0) ~packing:bouton_lance#add ()
in
let hbox_31 =
GPack.hbox ~homogeneous:false ~spacing:25
~packing:(_box#pack ~expand:true ~fill:true) ()
in
let _cadreStats =
GBin.frame ~shadow_type:ETCHED_IN ~packing:(hbox_31#pack ~expand:false ~fill:true) () in let boitestats = GPack.vbox ~border_width:5 ~homogeneous:false ~spacing:4 ~packing:_cadreStats#add () in let bouton_stats = GButton.button ~packing:(boitestats#pack ~expand:false ~fill:true) () in let _42 = GMisc.label ~text:"Statistiques" ~justify:CENTER ~line_wrap:true
~xalign:0.5 ~yalign:(-1.0) ~packing:bouton_stats#add ()
in
let hbox_49 =
GPack.hbox ~homogeneous:false
~packing:(boitestats#pack ~expand:false ~fill:true) ()
in
let wl_57 =
GMisc.label ~width:155 ~text:"Total bébêtes : " ~justify:LEFT ~line_wrap:true ~xalign:(-1.0) ~yalign:(-1.0) ~packing:(hbox_49#pack ~expand:false ~fill:true) () in let labelTotalBebetes = GMisc.label ~width:50 ~text:"0" ~justify:RIGHT ~line_wrap:true
~xalign:(-1.0) ~yalign:(-1.0)
~packing:(hbox_49#pack ~expand:false ~fill:true) ()
in
let hbox_50 =
GPack.hbox ~homogeneous:false
~packing:(boitestats#pack ~expand:false ~fill:true) ()
in
let wl_59 =
GMisc.label ~width:155 ~text:"dont vivantes : " ~justify:LEFT ~line_wrap:true ~xalign:(-1.0) ~yalign:(-1.0) ~packing:(hbox_50#pack ~expand:false ~fill:true) () in let labelDontVivantes = GMisc.label ~width:50 ~text:"0" ~justify:LEFT ~line_wrap:true
~xalign:(-1.0) ~yalign:(-1.0)
~packing:(hbox_50#pack ~expand:false ~fill:true) ()
in
let hbox_51 =
GPack.hbox ~homogeneous:false
~packing:(boitestats#pack ~expand:false ~fill:true) ()
in
let wl_61 =
GMisc.label ~width:155 ~text:"Threads / bébête : " ~justify:LEFT ~line_wrap:true ~xalign:(-1.0) ~yalign:(-1.0) ~packing:(hbox_51#pack ~expand:false ~fill:true) () in let labelThreadBebete = GMisc.label ~width:50 ~text:"0" ~justify:LEFT ~line_wrap:true
~xalign:(-1.0) ~yalign:(-1.0)
~packing:(hbox_51#pack ~expand:false ~fill:true) ()
in
let hbox_52 =
GPack.hbox ~homogeneous:false
~packing:(boitestats#pack ~expand:false ~fill:true) ()
in
let wl_63 =
GMisc.label ~width:155 ~text:"Énergie / bébête : " ~justify:LEFT ~line_wrap:true ~xalign:(-1.0) ~yalign:(-1.0) ~packing:(hbox_52#pack ~expand:false ~fill:true) () in let labelEnergieBebete = GMisc.label ~width:50 ~text:"0" ~justify:LEFT ~line_wrap:true
~xalign:(-1.0) ~yalign:(-1.0)
~packing:(hbox_52#pack ~expand:false ~fill:true) ()
in
let hbox_53 =
GPack.hbox ~homogeneous:false
~packing:(boitestats#pack ~expand:false ~fill:true) ()
in
let wl_65 =
GMisc.label ~width:155 ~text:"Énergie / vivant : " ~justify:LEFT ~line_wrap:true ~xalign:(-1.0) ~yalign:(-1.0) ~packing:(hbox_53#pack ~expand:false ~fill:true) () in let labelEnergieVivant = GMisc.label ~width:50 ~text:"0" ~justify:LEFT ~line_wrap:true
~xalign:(-1.0) ~yalign:(-1.0)
~packing:(hbox_53#pack ~expand:false ~fill:true) ()
in
let hbox_54 =
GPack.hbox ~homogeneous:false
~packing:(boitestats#pack ~expand:false ~fill:true) ()
in
let wl_67 =
GMisc.label ~width:155 ~text:"Nb codons / bébête : " ~justify:LEFT ~line_wrap:true ~xalign:(-1.0) ~yalign:(-1.0) ~packing:(hbox_54#pack ~expand:false ~fill:true) () in let labelCodonBebete = GMisc.label ~width:50 ~text:"0" ~justify:LEFT ~line_wrap:true
~xalign:(-1.0) ~yalign:(-1.0)
~packing:(hbox_54#pack ~expand:false ~fill:true) ()
in
let hbox_55 =
GPack.hbox ~homogeneous:false
~packing:(boitestats#pack ~expand:false ~fill:true) ()
in
let wl_69 =
GMisc.label ~width:155 ~text:"POPs / thread" ~justify:LEFT ~line_wrap:true ~xalign:(-1.0) ~yalign:(-1.0) ~packing:(hbox_55#pack ~expand:false ~fill:true) () in let labelPopThread = GMisc.label ~width:50 ~text:"0" ~justify:LEFT ~line_wrap:true
~xalign:(-1.0) ~yalign:(-1.0)
~packing:(hbox_55#pack ~expand:false ~fill:true) ()
in
let hbox_56 =
GPack.hbox ~homogeneous:false
~packing:(boitestats#pack ~expand:false ~fill:true) ()
in
let wl_71 =
GMisc.label ~width:155 ~text:"CUTs / thread" ~justify:LEFT ~line_wrap:true ~xalign:(-1.0) ~yalign:(-1.0) ~packing:(hbox_56#pack ~expand:false ~fill:true) () in let labelCutThread = GMisc.label ~width:50 ~text:"0" ~justify:RIGHT ~line_wrap:true
~xalign:(-1.0) ~yalign:(-1.0)
~packing:(hbox_56#pack ~expand:false ~fill:true) ()
in
let cadreMonde =
GBin.aspect_frame ~obey_child:true ~label:"Monde" ~label_xalign:0.05
~label_yalign:(-1.0) ~shadow_type:ETCHED_IN ~packing:(hbox_31#pack ~expand:true ~fill:true) () in let wl_111 = GMisc.label ~width:500 ~height:300 ~text:"Ici on mettra une interface directe sur les bébêtes." ~justify:CENTER ~line_wrap:false ~xalign:0.5 ~yalign:0.5
~packing:cadreMonde#add ()
in
let statusbar =
GMisc.statusbar ~packing:(_box#pack ~expand:false ~fill:true) ()
in
object
val mainWindow = mainWindow
val menubar = menubar
val menuBar_accelgroup = menuBar_accelgroup
val itemfile = itemfile
val menuFile = menuFile
val fileOpen = fileOpen
val fileSave = fileSave
val sep30 = sep30
val fileQuit = fileQuit
val boiteoutils = boiteoutils
val pourAjouter = pourAjouter
val bouton_ajouter = bouton_ajouter
val hbox_118 = hbox_118
val wl_119 = wl_119
val entryIncrement = entryIncrement
val pourLance = pourLance
val bouton_lance = bouton_lance
val labelLance = labelLance
val hbox_31 = hbox_31
val boitestats = boitestats
val bouton_stats = bouton_stats
val hbox_49 = hbox_49
val wl_57 = wl_57
val labelTotalBebetes = labelTotalBebetes
val hbox_50 = hbox_50
val wl_59 = wl_59
val labelDontVivantes = labelDontVivantes
val hbox_51 = hbox_51
val wl_61 = wl_61
val labelThreadBebete = labelThreadBebete
val hbox_52 = hbox_52
val wl_63 = wl_63
val labelEnergieBebete = labelEnergieBebete
val hbox_53 = hbox_53
val wl_65 = wl_65
val labelEnergieVivant = labelEnergieVivant
val hbox_54 = hbox_54
val wl_67 = wl_67
val labelCodonBebete = labelCodonBebete
val hbox_55 = hbox_55
val wl_69 = wl_69
val labelPopThread = labelPopThread
val hbox_56 = hbox_56
val wl_71 = wl_71
val labelCutThread = labelCutThread
val cadreMonde = cadreMonde
val wl_111 = wl_111
val statusbar = statusbar
method mainWindow = mainWindow
method menubar = menubar
method menuBar_accelgroup = menuBar_accelgroup
method itemfile = itemfile
method menuFile = menuFile
method fileOpen = fileOpen
method fileSave = fileSave
method sep30 = sep30
method fileQuit = fileQuit
method boiteoutils = boiteoutils
method pourAjouter = pourAjouter
method bouton_ajouter = bouton_ajouter
method hbox_118 = hbox_118
method wl_119 = wl_119
method entryIncrement = entryIncrement
method pourLance = pourLance
method bouton_lance = bouton_lance
method labelLance = labelLance
method hbox_31 = hbox_31
method boitestats = boitestats
method bouton_stats = bouton_stats
method hbox_49 = hbox_49
method wl_57 = wl_57
method labelTotalBebetes = labelTotalBebetes
method hbox_50 = hbox_50
method wl_59 = wl_59
method labelDontVivantes = labelDontVivantes
method hbox_51 = hbox_51
method wl_61 = wl_61
method labelThreadBebete = labelThreadBebete
method hbox_52 = hbox_52
method wl_63 = wl_63
method labelEnergieBebete = labelEnergieBebete
method hbox_53 = hbox_53
method wl_65 = wl_65
method labelEnergieVivant = labelEnergieVivant
method hbox_54 = hbox_54
method wl_67 = wl_67
method labelCodonBebete = labelCodonBebete
method hbox_55 = hbox_55
method wl_69 = wl_69
method labelPopThread = labelPopThread
method hbox_56 = hbox_56
method wl_71 = wl_71
method labelCutThread = labelCutThread
method cadreMonde = cadreMonde
method wl_111 = wl_111
method statusbar = statusbar
end;;



@vicuna
Copy link
Author

vicuna commented May 3, 2002

Comment author: administrator

From: lebotlan@beaune.inria.fr

Quand on fait : ocamlc -c -I +lablgtk -pp camlp4o window_base.ml
Fatal error: exception Assert_failure("typing/typeclass.ml", 15689,
15701)
c'est pas super et ca marche pas.

Aargh, j'ai oublie' de dire a Daniel qu'il fallait ajouter un Ptype_poly a tous les types de methodes...

C'est pas trop difficile, il suffit de regarder la ou j'utilise
poly_type a` la place de core_type dans parser.mly, mais j'aurais du
m'en apercevoir plus tot.

Mea culpa, et bon courage a` Daniel.

Jacques

@vicuna vicuna closed this as completed Jun 26, 2002
@vicuna vicuna added the bug label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant