Re: Crash of Frama-C IDE with OCaml 4.02
Adrien Nader <[email protected]> Wed, 17 Sep 2014 13:39:58 +0200
| Newsgroups | gmane.comp.lang.ocaml.lib.gtk |
|---|---|
| Message-ID | <[email protected]> |
T24gV2VkLCBTZXAgMTcsIDIwMTQsIEphY3F1ZXMgR2FycmlndWUgd3JvdGU6Cj4gT24gMjAxNC8w OS8xNyAwNDo0NiwgQWRyaWVuIE5hZGVyIHdyb3RlOgo+ID4gCj4gPiBIbXBmLgo+ID4gCj4gPiBJ IGFtIGN1cnJlbnRseSBvbiBteSBwcmV2aW91cyBjb21wdXRlciB3aGljaCBJIGRvbid0IHVzdWFs bHkgdXNlIGFuZAo+ID4gY2hlY2tlZCBteSBsYWJsZ3RrIGdpdCByZXBvc2l0b3J5LiBUaGVyZSBp cyBjb21taXQgd2hpY2ggSSd2ZSBuZXZlciBwdXNoZWQKPiA+IChiZWNhdXNlIEkgd2FudGVkIHRv IHRlc3QgbW9yZSBpaXJjKToKPiA+IAo+ID4gIFJldmVydCAiR3RrU2lnbmFsLmNvbm5lY3RfcHJv cGVydHk6IGRvbid0IGZldGNoIHRoZSBwcm9wZXJ0eSB2YWx1ZSBieSBoYW5kLiIKPiA+IAo+ID4g IFRoaXMgcmV2ZXJ0cyBjb21taXQgYWRmNmI3YTU5NzIzNTZlZGRmZGQ2Y2I1MjQzZTRlYWY4ZWE1 OWQwMi4KPiA+IAo+ID4gIEFmdGVyIHJlYnVpbGRpbmcgYW5kIHRlc3RpbmcgZm9yIHNvbWV0aGlu ZyB1bnJlbGF0ZWQsIEkgZ290IGEgYnVuY2ggb2YKPiA+ICBlcnJvciBtZXNzYWdlcyBsaWtlIHRo ZSBmb2xsb3dpbmc6Cj4gPiAgICBJbiBjYWxsYmFjayBmb3Igc2lnbmFsIG5vdGlmeTo6cHJvZ3Jl c3MsIHVuY2F1Z2h0IGV4Y2VwdGlvbjoKPiA+ICAgIEZhaWx1cmUoIkd0a1NpZ25hbC5tYXJoc2Fs MSA6IG5vdGlmeTo6cHJvZ3Jlc3MiKQo+ID4gCj4gPiAgVGhlcmUgbWlnaHQgYmUgYSBzaW1wbGUg YW5kIGNsZWFuIHdheSB0byB1c2UgbWFyc2hhbGxlcnMgaW5zdGVhZCBvZgo+ID4gIG1hbnVhbGx5 IGZldGNoaW5nIHRoZSBwcm9wZXJ0eSB3ZSBuZWVkIGJ1dCBJIGRvbid0IGtub3cgaG93IHRvIGRv IGl0Lgo+ID4gIFRoaXMgaXMgbWF5YmUgYSBiaXQgbGVzcyBlbGVnYW50IGFuZCBhIHRpbnkgYml0 IHNsb3dlciBidXQgYXQgbGVhc3QgaXQKPiA+ICB3b3Jrcy4KPiA+IAo+ID4gICgqIG5vdGlmeTo6 Zm9vIHNpZ25hbHMgc2VlbXMgdG8gYmUgc29tZSBnbGliIGludGVybmFsIHRoYXQgbm9vbmUgZXZl cgo+ID4gICAqIHRob3VnaHQgd291bGQgYmUgaW50ZXJlc3RpbmcgdG8gZG9jdW1lbnQgKikKPiA+ IAo+ID4gSXQgbWF0Y2hlcyBleGFjdGx5IHRoZSBpc3N1ZSB5b3UndmUgZGVzY3JpYmVkLiBUaGUg ZGlmZiAob2YgdGhlIHJldmVydCkgaXM6Cj4gPiAKPiA+ICAgbGV0IGNvbm5lY3RfcHJvcGVydHkg fihwcm9wOignYSwgXykgcHJvcGVydHkpIH5jYWxsYmFjayAob2JqIDogJ2Egb2JqKSA9Cj4gPiAg ICAgbGV0IG5hbWUgPSAibm90aWZ5OjoiIF4gcHJvcC5Hb2JqZWN0Lm5hbWUgaW4KPiA+ICAtICBs ZXQgbWFyc2hhbGxlciA9IG1hcnNoYWwxIHByb3AuY29udiBuYW1lIGluCj4gPiAgLSAgY29ubmVj dF9hdXggfm5hbWUgfm1hcnNoYWxsZXIgfmNhbGxiYWNrIG9iago+ID4gICsgIGxldCBjYWxsYmFj ayA9IGZ1biAoKSAtPiBjYWxsYmFjayAoZ2V0IHByb3Agb2JqKSBpbgo+ID4gICsgIGNvbm5lY3Rf YXV4IH5uYW1lIH5tYXJzaGFsbGVyOm1hcnNoYWxfdW5pdCB+Y2FsbGJhY2sgb2JqCj4gPiAKPiA+ IElzIGFueW9uZSBhYmxlIHRvIGNvbW1lbnQgb24gaXQgYW5kIG1ha2Ugc3VyZSB0aGVyZSBpc24n dCBhIHRoaXJkIHdheSB0bwo+ID4gZG8gdGhpbmdzIG9yIHRoYXQgdGhlIGN1cnJlbnQgY29kZSBk b2Vzbid0IGhhdmUgc29tZSBvYnZpb3VzIHN0dXBpZCBidWc/Cj4gCj4gCj4gSeKAmW0gbm90IHN1 cmUgd2hhdCBpcyB5b3VyIGNvbmNlcm4sIGJ1dCB1c2luZyBHb2JqZWN0LmdldCBzZWVtcyB0aGUg c3RhbmRhcmQKPiB0aGluZyB0byBkbyBpbiB0aGF0IHNpdHVhdGlvbiAodXNpbmcgYSB3ZWxsLXRl c3RlZCBjb2RlIHBhdGgpLgo+IFNob3VsZCBJIGNvbW1pdCB0aGlzIG9uZSBhbmQgcmVsZWFzZT8K PiAKPiAJSmFjcXVlcwoKSSBoYXZlbid0IHRvdWNoZWQgdGhhdCBjb2RlIGluIGEgZmFpcmx5IGxv bmcgdGltZSBzbyBJIHdhcyBhIGJpdCB1bnN1cmUKaXQgd2FzIGNvcnJlY3QuIFRoYW5rcyBmb3Ig dGFraW5nIGEgbG9vay4KCklmIGl0IHN1aXRzIHlvdSBJJ2xsIHB1c2ggdGhlIGZ1bGwgY29tbWl0 IHRvbmlnaHQgKGkuZS4gaW4gOCB0byAxMApob3Vycyk7IGlmIGl0IGRvZXNuJ3QsIGdvIG9uIGFu ZCBtYWtlIGEgY29tbWl0IHlvdXJzZWxmLgoKLS0gCkFkcmllbiBOYWRlcgpfX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpMYWJsZ3RrLWxpc3QgbWFpbGluZyBs aXN0CkxhYmxndGstbGlzdEBsaXN0cy5mb3JnZS5vY2FtbGNvcmUub3JnCmh0dHBzOi8vbGlzdHMu b2NhbWxjb3JlLm9yZy9jZ2ktYmluL2xpc3RpbmZvL2xhYmxndGstbGlzdAo=