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

132 Commits

Author SHA1 Message Date
wojciech.meyer b09cf8da02 remove byte compilation warnings 
Ignore-this: 628353be0d3e1d11d84fdc89f9a7690d

darcs-hash:20120303194751-33bd9-5bb0c7c9e5e1312d87cd764c9cb29f48faa892aa
 2012-03-03 20:47:51 +01:00
wojciech.meyer bd61b32e8a wrap process-send-string with utop-send-string 
Ignore-this: feb94f7ed3efee69e26ad73ac8503e8a
This adds needed checks, and start utop when the rest of the code wants to send string to the process and utop is not loaded

darcs-hash:20120303180200-33bd9-4aff67226cd9d3db1194c53a48f1bbe195c4badc
 2012-03-03 19:02:00 +01:00
wojciech.meyer 023e72933d interactive list of packages now work in Emacs 
Ignore-this: f5beeb274d704e63b8520b91ad33b39b

darcs-hash:20120303175448-33bd9-2fca1cf41d9a66bfcbd75262b64bc41a25774fc7
 2012-03-03 18:54:48 +01:00
wojciech.meyer 01263d3532 convert `utop-perform' to more idiomatic quotation based macro 
Ignore-this: 2729a0e0375729f93301f73701b272

darcs-hash:20120303144223-33bd9-95a371ecc3b7b953e0f0e4bb7317e7d79fa30791
 2012-03-03 15:42:23 +01:00
wojciech.meyer f91647a254 Prelimnary support for "require:" command - in progress. Handle links in buttons 
Ignore-this: 148a3142a2f40cc05f887cb0c53712fb

darcs-hash:20120301035606-33bd9-14ca041ed4b73a645a5251a4fff63774490d8766
 2012-03-01 04:56:06 +01:00
wojciech.meyer 98f032b5a5 Change list-ocaml-packages to less generic utop-list-ocaml-packages to avoid clashes 
Ignore-this: 13ccbbe0c15950de745c971f176cdc1c

darcs-hash:20120301014430-33bd9-378cbc298ae1a75603eaf6bc894d8fc097be42fd
 2012-03-01 02:44:30 +01:00
wojciech.meyer 63b7f5df6e Remove trailing whitespace 
Ignore-this: 89ea7ff25320e70fb51524e9a5673f

darcs-hash:20120301014322-33bd9-eab207fe4cf1799e666045d16ae68dddd8602e6b
 2012-03-01 02:43:22 +01:00
wojciech.meyer 6a5693772f Use tabulated-list-mode to create a widget to choose findlib package 
Ignore-this: dae6384889fa21002d0669860d557122

darcs-hash:20120301014144-33bd9-97d020adaad5f924a807a1310a59b2a31b40a245
 2012-03-01 02:41:44 +01:00
wojciech.meyer a186e64385 Make utop-mode to defined via define-derived-mode. Sinc define-derived-mode can't produce mode accepting arguments - now the arguments are taken from the utop-command. Factor out utop-get-arguments to utop-query-arguments and utop-arguments 
Ignore-this: ad14d3459012cf828815b72999328b49

darcs-hash:20120229042009-33bd9-039c63518e33f2001b86d07388b8d0c3e61dbca0
 2012-02-29 05:20:09 +01:00
Jeremie Dimino 010febbc4f update CHANGES 
Ignore-this: c7e47c1d0c684135e8aa3ffe400f7596

darcs-hash:20120226191146-c41ad-264ae0e03fb93e381b2a77356602a2e6ee427c61
 2012-02-26 20:11:46 +01:00
Jeremie Dimino e09f3d60f5 update CHANGES 
Ignore-this: 283039218d33fc94206bd7b900b6f20c

darcs-hash:20120226185923-c41ad-1dbc7ef90668278d3d1b456e012c392d38820789
 2012-02-26 19:59:23 +01:00
Jeremie Dimino 9e1ca8d41f remove unused gtk resources 
Ignore-this: 2d162e76c95d6e7767dd94a7bbf1e837

darcs-hash:20120226182802-c41ad-43f5d83ab74709db2cb11f72da6a2beede2deadf
 2012-02-26 19:28:02 +01:00
Jeremie Dimino 5be22e37eb handle warnings printed on stderr 
Ignore-this: d07506d448326fd2675565215457dddc

darcs-hash:20120223140700-c41ad-6f4576a10ef6b3d3b586803e0de66e0e6d6be698
 2012-02-23 15:07:00 +01:00
Jeremie Dimino a3367ec947 handle camlp4ast -> ocamlast conversion errors 
Ignore-this: 80e1397388e84be3a301279b26da1b30

darcs-hash:20120223132338-c41ad-ef4dc650c12d214c9b898da6acd408fb327d2449
 2012-02-23 14:23:38 +01:00
Jeremie Dimino b6c3d44ac2 better support for revised syntax 
Ignore-this: a75d11960fc1daa6c8838f0e00747333

darcs-hash:20120223105439-c41ad-1904218737a1b71fdadc159f606f5c2ca58cfed9
 2012-02-23 11:54:39 +01:00
Jeremie Dimino d8dae4ac5f typerex mode integration 
Ignore-this: 75eac634eda3b909b6cac3ad1e6bab64

darcs-hash:20120222191910-c41ad-efba56e4d469a58b5595c992d1473768d38578c1
 2012-02-22 20:19:10 +01:00
Jeremie Dimino a196bb8802 better detection of Lwt.t values 
Ignore-this: c1fb44905029d45646301f66bb3ca078

darcs-hash:20120222172522-c41ad-e4fb0b9b6d0245d4aa958c69bcce3969c822795a
 2012-02-22 18:25:22 +01:00
Jeremie Dimino f819014eb9 strip camlp4 error messages 
Ignore-this: d9cee7dccc2270054156437b92e5e57e

darcs-hash:20120222162516-c41ad-b97dd13591562c7fdb96ede631b501f4d392e32b
 2012-02-22 17:25:16 +01:00
Jeremie Dimino 4171f877a6 better mechanism for colorising output phrases 
Ignore-this: 381f771be484c08c09b9aec63e20c686

darcs-hash:20120222162147-c41ad-ac49b2283e41a8ab09e5d413d7df125b0baf33e4
 2012-02-22 17:21:47 +01:00
Jeremie Dimino 4fc06ba0a3 correctly lex quotations and antiquotations and do completion inside antiquotations 
Ignore-this: 399f6b2dd65fd530e684d09cf5d57d0a

darcs-hash:20120222155931-c41ad-835a2ccf63ac1e853846972880a49d1f8ff6a236
 2012-02-22 16:59:31 +01:00
Jeremie Dimino 394175914d better description in _oasis 
Ignore-this: 1d393f1d6351661d09eda7c620f0b0f9

darcs-hash:20120220133619-c41ad-22d4a6caa74a8afb823ca16e5bb79a8cf76af686
 2012-02-20 14:36:19 +01:00
Jeremie Dimino 65ad8cd988 make UTop_camlp4 public so the user can reuse it 
Ignore-this: 103cabecad95046cf6686b55028de6c9

darcs-hash:20120220101444-c41ad-5e51be240cb26f1ca02fc37655d464b5acf1cbab
 2012-02-20 11:14:44 +01:00
Jeremie Dimino 40c2801b99 execute delayed actions before parsing with camlp4 
Ignore-this: 162f06f1949d9af97793705ffd762a7

darcs-hash:20120220100112-c41ad-251c93cbec866030e3d736083db3a974e0bf59bf
 2012-02-20 11:01:12 +01:00
Jeremie Dimino dbae1b32bc typo 
Ignore-this: 35a418560754730e6c52f8730ba47b59

darcs-hash:20120220095457-c41ad-50a3a983630fff04845f8ba1cca47b261d897fcd
 2012-02-20 10:54:57 +01:00
Jeremie Dimino dcdab7ac0f handle directive errors 
Ignore-this: f9d34b11616ac661ed173d247b41cfe1

darcs-hash:20120217105127-c41ad-c23ea68992ece18a620ae19947307497935c7fef
 2012-02-17 11:51:27 +01:00
Jeremie Dimino 02e8648628 fix fix_string 
Ignore-this: 58f31abea9193b83b24d22a659e203e4

darcs-hash:20120215204740-c41ad-b6a63ec253a8b796a82bfb8a9db0b0e098fac131
 2012-02-15 21:47:40 +01:00
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