ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.1 announcement at http://ocaml.org/releases/4.02.html | Public channel logs at http://irclog.whitequark.org/ocaml
reem has joined #ocaml
<S11001001> SomeDamnBody: don't know; wouldn't help you in a program anyway
reem has quit [Remote host closed the connection]
badkins has quit [Ping timeout: 240 seconds]
AltGr has joined #ocaml
jbrown has joined #ocaml
laughing-octo-sh has quit [Ping timeout: 244 seconds]
Guest29441 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
myyst is now known as myst
yomimono has quit [Ping timeout: 256 seconds]
reem has joined #ocaml
boogie has joined #ocaml
paolooo has quit [Ping timeout: 246 seconds]
madroach has quit [Ping timeout: 264 seconds]
netABCs has joined #ocaml
yaewa has joined #ocaml
madroach has joined #ocaml
moei has quit [Ping timeout: 272 seconds]
swgillespie has joined #ocaml
antkong has quit [Ping timeout: 264 seconds]
netABCs has quit [Ping timeout: 252 seconds]
ontologiae_ has joined #ocaml
MooseAndCaml has quit [Quit: Page closed]
boogie has quit [Remote host closed the connection]
mcclurmc has quit [Ping timeout: 246 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
jprakash has quit [Quit: leaving]
nullcat has quit [Ping timeout: 256 seconds]
travisbrady has quit [Quit: travisbrady]
wagle has quit [Remote host closed the connection]
travisbrady has joined #ocaml
wagle has joined #ocaml
wagle has quit [Ping timeout: 245 seconds]
oriba has quit [Quit: Verlassend]
wagle has joined #ocaml
nullcat has joined #ocaml
mcclurmc has joined #ocaml
ontologiae_ has quit [Ping timeout: 252 seconds]
mcclurmc has quit [Ping timeout: 250 seconds]
reem has quit [Remote host closed the connection]
ghostpl_ has joined #ocaml
antkong has joined #ocaml
antkong has quit [Client Quit]
reem has joined #ocaml
ghostpl_ has quit [Ping timeout: 245 seconds]
badon has quit [Quit: Leaving]
ygrek has joined #ocaml
jbalint has quit [Quit: Bye!]
ptc has joined #ocaml
ptc is now known as Guest6367
reem has quit [Remote host closed the connection]
travisbrady has quit [Quit: travisbrady]
Guest6367 has quit [Ping timeout: 272 seconds]
SomeDamnBody has quit [Ping timeout: 245 seconds]
ptc_ has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
claudiuc_ has quit [Remote host closed the connection]
yminsky has joined #ocaml
reem has joined #ocaml
claudiuc has joined #ocaml
claudiuc has quit [Remote host closed the connection]
claudiuc has joined #ocaml
claudiuc has quit [Remote host closed the connection]
lordkryss has quit [Quit: Connection closed for inactivity]
jbalint has joined #ocaml
jbalint has joined #ocaml
netABCs has joined #ocaml
netABCs has quit [Ping timeout: 246 seconds]
reem has quit [Remote host closed the connection]
jbalint has quit [Quit: Bye!]
netABCs has joined #ocaml
reem has joined #ocaml
rgrinberg has quit [Quit: WeeChat 1.1.1]
reem has quit [Remote host closed the connection]
reem has joined #ocaml
badon has joined #ocaml
yminsky has quit [Quit: yminsky]
darkf has joined #ocaml
reem has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
travisbrady has joined #ocaml
mcclurmc has quit [Ping timeout: 256 seconds]
reem has joined #ocaml
reem has quit [Remote host closed the connection]
jbalint has joined #ocaml
jbalint has quit [Changing host]
jbalint has joined #ocaml
reem has joined #ocaml
travisbrady has quit [Quit: travisbrady]
reem has quit [Remote host closed the connection]
jao has quit [Ping timeout: 255 seconds]
reem has joined #ocaml
jbalint has quit [Quit: Bye!]
<seangrove> Is it not common to check in .merlin files?
bytbox has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
jbalint has joined #ocaml
reem has quit [Remote host closed the connection]
<whitequark> i do it always
reem has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
ggole has joined #ocaml
jbalint has quit [Quit: Bye!]
reem has quit [Remote host closed the connection]
badkins has joined #ocaml
ghostpl_ has joined #ocaml
reem has joined #ocaml
badkins has quit [Ping timeout: 244 seconds]
travisbrady has joined #ocaml
mcclurmc has joined #ocaml
ghostpl_ has quit [Ping timeout: 240 seconds]
travisbrady has quit [Client Quit]
mcclurmc has quit [Ping timeout: 264 seconds]
AlexRussia has quit [Ping timeout: 250 seconds]
jonh has quit [Quit: WeeChat 0.4.2]
nuy_19031046 has joined #ocaml
badkins has joined #ocaml
reem has quit [Remote host closed the connection]
badkins has quit [Client Quit]
reem has joined #ocaml
_pakchoi_ops has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
darkf has quit [Ping timeout: 245 seconds]
reem has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
darkf has joined #ocaml
reem has joined #ocaml
mcclurmc has quit [Ping timeout: 256 seconds]
_5kg has quit [Ping timeout: 256 seconds]
reem has quit [Remote host closed the connection]
SomeDamnBody has joined #ocaml
reem has joined #ocaml
AlexRussia has joined #ocaml
reem has quit [Remote host closed the connection]
MrScout has quit [Ping timeout: 265 seconds]
reem has joined #ocaml
reem has quit [Remote host closed the connection]
johnelse is now known as johnel_away
johnel_away is now known as johnelse
ptc_ has quit [Ping timeout: 240 seconds]
reem has joined #ocaml
_pakchoi_ops has quit [Read error: Connection reset by peer]
_pakchoi_ops has joined #ocaml
ghostpl_ has joined #ocaml
reem has quit [Remote host closed the connection]
AlexRussia has quit [Ping timeout: 246 seconds]
reem has joined #ocaml
MrScout has joined #ocaml
AlexRussia has joined #ocaml
ghostpl_ has quit [Ping timeout: 264 seconds]
_5kg has joined #ocaml
reem has quit [Remote host closed the connection]
MrScout has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
reem has joined #ocaml
MrScout has joined #ocaml
mcclurmc has quit [Ping timeout: 265 seconds]
`eeks has joined #ocaml
<`eeks> Is there any good way to override the Location.t information of an expression returned by Parse.express (Lexing.from_string ...) ?
reem has quit [Remote host closed the connection]
reem has joined #ocaml
<ggole> override in what way?
reem has quit [Remote host closed the connection]
<`eeks> Well, when I parse an arbitrary string I am getting this kind of location :
<`eeks> File "", line 1, characters 25-27
<`eeks> BTW I am writing a PPX extension
<ggole> Ah, I see
<`eeks> part of the field I am decoding are ban fide expressions.
<ggole> Usually you have a function something like val next_token : Lexing.lexbuf -> Parse.token
<ggole> You could wrap this function to transform the location info
<`eeks> I was thinking initially about doing that recursively on the Parse.token, but it might indeed be easier on the lexbuf
<ggole> Hmm, tokens aren't usually recursive structures...
<`eeks> Oh, I meant Parsetree.expression. This is what I am using to transform my lexbuf.
<`eeks> Parse.expression.
<ggole> Between your lexer and parser, isn't there a function to pull the next token out of the lexer?
<`eeks> Nope, it's done pretty much directly. Although I'm not fully aware of the whole API yet.
<ggole> Hrm, I see
<ggole> (It's probably in there, but in a place you can't get to.)
<`eeks> :p where would be the fun otherwise ?
<ggole> That might cause you some problems
<ggole> The lexbuf contains current positions which you can get at, but the parser is likely to eat a whole bunch of tokens at one time
<ggole> And you won't be able to get to them
<ggole> Maybe walking the expression will be easier after all.
_5kg has quit [Ping timeout: 256 seconds]
<`eeks> It looks like by overriding the start and curr position of the lexer I can reach my goal.
<`eeks> good catch :) thanks !
Guest31356 has quit [Remote host closed the connection]
_pakchoi_ops has quit [Remote host closed the connection]
`eeks has quit [Quit: Textual IRC Client: www.textualapp.com]
swgillespie has joined #ocaml
slash^ has joined #ocaml
kakadu has joined #ocaml
reem has joined #ocaml
SomeDamnBody has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 264 seconds]
_5kg has joined #ocaml
ghostpl_ has joined #ocaml
reem has quit [Remote host closed the connection]
ghostpl_ has quit [Ping timeout: 264 seconds]
reem has joined #ocaml
reem has quit [Remote host closed the connection]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
reem has joined #ocaml
huza has joined #ocaml
_5kg has quit [Ping timeout: 244 seconds]
ygrek has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 252 seconds]
reem has quit [Remote host closed the connection]
Submarine has joined #ocaml
Submarine has joined #ocaml
reem has joined #ocaml
Simn has joined #ocaml
ghostpl_ has joined #ocaml
flasheater has quit [Ping timeout: 246 seconds]
bugabinga has joined #ocaml
_5kg has joined #ocaml
ghostpl_ has quit [Ping timeout: 272 seconds]
AlexRussia has quit [Ping timeout: 272 seconds]
ggole has quit [Read error: Connection reset by peer]
AlexRussia has joined #ocaml
ggole has joined #ocaml
nullcat has quit [Read error: Connection reset by peer]
nullcat has joined #ocaml
ggole has quit [Read error: Connection reset by peer]
ggole has joined #ocaml
ggole has quit [Read error: Connection reset by peer]
ggole has joined #ocaml
nojb has joined #ocaml
mcclurmc has joined #ocaml
<nojb> is there a way to define a function val ptr_compare : ‘a -> ‘a -> int that performs *pointer* compare ?
tane has joined #ocaml
mcclurmc has quit [Ping timeout: 252 seconds]
<reynir> (==) ?
<reynir> err
<nojb> yes, but I need ‘a -> ‘a -> int, not ‘a -> ‘a -> bool
<reynir> yea, I noticed
<reynir> what would the int represent?
yomimono has joined #ocaml
<nojb> well … nothing, really, but I would like to define a map that has keys that are compared physically, not structurally
<reynir> ah gotcha
<reynir> maybe there's something in Obj
<axiles> nojb: the GC might move the position of the blocks in the heap, therefore comparing pointers is not really relevant
<nojb> good point
<nojb> thanks
<nojb> I guess I’ll use hashtbl, then :)
AltGr has left #ocaml [#ocaml]
huza has quit [Ping timeout: 246 seconds]
reem has quit [Remote host closed the connection]
nojb has quit [Quit: nojb]
_5kg has quit [Ping timeout: 272 seconds]
lordkryss has joined #ocaml
nuy_19031046 has left #ocaml [#ocaml]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
yomimono has quit [Ping timeout: 256 seconds]
<ggole> nojb: careful with Hashtbl if you have mutable parts
<ggole> The "safe" way to do identity is to add a unique id to your object and hash/compare on that
<ggole> With that you can have arbitrary mutation (except of the id, obviously)
laughing-octo-sh has joined #ocaml
ghostpl_ has joined #ocaml
_5kg has joined #ocaml
ghostpl_ has quit [Ping timeout: 240 seconds]
mort___ has joined #ocaml
<def`> (ocaml objects come with physical identity, you can just wrap in a <id : 'a>)
pyon has quit [Quit: ##feminism,##politics Oh, you touch my tralala... Mmm, my ding-ding-pyon!]
Haudegen has quit [Ping timeout: 264 seconds]
monod has joined #ocaml
ontologiae_ has joined #ocaml
dav___ has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
Guest99911 has joined #ocaml
<ggole> But then you're using objects D:
monod has quit [Ping timeout: 245 seconds]
mort___ has quit [Quit: Leaving.]
mcclurmc has joined #ocaml
_5kg has quit [Ping timeout: 252 seconds]
mcclurmc has quit [Ping timeout: 256 seconds]
contempt has quit [Ping timeout: 245 seconds]
contempt has joined #ocaml
ontologiae_ has quit [Ping timeout: 272 seconds]
bugabinga has quit [Remote host closed the connection]
paradoja has joined #ocaml
bugabinga has joined #ocaml
_5kg has joined #ocaml
_5kg has quit [Ping timeout: 265 seconds]
mcclurmc has joined #ocaml
tane has quit [Quit: Verlassend]
mcclurmc has quit [Ping timeout: 240 seconds]
Haudegen has quit [Ping timeout: 252 seconds]
TheLemonMan has joined #ocaml
Haudegen has joined #ocaml
tane has joined #ocaml
_5kg has joined #ocaml
monod has joined #ocaml
averell has joined #ocaml
averell has quit [Changing host]
averell has joined #ocaml
Haudegen has quit [Ping timeout: 265 seconds]
mcclurmc has joined #ocaml
Haudegen has joined #ocaml
mcclurmc has quit [Ping timeout: 240 seconds]
paradoja has quit [Ping timeout: 252 seconds]
AlexRussia has quit [Ping timeout: 272 seconds]
ontologiae_ has joined #ocaml
ontologiae_ has quit [Ping timeout: 245 seconds]
travisbrady has joined #ocaml
laughing-octo-sh has quit [Ping timeout: 252 seconds]
monod has quit [Ping timeout: 265 seconds]
ontologiae_ has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
travisbrady has quit [Quit: travisbrady]
jlewis_ has quit [Remote host closed the connection]
ygrek has joined #ocaml
monod has joined #ocaml
yminsky has joined #ocaml
gt2013 has joined #ocaml
pyon has joined #ocaml
HashGa_ has joined #ocaml
HashGa_ has quit [Client Quit]
Muzer has quit [Ping timeout: 264 seconds]
<tane> is there any way to let menhir work on a char stream directly instead of a token stream?
testcocoon has quit [Quit: Coyote finally caught me]
axiles has quit [Ping timeout: 264 seconds]
mort___ has joined #ocaml
AlexRussia has joined #ocaml
ghostpl_ has joined #ocaml
badkins has joined #ocaml
testcocoon has joined #ocaml
yminsky has quit [Quit: yminsky]
ghostpl_ has quit [Remote host closed the connection]
Muzer has joined #ocaml
ghostpl_ has joined #ocaml
matason has joined #ocaml
axiles has joined #ocaml
mcclurmc has joined #ocaml
ghostpl_ has quit [Ping timeout: 256 seconds]
darkf has quit [Quit: Leaving]
mcclurmc has quit [Ping timeout: 252 seconds]
mort___ has quit [Quit: Leaving.]
<flux> tane, well, you can just have each character be a token..
<flux> but I think it might be misusing the menhir and not in a productive way :)
<flux> there are however parsers that are suitable for parsing character streams.. the packrat parsers, such as aurochs.
<flux> sadly aurochs doesn't seem to be available via opam
yminsky has joined #ocaml
ptc has joined #ocaml
ptc is now known as Guest68501
ontologiae_ has quit [Ping timeout: 245 seconds]
<tane> flux, i went with parserco for now, that worked out :)
JuggleTux has joined #ocaml
ghostpl_ has joined #ocaml
mcclurmc has joined #ocaml
Guest68501 has quit [Ping timeout: 264 seconds]
mcclurmc has quit [Ping timeout: 246 seconds]
travisbrady has joined #ocaml
yminsky has quit [Quit: yminsky]
ontologiae_ has joined #ocaml
travisbrady has quit [Quit: travisbrady]
SomeDamnBody has joined #ocaml
paradoja has joined #ocaml
keen__________81 has joined #ocaml
keen__________80 has quit [Ping timeout: 244 seconds]
mcclurmc has joined #ocaml
acieroid has quit [Ping timeout: 255 seconds]
ghostpl_ has quit [Remote host closed the connection]
Anarchos has joined #ocaml
monod has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Ping timeout: 272 seconds]
acieroid has joined #ocaml
<seangrove> When I see a function returns `string * string`, is that a tuple/record?
<lyxia> It's a tuple.
<seangrove> Great, thanks you
<dmbaturin> A tuple is secretly a record.
maufred_ has joined #ocaml
maufred_ has quit [Quit: leaving]
A1977494 has joined #ocaml
TheLemonMan has quit [Remote host closed the connection]
gt2013 has quit [Ping timeout: 265 seconds]
boogie has joined #ocaml
yomimono has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 244 seconds]
paradoja has quit [Ping timeout: 264 seconds]
MrScout has quit [Ping timeout: 256 seconds]
ontologiae has joined #ocaml
struktured has quit [Ping timeout: 256 seconds]
ontologiae_ has quit [Ping timeout: 245 seconds]
pyon is now known as continuous-pyon
ontologiae has quit [Client Quit]
yminsky has joined #ocaml
tani has joined #ocaml
paradoja has joined #ocaml
tane has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
<seangrove> So I'm having trouble matching off an attribute of a record https://gist.github.com/sgrove/b41afb2d4d6a515a0f45
<seangrove> I'm not sure I understand the problem - maybe I need to type hint the result of Unix.lstat node) ?
tani is now known as tane
continuous-pyon is now known as garbage-pyon
<lyxia> seangrove: I think it expects (...).Unix.st_kind
octachron has joined #ocaml
<octachron> or you can open the Unix module locally or ignore the warning
<octachron> the warning comes from the fact that the field was identified as belonging to a type which was not in scope
bytbox has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
<ggole> Unix.((lstat node).st_kind)
<ggole> But I think local open would be a bit more readable
AlexRussia has quit [Ping timeout: 245 seconds]
<seangrove> Ok, great, thank you, I'll try that
yomimono has quit [Ping timeout: 264 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 255 seconds]
AlexRussia has joined #ocaml
<seangrove> Looks like that works well (I'll switch to an open statement a bit later) - but I can't seem to figure out this type error https://gist.github.com/sgrove/66c21e54b3b606097c30
<seangrove> I keep poking at it different ways
JuggleTux has quit [Ping timeout: 245 seconds]
johnelse is now known as johnel_away
johnel_away is now known as johnelse
JuggleTux has joined #ocaml
<dsheets> seangrove, somewhere else you use gather_nodes as a bytes
<dsheets> result of gather_nodes
<seangrove> Baffling - is there some mode or way of seeing the inferred type of each expression as I'm typing?
yminsky has quit [Quit: yminsky]
A19774941 has joined #ocaml
<dsheets> seangrove, C-c C-t in emacs+merlin for type of syntax under cursor
<dsheets> you can also explicitly annotate the type of the function (either inline or in an interface) and then the type error will move closer to the actual error
<seangrove> Thanks, I'll play with that
A19774941 has left #ocaml [#ocaml]
mcclurmc has joined #ocaml
A1977494 has quit [Ping timeout: 252 seconds]
<seangrove> bytes : string :: bytes array : string array, right?
<dsheets> sure, array is parametric
mcclurmc has quit [Ping timeout: 246 seconds]
struktured has joined #ocaml
paradoja has quit [Ping timeout: 240 seconds]
ggole has quit []
MercurialAlchemi has quit [Ping timeout: 244 seconds]
mcclurmc has joined #ocaml
matason has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
Anarchos has joined #ocaml
MrScout has joined #ocaml
ygrek has joined #ocaml
hilquias has joined #ocaml
boogie has quit [Remote host closed the connection]
octachron has quit [Quit: Leaving]
ygrek has quit [Ping timeout: 256 seconds]
paradoja has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
Algebr has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
yaewa has quit [Quit: Leaving...]
moei has joined #ocaml
zpe has joined #ocaml
matason has joined #ocaml
nullcat has joined #ocaml
nullcat has quit [Client Quit]
zpe has quit [Ping timeout: 264 seconds]
struktured has quit [Ping timeout: 264 seconds]
boogie has joined #ocaml
badon has quit [Quit: Leaving]
<seangrove> So Array.sort is mutative?
<Algebr> try it and see?
<seangrove> Algebr: I did, and hence my question - was just a bit of a surprise, not used to working in a language with mutable data structures
<seangrove> The Unit return type tipped me off ;)
<Algebr> What language doesn't have mutable data structures?
<MercurialAlchemi> seangrove: Array is mutable, but not List
struktured has joined #ocaml
Anarchos has joined #ocaml
<tizoc> camlinternalFormatBasics.ml makes me dizzy
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
reem has joined #ocaml
JuggleTux has quit [Ping timeout: 265 seconds]
Submarine has quit [Remote host closed the connection]
JuggleTux has joined #ocaml
<seangrove> MercurialAlchemi: Thanks, I ended up using that for what I needed
SomeDamnBody has quit [Ping timeout: 264 seconds]
nullcat has joined #ocaml
yomimono has joined #ocaml
monod has joined #ocaml
Anarchos has joined #ocaml
badon has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
reem has quit [Remote host closed the connection]
Muzer has quit [Ping timeout: 264 seconds]
travisbrady has joined #ocaml
Muzer has joined #ocaml
reem has joined #ocaml
travisbrady has quit [Quit: travisbrady]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
moei has quit [Quit: Leaving...]
Simn has quit [Quit: Leaving]
moei has joined #ocaml
kakadu has quit [Remote host closed the connection]
_2_tumamizukii5 has joined #ocaml
<_2_tumamizukii5> hola
<_2_tumamizukii5> Klok.mamá guesvo
Algebr has quit [Ping timeout: 256 seconds]
_2_tumamizukii5 has quit [Read error: Connection reset by peer]
garbage-pyon is now known as ordered-pyon
_um has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
yminsky has joined #ocaml
tane has quit [Quit: Verlassend]
jlouis has quit [Remote host closed the connection]
apache2 has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
yminsky has quit [Quit: yminsky]
dnivra has joined #ocaml
dnivra has left #ocaml [#ocaml]
mcclurmc has joined #ocaml
matason has quit [Ping timeout: 255 seconds]
lordkryss has quit [Quit: Connection closed for inactivity]
jlouis has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 255 seconds]
reem has quit [Remote host closed the connection]
reem has joined #ocaml
monod has quit [Quit: Sto andando via]
reem has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 252 seconds]
reem has joined #ocaml
haesbaert has quit [Ping timeout: 240 seconds]
haesbaert has joined #ocaml
ygrek has joined #ocaml
badkins_ has joined #ocaml
badkins has quit [Ping timeout: 246 seconds]
travisbrady has joined #ocaml
Haudegen has joined #ocaml
mcclurmc has quit [Remote host closed the connection]