haskal
/
utop
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
106 Commits 1 Branch 0 Tags 1.3 MiB
Commit Graph

106 Commits

Author SHA1 Message Date
Jeremie Dimino bd9d70ecfc do not fail when the printing of a phrase contains invalid UTF-8 
Ignore-this: 26096597481104d05c42fef1600bcc05

darcs-hash:20120215173608-c41ad-e8b59147ddc66dc91178d83ce5215bdc2491b692
 2012-02-15 18:36:08 +01:00
Jeremie Dimino 057f6d81bf add lines that contains errors to history in emacs 
Ignore-this: 12a4a9bb9aaa6559543ec5dcfcb7bfc4

darcs-hash:20120215170433-c41ad-bfe19305a59bdd895ef47f061bee9f2f04b8893a
 2012-02-15 18:04:33 +01:00
Jeremie Dimino d2e0e79dd4 save history when receving a sighup 
Ignore-this: 219e88bce2dafc999b6f2f73a16274bf

darcs-hash:20120215154929-c41ad-6377472357c9ff2e29abfc794ec23e988872f9d9
 2012-02-15 16:49:29 +01:00
Jeremie Dimino 6aeb61432a save history before killing the emacs buffer 
Ignore-this: 165539f1b3cc25e7bbfe51c29c378798

darcs-hash:20120213145725-c41ad-5c47d1977067310ba024249b47b8251ff1b10ee9
 2012-02-13 15:57:25 +01:00
Jeremie Dimino 12dd581b99 allow to gracefully quit utop in emacs 
Ignore-this: 3360f5c57bfb97f64d4f4509901ea0cd

darcs-hash:20120213092110-c41ad-88847c98d4a92479772b02d4fe88cdfa85fad9b6
 2012-02-13 10:21:10 +01:00
Jeremie Dimino 3fe28723e2 use the real history in emacs 
Ignore-this: 2ec438176bdf1549eb2b7c6c8f3f5e50

darcs-hash:20120212204029-c41ad-c5e71ad6e8d290b0c7e19994e3ba46879b38089d
 2012-02-12 21:40:29 +01:00
Jeremie Dimino 8725e10070 more history settings 
Ignore-this: d048fb6bc7cc235fdc4ea6c75d4525a4

darcs-hash:20120212193712-c41ad-96b5f2057ff55811cdd90a8e8ae2be3e4af3d4d3
 2012-02-12 20:37:12 +01:00
Jeremie Dimino 361d6459f6 use the new history system 
Ignore-this: 3a1d9830d09215b8c34ac97ee79fd97d

darcs-hash:20120212190432-c41ad-865dd5a514e2a3175f6c5412f54567fb7861638c
 2012-02-12 20:04:32 +01:00
Jeremie Dimino 0f9b05239e allow to change the utop command in emacs 
Ignore-this: 8efba5419e27c25b877194e768c0ab02

darcs-hash:20120211183745-c41ad-d9d63da96fdff26217e5f9aba65c14459a621ab1
 2012-02-11 19:37:45 +01:00
Jeremie Dimino c29eaa9f99 do not fail in completion when a compiled interface do not match 
Ignore-this: 46faaa2093d746bbbc1ab51a050e8b23

darcs-hash:20120211104110-c41ad-711b0267780ea9ce6ae8a00e9e5548c51a34fac3
 2012-02-11 11:41:10 +01:00
Jeremie Dimino 4a43491f55 next gen utop 
Ignore-this: c0e7aa3db012df3af520003d99403929

- reimplement the toplevel loop without using the standard one
- handle ocaml parsing/typing/compilation error messages to correctly
  highlight error locations in the console and in emacs
- detect incomplete input and don't try to evaluate it
- automatically run with Lwt_main.run values with type _ Lwt.t
- colorize values

darcs-hash:20120211092107-c41ad-de115ed1ec0806b4261a3182f58fb2498e040d9d
 2012-02-11 10:21:07 +01:00
Jeremie Dimino 5deae637a0 set mode-line-process in emacs 
Ignore-this: 7152b56d2cf91742544051b7478398f8

darcs-hash:20120203104913-c41ad-ac905fae8b928ca0989cfc7acc070d854db74979
 2012-02-03 11:49:13 +01:00
Jeremie Dimino 2f218dd339 add a menu 
Ignore-this: 6ead244dfba763748526761ade907ac4

darcs-hash:20120203103140-c41ad-ce51c697f42bdfbcd0212b18581ac1f1e2a0c36b
 2012-02-03 11:31:40 +01:00
Jeremie Dimino 21ebe44ff0 better tuareg integration 
Ignore-this: 4ba7fb3a818232c1423c9d7f1a65f318

darcs-hash:20120203094158-c41ad-f9d191e4ead0c4e8f7c7156edf1d92b3c381ac8e
 2012-02-03 10:41:58 +01:00
Jeremie Dimino e52fb6987a hide completion when found one 
Ignore-this: a038175ae185d87f9fb3aaadd2fd9504

darcs-hash:20120203065638-c41ad-d231e837d60c80a15aa85b659048ca8d51740a64
 2012-02-03 07:56:38 +01:00
Jeremie Dimino a877bb1028 add a missing add-hook 
Ignore-this: 2f586cf13c72cacb438f911cdeff19b0

darcs-hash:20120202224528-c41ad-8e638a91d8c04073bebf805451e3c9d019016e6a
 2012-02-02 23:45:28 +01:00
Jeremie Dimino ed24214af0 hack to force camlp4 to display its welcome message before the prompt in emacs 
Ignore-this: fe0dee42954ec08b0465d6a57d45dd98

darcs-hash:20120202223923-c41ad-967ee6191c205214ac8d220fddc2d80c4cb9c5bc
 2012-02-02 23:39:23 +01:00
Jeremie Dimino 49e59693f9 allow to restart utop in the same buffer 
Ignore-this: 671e1170602f13fa2fb9a08a07abbbfd

darcs-hash:20120202220740-c41ad-4263d99bb641d6b1168a56eb98e8a978e5298685
 2012-02-02 23:07:40 +01:00
Jeremie Dimino 465b5e8aad always move the point to the end of all utop buffers when the prompt appears in emacs 
Ignore-this: 20924b2ba96e14db5421ff96552b5cdb

darcs-hash:20120202212320-c41ad-6b49252f780dc562bea0a5146d94cb18a26f2d1a
 2012-02-02 22:23:20 +01:00
Jeremie Dimino 1fc01ed241 better handling of non-editable part in emacs 
Ignore-this: 3eefd6ba6429a1db3679662b524e2a07

darcs-hash:20120202203044-c41ad-7a0e856f3a00ef5730705cf3d1e3ce17f17f4c04
 2012-02-02 21:30:44 +01:00
Jeremie Dimino db6cbf1f61 add a sentinel in the emacs mode to print status at the end of the buffer 
Ignore-this: a28596e0b3eaf811a1ce7ffb9b56c0c8

darcs-hash:20120202153104-c41ad-e872c7f5e94c3469e6b44bfdd2f9a5ae184a0ef9
 2012-02-02 16:31:04 +01:00
Jeremie Dimino ff8ef4b766 ignore breaks while reading a line in emacs 
Ignore-this: 8983f41fefddaf597300d9679f5c798d

darcs-hash:20120202141920-c41ad-374eaecb31bfbe820440d4380f7757e3c7071b1c
 2012-02-02 15:19:20 +01:00
Jeremie Dimino c1ff52459d allow to interrupt and kill utop in emacs 
Ignore-this: 9ee0deb47932d7baf7084ae8025a2f31

darcs-hash:20120202140753-c41ad-8f877a7d2c9debfc56efee729cdcdab8fcc18596
 2012-02-02 15:07:53 +01:00
Jeremie Dimino 72c35f5518 fixes for mintty 
Ignore-this: 4bf6c68855167b1f094a4dde818bd000

darcs-hash:20120126105011-c41ad-159732298309c6e5e9846aed9047ec37e5c49d9c
 2012-01-26 11:50:11 +01:00
Jeremie Dimino 26a241e376 prevent findlib from being initialized twice 
Ignore-this: 5957b6f8068ac6f1234b73bf3fbb9922

darcs-hash:20120122143706-c41ad-9fb04457e9c3454c4910e7c46ccebc2e192144fe
 2012-01-22 15:37:06 +01:00
Jeremie Dimino f5663a80f4 ensure -package lwt.syntax is not passed for executables 
Ignore-this: 3337806c6b44ce638ff9cb3d98778277

darcs-hash:20120122143643-c41ad-5471d1c391b95a8e7fbefe61a1f99b23ef541ed3
 2012-01-22 15:36:43 +01:00
Jeremie Dimino cf0fde1559 fix expunged pacakges 
Ignore-this: 105de7e1d9d2cc2a95d492fae5945450

Expunge only packages tagged for a pragraam

darcs-hash:20120122025410-c41ad-f3df3a4e3e331b262003c522c1c5e5c9594832b5
 2012-01-22 03:54:10 +01:00
Jeremie Dimino 0506de1850 enable conditionnal compilation of utop-gtk 
Ignore-this: 1dcd68bb631951eaecb341d0e0521ead

darcs-hash:20120121215446-c41ad-d1f8bb504c698bd6b4416c36eba14ca701f00e7d
 2012-01-21 22:54:46 +01:00
Jeremie Dimino b5ae4d9f85 depend on camlp4 instead of camlp4.lib 
Ignore-this: 215c03c4a113cf0e37cb819f9569f3ab

darcs-hash:20120104141813-c41ad-3b63303bc41bc2ba1adc30a4f464023dfcb73f98
 2012-01-04 15:18:13 +01:00
Jeremie Dimino 516f2c4800 update optcomp 
Ignore-this: 524a25072a03d9507026255ae6189510

darcs-hash:20111223215332-c41ad-712fbfc49be95dd491957de824bbec079517be11
 2011-12-23 22:53:32 +01:00
Jeremie Dimino b340d4292d update setup.ml for latest oasis 
Ignore-this: 5c6f3a3832fdc6456179bf2158a49987

darcs-hash:20111122192808-c41ad-3b761bfa13ae21f4d976bf4c1fd7fe50190a2f87
 2011-11-22 20:28:08 +01:00
Jeremie Dimino 66a816fe72 add UTop.exec_in_gui 
Ignore-this: dc3c14404cb338f609e1d486664a1676

darcs-hash:20110921130911-c41ad-72bec8de684d12f9c16c0ae5a0e56a6627230021
 2011-09-21 15:09:11 +02:00
Jeremie Dimino c511fa0f02 use the custom prompt 
Ignore-this: 1912534fb4073b2f4774bb09fe977365

darcs-hash:20110921042650-c41ad-9a21b4232ac8e2d13af8b0fc588749de3e161212
 2011-09-21 06:26:50 +02:00
Jeremie Dimino 4a456f0b59 do not expunge gtk modules 
Ignore-this: 5491c43d53bf3c10a6f6257d36e2902d

darcs-hash:20110921003037-c41ad-5839cbdaa108f44a69e2ac2046c9d4d3cd345228
 2011-09-21 02:30:37 +02:00
Jeremie Dimino e2bd3d586b do the window#show in the dispatcher thread 
Ignore-this: e43b5a6f7a724bba9dd0957a7c1b8399

darcs-hash:20110921002225-c41ad-cd0cee9ced2fca7c0b399bbf392ff99ecdd37955
 2011-09-21 02:22:25 +02:00
Jeremie Dimino ddf0556887 use our own glib loop which do not use busy waiting like lablgtk does 
Ignore-this: 12071140b9a724a83be67ae28af0d0ec

darcs-hash:20110920213743-c41ad-9d4d5be7abb46be0172b9f971a6e27745bf2e74c
 2011-09-20 23:37:43 +02:00
Jeremie Dimino 7c4194a223 add styles to the GTk ui 
Ignore-this: 79cd2a422f1c45ce08644396abf4c443

darcs-hash:20110920182657-c41ad-1cfb44fa2ff4ff5e01ec4547c480bde62bb639af
 2011-09-20 20:26:57 +02:00
Jeremie Dimino 2351c45995 start of the GTK ui 
Ignore-this: b51ff928e96baaa006c6ffc612196645

darcs-hash:20110920154735-c41ad-1bc3b29f91f26b1436235470bf4de5ef64de6146
 2011-09-20 17:47:35 +02:00
Jeremie Dimino 5433a5cdd8 put files in different directories 
Ignore-this: 2df11f9183d273759941b09dbec314c6

darcs-hash:20110920122950-c41ad-eec84c9824fc0077abec452a2d865990a443df63
 2011-09-20 14:29:50 +02:00
Jeremie Dimino bfc7f9aad1 fix the install-compiler-libs.sh script on Windows 
Ignore-this: 1e5c80eb7f41dc18122668fa633ccd87

darcs-hash:20110919235011-c41ad-175eeac14368a81e71a24ebec0f3b97de2284448
 2011-09-20 01:50:11 +02:00
Jeremie Dimino 82b2998b1b make sure the welcome message is correctly displayed on windows 
Ignore-this: da5b08ebad927d04134a48a0958ca804

darcs-hash:20110919234918-c41ad-68a7319d9b78d4fdf77f98f5ab5c3307472c756e
 2011-09-20 01:49:18 +02:00
Jeremie Dimino 7125782c8b allow to create the toplevel with debugging informations 
Ignore-this: d993a5d1397aadd9d2d3d41f8dd122f3

darcs-hash:20110916110346-c41ad-6b6d5717082e90e291d57acb05b631feba5b5591
 2011-09-16 13:03:46 +02:00
Jeremie Dimino 216686b89f do not manage SIGINT 
Ignore-this: 113a23f695ca40788c12279e64b19e9f

darcs-hash:20110828152450-c41ad-1d223ee84c2149921b1b938cf86b3e5671fbf634
 2011-08-28 17:24:50 +02:00
Jeremie Dimino 5c7ce88938 fix LICENSE date 
Ignore-this: 7fa554efde0713d1b070c232e1bcf441

darcs-hash:20110825082213-c41ad-6c2c752e83e2d86e03d618c5361cca7163420067
 2011-08-25 10:22:13 +02:00
Jeremie Dimino 4b8ce2bf82 correctly handle the SIGINT signal 
Ignore-this: ea0c2dbb5cba430cc586a66d26f094d1

darcs-hash:20110812211135-c41ad-ed9759f105d138c264cca67d0a0cdefda1a5f0a7
 2011-08-12 23:11:35 +02:00
Jeremie Dimino 7a791ae5ef use LTerm_text.stylise_parenthesis 
Ignore-this: 89d793e3ecb8b555d195d7cdfeed0610

darcs-hash:20110809063116-c41ad-2ac81c5f65ec52f21883c5c8cb52383f62ba7c4e
 2011-08-09 08:31:16 +02:00
Jeremie Dimino 1f9576e22c version 1.1 
Ignore-this: 28c69e0277b1ec0023b7ccdb4caff539

darcs-hash:20110806114014-c41ad-f18ec6b811c3d66b091160ed0b184ee8f21cbf0e
 2011-08-06 13:40:14 +02:00
Jeremie Dimino a8702b30a5 add ` to the list of symbol to skip when looking for labels 
Ignore-this: ee728fd5b73e1502802bef89185ca5a6

darcs-hash:20110805193945-c41ad-e950ce096e353ec23a86efd2ba0dc8d60a5f8582
 2011-08-05 21:39:45 +02:00
Jeremie Dimino 65fc1791c7 only handle Accept when in edition mode 
Ignore-this: dd48ad5ed053979210179d2336ff5d19

darcs-hash:20110804191828-c41ad-5867e30933324360da4a738da02eeb025f11d9d6
 2011-08-04 21:18:28 +02:00
Jeremie Dimino c8f68e4c07 use UTop.smart_accept 
Ignore-this: 5a561be82ed2ff9f4d0aed99e5320c33

darcs-hash:20110804152939-c41ad-d44f69ddd40e6adeff7d3a4ecf5bac70391ec3cf
 2011-08-04 17:29:39 +02:00