Jeremie Dimino
344fa5d9a9
do not fail when there is no completion in emacs mode
...
Ignore-this: d816c80746b598514f88d6251c8498ae
darcs-hash:20110731164250-c41ad-fd390559494714e025e54bfff2273d18e27b470a
2011-07-31 18:42:50 +02:00
Jeremie Dimino
ca976c49c8
better completion in emacs mode
...
Ignore-this: f6e41bcae10c422366b72296e6040086
darcs-hash:20110731163946-c41ad-1b75259fd6523bf3e06f39a9b716a3a0b86a93f5
2011-07-31 18:39:46 +02:00
Jeremie Dimino
11da27db51
fix the lexer
...
Ignore-this: d94f902c86ec6020d03448507408bc77
darcs-hash:20110731120556-c41ad-9083a68f4138d2b39121bfe6bb2194ca7f4225ac
2011-07-31 14:05:56 +02:00
Jeremie Dimino
3b22daa6ee
fix completion on labels
...
Ignore-this: 51218052e237139196e90f8cd995348
darcs-hash:20110731120210-c41ad-99dd4db54d70b68cff3b4579df23761a0680d409
2011-07-31 14:02:10 +02:00
Jeremie Dimino
3e6d20c5e0
always flush after a read-line
...
Ignore-this: d71a03dad3f04242f210df54085125ac
darcs-hash:20110731090906-c41ad-b65b72867335c51c114f2f37756ea569375aedf7
2011-07-31 11:09:06 +02:00
Jeremie Dimino
9c12bd804f
add "!" in symbols to skip when searching for labels
...
Ignore-this: adaface84cdffce3c7b137806ee1a8a5
darcs-hash:20110731084528-c41ad-5e335c118c2fa1a2ce28e7f4c8a222b5b763272a
2011-07-31 10:45:28 +02:00
Jeremie Dimino
4e2a46ac0d
refactoring
...
Ignore-this: 33a617ed993d635789e8708aaa18f1d5
darcs-hash:20110730223055-c41ad-74657407a65b35358b87eec1aef3dfa91dfe2726
2011-07-31 00:30:55 +02:00
Jeremie Dimino
493a98fd17
completion on methods
...
Ignore-this: 911dc003df02325811916b660c5c223a
darcs-hash:20110730170518-c41ad-dcba20413e9ac11f8f00b565ff61baf8226b4694
2011-07-30 19:05:18 +02:00
Jeremie Dimino
79ee6f1cf3
better completion on record fields
...
Ignore-this: fe0fbd08030cde668012ea324c2f5a6c
When completing on a record, completes only on fields.
darcs-hash:20110730085249-c41ad-ede66ad45c96e2da000ea946a7d036c5bcacf0dc
2011-07-30 10:52:49 +02:00
Jeremie Dimino
5940994d07
completion on labels
...
Ignore-this: 8e07a17f0d1ef18fe5be430e86bfea31
darcs-hash:20110730082907-c41ad-2af417b45a31e90696ea9335752d6a415de51eff
2011-07-30 10:29:07 +02:00
Jeremie Dimino
84c3a41052
simplify parenthesis matching
...
Ignore-this: f21ca14b5d5c6f4018614dec0b6a9ca0
darcs-hash:20110728201850-c41ad-e2e19fee4dab290d7e8324380e1dc9f4c3522728
2011-07-28 22:18:50 +02:00
Jeremie Dimino
7965e3b3d2
add a README file
...
Ignore-this: f41dc4d77fd278216391bcdf741e8a74
darcs-hash:20110728195152-c41ad-60f250303a9601519226dcbbb4f8a4505599f4e3
2011-07-28 21:51:52 +02:00
Jeremie Dimino
60a3e780da
completion in emacs mode
...
Ignore-this: f49eb1b85c5d37069e5de7694af241f7
darcs-hash:20110728193147-c41ad-1a95a93070db5c9b955f28a3b02020a4d6ea53e6
2011-07-28 21:31:47 +02:00
Jeremie Dimino
5426f83657
fix a stickiness bug
...
Ignore-this: 4b2a158defc5fb13e0a514bd9686cba3
darcs-hash:20110728160332-c41ad-9ff458ad48a7063c350127e1032dfaff25d09f74
2011-07-28 18:03:32 +02:00
Jeremie Dimino
e0c1b131a3
better handling of multiple line inputs in emacs mode
...
Ignore-this: 917d53810e44b96c6cfa59801634b05
darcs-hash:20110728154023-c41ad-ab46224a3144db4192420db8e0298e51f32411fe
2011-07-28 17:40:23 +02:00
Jeremie Dimino
f01d238cd4
fix utop-process-output
...
Ignore-this: b28611f674ea8d0425f1e645508d71a2
darcs-hash:20110728145634-c41ad-35a498f358ef63497f032295366f17c4fd8b4a4f
2011-07-28 16:56:34 +02:00
Jeremie Dimino
7c645d9c69
fix a race condition in emacs mode
...
Ignore-this: 4067accb79691119304eccb5153f0eee
darcs-hash:20110728130457-c41ad-b15d4b9c2d12f1233efa9829bc4630925cd79110
2011-07-28 15:04:57 +02:00
Jeremie Dimino
6c41cd6c2e
better handling of splitted commands in emacs mode
...
Ignore-this: 4aa568707f943c1c4db5d19118fe49c
darcs-hash:20110728084327-c41ad-deb3fd37185a8772fff4ad1e9d6acdcc64d6ba9e
2011-07-28 10:43:27 +02:00
Jeremie Dimino
726cd685f3
better completion on files
...
Ignore-this: 4a428f43defed362b42313a377f971f0
darcs-hash:20110727224046-c41ad-4fe4aa6e66f45d3cb6947fbf264275e4c92c101e
2011-07-28 00:40:46 +02:00
Jeremie Dimino
f171e7ec80
resolve module aliases
...
Ignore-this: 9b0c0f2de27ba128bfa3916a7db8631d
darcs-hash:20110727220954-c41ad-849890db65365f2ce3e0cb69f10882e6efa78661
2011-07-28 00:09:54 +02:00
Jeremie Dimino
f7e913a26f
completion on variants and records
...
Ignore-this: 963eae3696632aa49a488a5a25020fd6
darcs-hash:20110727162738-c41ad-dbd180a191a306e4dffb4732d8474092b5c5b7b2
2011-07-27 18:27:38 +02:00
Jeremie Dimino
8ff6b099a6
parentheses matching
...
Ignore-this: 8cf8d95a4847422d07d5073403ead2db
darcs-hash:20110727145351-c41ad-64195df6d2a9b7c88cc1cd0a416d8f6052371b7c
2011-07-27 16:53:51 +02:00
Jeremie Dimino
aaea68fa56
tuareg integration
...
Ignore-this: b4dff4fa5d5eec908e25e8c0f66d1db5
darcs-hash:20110727111818-c41ad-361cfb6e535e60a8a223f70c6fca972f1da3a865
2011-07-27 13:18:18 +02:00
Jeremie Dimino
a1ebb70cb6
emacs mode
...
Ignore-this: a387797436a4995b0376c76507334795
darcs-hash:20110727090447-c41ad-da8929cec04466dcd94b1cf62cbc58f6b8c0f75b
2011-07-27 11:04:47 +02:00
Jeremie Dimino
02d98fff98
completion on identifiers
...
Ignore-this: 3045e07571a9000b25ad6ca85c8233db
darcs-hash:20110727080629-c41ad-07674844d2eccc42353195583a07274bb1d6a53a
2011-07-27 10:06:29 +02:00
Jeremie Dimino
02c2395a79
start of completion
...
Ignore-this: 97dfaa9262f0aae90d15e3ce883356b
darcs-hash:20110726232101-c41ad-08cb52d96233a95f2e6843e09a5eb967331f8ebd
2011-07-27 01:21:01 +02:00
Jeremie Dimino
e877a0ff72
add colors
...
Ignore-this: e67c18ee1f58d9af23b0a53af74f09d5
darcs-hash:20110726221146-c41ad-60551b96cbfff4cbb301fac6fa868ce0b0e22c42
2011-07-27 00:11:46 +02:00
Jeremie Dimino
e24ad5eaae
fix the default prompt
...
Ignore-this: d4bbdf101e04d21a1c69ce63856de1f
darcs-hash:20110726185537-c41ad-2fd1346e3baffb7f13da7d834c7f5ab21af8a5c9
2011-07-26 20:55:37 +02:00
Jeremie Dimino
c851797234
make the utop library
...
Ignore-this: 93a1363724a2dc9799c66d032c0f7ec9
darcs-hash:20110726185034-c41ad-6fc81595684be3fc6445015a13f1dfa8caade63e
2011-07-26 20:50:34 +02:00
Jeremie Dimino
95a67bb1f7
first working version
...
Ignore-this: 15e2821ceb34ae98bc62bf5e49d487d3
darcs-hash:20110726184310-c41ad-fa25fb6d2825eaf71e9d3151fc75031c0f59a513
2011-07-26 20:43:10 +02:00
Jeremie Dimino
dce0895554
setup the build system
...
Ignore-this: 6b30f7e389966d1f6a47a95281971c86
darcs-hash:20110725133042-c41ad-c677ce7d5f2b11ed97a1453a83dc8fe072f3385f
2011-07-25 15:30:42 +02:00
Jeremie Dimino
b2ed9cd814
initial import
...
Ignore-this: c3d22098eda3b0189d5f1d87e6fc548
darcs-hash:20110723065913-c41ad-ee82550f02c53df93111e4c1636bb4576cc4080c
2011-07-23 08:59:13 +02:00