adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.3 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
Guest58 has joined #ocaml
Algebr has joined #ocaml
Algebr has quit [Remote host closed the connection]
lobo has quit [Quit: leaving]
emaphis has quit [Ping timeout: 246 seconds]
^elyse^ has quit [Quit: Leaving...]
ygrek_ has joined #ocaml
orbifx has quit [Ping timeout: 265 seconds]
madroach has quit [Ping timeout: 260 seconds]
madroach has joined #ocaml
rgrinberg has joined #ocaml
Guest58 has quit [Ping timeout: 272 seconds]
teknozulu has joined #ocaml
Tekilla has quit [Ping timeout: 272 seconds]
yegods has joined #ocaml
madroach has quit [Ping timeout: 260 seconds]
sepp2k has quit [Quit: Leaving.]
madroach has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
swgillespie[GT] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
emaphis has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
jeffmo has quit [Read error: Connection reset by peer]
jeffmo has joined #ocaml
ollehar has joined #ocaml
rand has quit [Quit: leaving]
swgillespie has joined #ocaml
ollehar has quit [Remote host closed the connection]
echo-area has joined #ocaml
<python476> can ocaml pattern match array slices ?
<python476> like [| fst; rest... |] ?
<Drup> No
<Drup> only fixed size
<Drup> [| foo ; bar |]
<python476> is there a fundamental problem as for why this isn't in the language ?
<Drup> no :p
<Drup> well, yes and no. arrays are not slices
<Drup> so, taking a slice induce a copy
<Drup> (for the array in the stdlib, there are other implementations)
<python476> it seems straightforward to have typing rules [| x ; y ; z... |] as A where y is A.(<prefix>, A.length). It look typeable
swgillespie is now known as swgillespie[GT]
<python476> ok
pacmann has quit [Remote host closed the connection]
jeroud has quit [Remote host closed the connection]
bobpoekert has quit [Remote host closed the connection]
metadave has quit [Remote host closed the connection]
andreypopp has quit [Remote host closed the connection]
mariusae has quit [Remote host closed the connection]
S11001001 has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 240 seconds]
ncthom91 has joined #ocaml
infinity0 has quit [Ping timeout: 244 seconds]
infinity0 has joined #ocaml
rgrinberg has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
netrobyatmobile has joined #ocaml
shinnya has quit [Ping timeout: 244 seconds]
pyon has joined #ocaml
jeffmo has quit [Quit: jeffmo]
darkf has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 240 seconds]
python476 has quit [Ping timeout: 246 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
inr has quit [Ping timeout: 272 seconds]
Bahman has joined #ocaml
<Bahman> Hi all!
<pierpa> hello
inr has joined #ocaml
tmtwd has quit [Ping timeout: 250 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
nchambers is now known as dtscode
govg has joined #ocaml
slash^ has joined #ocaml
ril has joined #ocaml
swgillespie[GT] has quit [Read error: Connection reset by peer]
swgillespie has joined #ocaml
ori has joined #ocaml
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
teknozulu has quit [Ping timeout: 244 seconds]
govg has quit [Quit: leaving]
python476 has joined #ocaml
pierpa has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
emaphis has quit [Ping timeout: 265 seconds]
rgrinberg has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
jeroud has joined #ocaml
Kakadu has joined #ocaml
ori has quit [Quit: Bye.]
slash^ has quit [Read error: Connection reset by peer]
slash^ has joined #ocaml
FreeBirdLjj has joined #ocaml
rgrinberg has joined #ocaml
ygrek_ has quit [Ping timeout: 265 seconds]
tvaalen has joined #ocaml
troydm has quit [Ping timeout: 260 seconds]
Fleurety has quit [Ping timeout: 265 seconds]
rgrinberg has quit [Ping timeout: 260 seconds]
mort___ has joined #ocaml
troydm has joined #ocaml
ori has joined #ocaml
Bahman has quit [Read error: Connection reset by peer]
Bahman has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
Bahman has quit [Quit: Ave atque vale]
Lis has quit [Read error: Connection reset by peer]
Haudegen has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
orbifx has joined #ocaml
^elyse^ has joined #ocaml
ivan\ has quit [Ping timeout: 246 seconds]
mort___ has quit [Quit: Leaving.]
tane has joined #ocaml
psy_ has quit [Ping timeout: 272 seconds]
fds_ is now known as fds
fds has quit [Changing host]
fds has joined #ocaml
ivan\ has joined #ocaml
^elyse^ has quit [Quit: Leaving]
mort___ has joined #ocaml
mort___ has quit [Quit: Leaving.]
tane has quit [Ping timeout: 260 seconds]
jeroud has quit [Remote host closed the connection]
tane has joined #ocaml
yegods has quit [Remote host closed the connection]
mort___ has joined #ocaml
tane has quit [Ping timeout: 240 seconds]
tane has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
mort___ has quit [Quit: Leaving.]
emaphis has joined #ocaml
jeroud has joined #ocaml
andreypopp has joined #ocaml
ggole has joined #ocaml
ollehar has joined #ocaml
mariusae has joined #ocaml
metadave has joined #ocaml
S11001001 has joined #ocaml
Guest58 has joined #ocaml
yegods has joined #ocaml
mort___ has joined #ocaml
yegods has quit [Ping timeout: 250 seconds]
bobpoekert has joined #ocaml
govg has joined #ocaml
orbifx has quit [Ping timeout: 252 seconds]
pacmann has joined #ocaml
BitPuffin|osx has joined #ocaml
tane has quit [Ping timeout: 255 seconds]
emaphis has quit [Ping timeout: 250 seconds]
theblatte has quit [Quit: brb]
pacmann has quit [Remote host closed the connection]
tane has joined #ocaml
theblatte has joined #ocaml
mort___ has quit [Quit: Leaving.]
yegods has joined #ocaml
echo-area has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
beginner has joined #ocaml
<beginner> how i can i define include folders with obuild
rgrinberg has quit [Ping timeout: 240 seconds]
orbifx has joined #ocaml
mort___ has joined #ocaml
orbifx has quit [Remote host closed the connection]
orbifx has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
ollehar has quit [Ping timeout: 252 seconds]
orbifx has left #ocaml [#ocaml]
tane has quit [Ping timeout: 250 seconds]
tane has joined #ocaml
ollehar has joined #ocaml
darkf_ has joined #ocaml
<beginner> is someone here using obuild?
<companion_cube> sorry, I'm not
<beginner> companion_cube: what are you using instead?
darkf has quit [Ping timeout: 246 seconds]
fraggle_ has joined #ocaml
<companion_cube> ocamlbuld
<companion_cube> well, oasis in fact
<companion_cube> but it relies upon ocamlbuild
Guest58 has quit [Ping timeout: 272 seconds]
darkf_ is now known as darkf
Derobos has joined #ocaml
ollehar has quit [Quit: ollehar]
^elyse^ has joined #ocaml
^elyse^ has quit [Client Quit]
tmtwd has joined #ocaml
pierpa has joined #ocaml
netrobyatmobile has quit [Quit: Connection closed for inactivity]
tani has joined #ocaml
tane is now known as Guest50115
Guest50115 has quit [Killed (verne.freenode.net (Nickname regained by services))]
tani is now known as tane
Guest58 has joined #ocaml
orbifx has joined #ocaml
rgrinberg has joined #ocaml
contempt has quit [Ping timeout: 255 seconds]
rgrinberg has quit [Ping timeout: 250 seconds]
lobo has joined #ocaml
ollehar has joined #ocaml
pyon has quit [Quit: Angels fall, all for you, heretic! Demon heart, bleed for us! (My soul is yours, Dark Master. I will fight for you.)]
pyon has joined #ocaml
^elyse^ has joined #ocaml
ncthom91 has joined #ocaml
palomer has joined #ocaml
<palomer> hey guys
<palomer> anyone know how to set warnings to all using ocamlbuild’s _tags ?
darkf has quit [Quit: Leaving]
<palomer> cool!
mort___ has quit [Quit: Leaving.]
FreeBirdLjj has quit [Remote host closed the connection]
swgillespie has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
MercurialAlchemi has joined #ocaml
rgrinberg has joined #ocaml
palomer has quit [Ping timeout: 252 seconds]
palomer_ has joined #ocaml
tmtwd has quit [Ping timeout: 260 seconds]
mahem1__ is now known as mahem1
ril has joined #ocaml
<infinity0> anyone using merlin here?
<infinity0> in emacs, i can type annotate with C-c C-t
<infinity0> how do i have it do that automatically under my cursor
<infinity0> so i don't have to keep typing that in and getting RSI from it
<infinity0> (also would be nice to display it underneath the cursor, like how company-mode does it)
ncthom91 has joined #ocaml
<ggole> That would be immensely annoying for large types, wouldn't it?
<flux> in those cases you could use C-c C-t?
yegods has quit [Remote host closed the connection]
<flux> otherwise truncate and put it to modeline. if the user wants, of course.
Guest58 has quit [Ping timeout: 240 seconds]
<ggole> Yeah, truncating would work
<flux> but I too would like to try it to see if I would like it :)
<flux> there might be other things to show, such as which module and function am I currently in
<ggole> I'd find something like eldoc more useful tbh
<infinity0> i like annoying stuff like that
<ggole> Although it might not be all that easy to determine which application the cursor should be "in"... hmm.
tmtwd has joined #ocaml
<infinity0> but yeah.. does anyone have some ideas on how i could do it?
<ggole> The cheap, nasty way to do that would be to run merlin-type-enclosing in post-command-hook
<ggole> You'd probably also have to turn off the interactive stuff or it would interfere with normal commands
clockish has quit [Quit: bye]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
clockish has joined #ocaml
<infinity0> hm ok i'll have a play with it thanks
<ggole> (add-hook 'post-command-hook 'merlin-type-enclosing nil t) (setq merlin-arrow-keys-type-enclosing nil)
<ggole> Sort of does it
<ggole> Both of those need to be run buffer locally, eg, in the tuareg-mode hook
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<infinity0> what is merlin-arrow-keys-type-enclosing?
<infinity0> oh, found it
<ggole> type-enclosing isn't intended to be used in this way, so it isn't likely to be very usable
<ggole> If you try it and think it would be useful if done properly, consider asking the merlin peeps to add it as a feature.
yegods has joined #ocaml
swgillespie has joined #ocaml
<infinity0> right, makes sense
<flux> it would need to be stufed to the modeline as in not to interfere the other messages..
<ggole> There isn't really a good way to do that
<ggole> Existing emacs modes which use the modeline just stomp messages and be done with it
Derobos has quit [Quit: Leaving]
<ggole> (The user can still see a history of other messages with C-h e, although that isn't terribly convenient.)
xet7 has quit [Ping timeout: 240 seconds]
palomer_ has quit [Quit: palomer_]
contempt has joined #ocaml
ori has left #ocaml ["Leaving..."]
Guest58 has joined #ocaml
<flux> isn't that the minibuffer
<flux> modeline is the place where your current mode is, along with (say) line number?
<ggole> Oh, I see.
<ggole> Yeah, I forgot the terminology :)
palomer has joined #ocaml
<infinity0> ah, works roughly ok
<infinity0> except if i click on a module name, then it messes things up because it doesn't use the minibuffer
<ggole> Yep. That's what I had in mind when I mentioned "huge types" before.
<infinity0> i could probably fiddle it by figuring out the subcomponents in https://github.com/the-lambda-church/merlin/blob/master/emacs/merlin.el
rgrinberg has quit [Ping timeout: 240 seconds]
<infinity0> i imagine there's a branch in there that decides whether to use the minibuffer or start a new window, and i'd basically just reimplement merlin-type-enclosing until i get to that branch
<ggole> It's in merlin--type-display
<infinity0> cool thanks, i shall play with that in more detail at some point then
<infinity0> for now, back to learning the basics ¬.¬
<infinity0> but going back a bit (and disabling this auto-types thing we're messing with) how does merlin-arrow-keys-type-enclosing actually work
<infinity0> i tried (setq merlin-arrow-keys-type-enclosing t), using C-c C-t and pressing up/down and the cursor just moved like normal
yegods has quit [Remote host closed the connection]
<ggole> With the post-command-hook hack removed?
<infinity0> yeah
<ggole> Hmm. It's supposed to let you move up and down the tree of expressions that contain point.
rgrinberg has joined #ocaml
<infinity0> (if (version< emacs-version "24.4")
<infinity0> i'm running 24.5
<infinity0> (in merlin--type-enclosing-after)
<ggole> Seems you have both a more recent emacs and a more recent merlin than I do.
<infinity0> still, not sure why merlin-arrow-keys-type-enclosing doesn't work here
beginner has quit [Ping timeout: 246 seconds]
emaphis has joined #ocaml
<infinity0> oh nice, i can do this for the post-command-hook hack
orbifx has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Ping timeout: 246 seconds]
Kakadu has quit [Remote host closed the connection]
Kakadu has joined #ocaml
TBads has joined #ocaml
TBads has quit [Quit: WeeChat 1.3]
TBads has joined #ocaml
Kakadu has quit [Remote host closed the connection]
Kakadu has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
orbifx has joined #ocaml
yegods has joined #ocaml
<def`> infinity0: hi
<def`> I developed large parts of merlin.el, you have questions?
<infinity0> not right now thanks, still trying to learn emacs :)
<infinity0> eventually i will play with this auto-type-annotating thing
<def`> ok, just ask if you have questions, I will try my best :)
<infinity0> def`: oh i guess it would help if you have any idea how i can debug this arrow-keys-type-enclosing not-working-for-me
slash^ has quit [Read error: Connection reset by peer]
ggole has quit []
<def`> infinity0: the doc is wrong, it is Ctrl+key
mort___ has joined #ocaml
<infinity0> ahhh that works :)
<def`> Ctrl+up, Ctrl+down to navigate, C+w to copy to kill ring, C+d to destructure the expression
mcmillhj has quit [Ping timeout: 264 seconds]
TBads has quit [Quit: WeeChat 1.3]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
rgrinberg has joined #ocaml
igoroliveira has joined #ocaml
Guest58 has quit [Ping timeout: 250 seconds]
hath has joined #ocaml
ryanartecona has joined #ocaml
tmtwd has quit [Ping timeout: 244 seconds]
damason has quit [Remote host closed the connection]
tane has quit [Ping timeout: 240 seconds]
tane has joined #ocaml
mort___ has quit [Quit: Leaving.]
^elyse^ has quit [Read error: Connection reset by peer]
palomer has quit [Ping timeout: 240 seconds]
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
Guest58 has joined #ocaml
Haudegen has quit [Ping timeout: 255 seconds]
tane has quit [Quit: Verlassend]
tane has joined #ocaml
<infinity0> flux: ^
<infinity0> c+p into your init.el
<infinity0> if people like it, perhaps def` will merge it into merlin :)
mort___ has joined #ocaml
^elyse^ has joined #ocaml
Haudegen has joined #ocaml
orbifx has quit [Ping timeout: 264 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
ncthom91 has joined #ocaml
tane has quit [Quit: Verlassend]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ncthom91 has joined #ocaml
<nicoo> o/ infinity0 :)
<nicoo> Didn't knew you were a fellow OCaml-er
<infinity0> oh i'm just starting it :)
aphprentice has joined #ocaml
<hannes> infinity0: I'm glad you start..
jonludlam has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hath has quit [Ping timeout: 246 seconds]
ncthom91 has joined #ocaml
tmtwd has joined #ocaml
Guest58 has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Ping timeout: 250 seconds]
damason has joined #ocaml
cmocanu_ has quit [Quit: Connection closed for inactivity]
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
igoroliveira has quit [Quit: Connection closed for inactivity]
raphaelss has joined #ocaml
^elyse^ has quit [Quit: Leaving...]
contempt has quit [Ping timeout: 272 seconds]
contempt has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
ril has joined #ocaml
netrobyatmobile has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
Guest58 has joined #ocaml
swgillespie has joined #ocaml
rgrinberg has joined #ocaml
lobo has quit [Ping timeout: 260 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]