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
Denommus has quit [Quit: goin home]
waneck has joined #ocaml
alexst has joined #ocaml
tmtwd has quit [Ping timeout: 252 seconds]
thomasga has quit [Quit: Leaving.]
ollehar has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
alexst has quit [Quit: leaving]
ollehar has joined #ocaml
alexst has joined #ocaml
ygrek_ has quit [Ping timeout: 244 seconds]
alexst has quit [Quit: leaving]
tjscanlon has joined #ocaml
sh0t has quit [Ping timeout: 252 seconds]
swgillespie has joined #ocaml
sh0t has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
tjscanlon has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ygrek_ has joined #ocaml
ygrek has quit [Ping timeout: 276 seconds]
contempt has quit [Ping timeout: 265 seconds]
tjscanlon has joined #ocaml
contempt has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
c74d has quit [Remote host closed the connection]
systmkor has joined #ocaml
sh0t has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 255 seconds]
lordkryss has quit [Quit: Connection closed for inactivity]
c74d has joined #ocaml
rgrinberg has joined #ocaml
Algebr has joined #ocaml
<Algebr> I'm trying to do something like this http://pastebin.com/cur6s6s4 but I get a type error that I'm not sure how to get around it.
tnguyen has quit [Quit: tnguyen]
tmtwd has joined #ocaml
ygrek_ has quit [Ping timeout: 246 seconds]
<struktured> Algebr: I think it's because you bound Right to type unit () already and left to type bytes
<struktured> that is, you can't change the assignment of types for 'a and 'b after the >>= operator
waneck has quit [Read error: No route to host]
<struktured> let some_func g = let foo () = 0 in foo () |> of_int;;
<struktured> val some_func : 'a -> (bytes, unit) t = <fun>
BitPuffin|osx has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
<Algebr> why does that matter though
<Algebr>
<Algebr> its an intermediate step, not the final result.
<struktured> well if it was a tradtional infix operator you would be rigght
<struktured> but...
<Algebr> I'm still not seeing the reason why this is an issue. I realize its because of the first usage of unit, but so what...
<struktured> utop # (>>=);;
<struktured> - : ('a, 'b) t -> ('b -> ('a, 'b) t) -> ('a, 'b) t = <fun>
<struktured> thats not the right signature for >>= usually
<struktured> it should be something like, for a result like type, val (>>=) : ('a, 'err) t -> ('a -> ('b, 'err) t) -> ('b, 'err) t
<Algebr> So >>= is incorrectly implemented?
<struktured> yeah I would guess, what do you want to bind? 'a or 'b? it changes how you implement it
<struktured> you might need two operators, one to bind left or right, or maybe just bind both at the sime time I guess
<struktured> *sime/ssame
<Algebr> yea, I thought about using two operators but I'd rather not do that.
<Algebr> I want to bind 'a
<Algebr> oh sorry, I mean I want to bind 'b
<struktured> let (>>=) x f = match x with
<struktured> | Left _ as x -> x
<struktured> | Right x -> f x;;
<struktured> that worked for me
amnn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<Algebr> thanks!
<Algebr> what is the purpose of having to do that as, I've noticed that in other code as well
<cmtptr> it binds the entire (Left _) to a symbol x
<cmtptr> so you can pattern match the Left part, but still return the whole argument
<Algebr> then why not just do match x with | Left _ -> x
<struktured> x must be type 'a,'b, which is more forceful, for starters
robink has quit [Ping timeout: 255 seconds]
darkf has joined #ocaml
rand000 has quit [Quit: leaving]
robink_ has joined #ocaml
shinnya has quit [Ping timeout: 265 seconds]
robink_ is now known as robink
Algebr has quit [Ping timeout: 272 seconds]
pyon has quit [Quit: fix config]
pyon has joined #ocaml
manizzle has quit [Ping timeout: 256 seconds]
idegen has quit [Quit: Leaving.]
monoprotic is now known as homoprotic
homoprotic is now known as monoprotic
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
MercurialAlchemi has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
hongbo has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
Mercuria1Alchemi has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
agent_dtscode has left #ocaml ["Leaving"]
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
swgillespie has joined #ocaml
swgillespie has quit [Max SendQ exceeded]
swgillespie has joined #ocaml
AltGr has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 250 seconds]
MercurialAlchemi has joined #ocaml
swgillespie has quit [Max SendQ exceeded]
swgillespie has joined #ocaml
johnf has quit [Read error: Connection reset by peer]
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
johnf has joined #ocaml
MercurialAlchemi has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 256 seconds]
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
Mercuria1Alchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
ygrek has quit [Ping timeout: 276 seconds]
MercurialAlchemi has quit [Ping timeout: 250 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
Mercuria1Alchemi has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
mengu has joined #ocaml
mengu has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 250 seconds]
sepp2k has joined #ocaml
mengu has quit [Ping timeout: 272 seconds]
ollehar has quit [Remote host closed the connection]
ollehar has joined #ocaml
thegameg has quit [Ping timeout: 256 seconds]
thegameg has joined #ocaml
tjscanlon has quit [Quit: Textual IRC Client: www.textualapp.com]
Algebr has joined #ocaml
ollehar1 has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
swgillespie has joined #ocaml
mengu has joined #ocaml
mengu has joined #ocaml
mengu has quit [Changing host]
ollehar1 has quit [Ping timeout: 264 seconds]
jc has joined #ocaml
obadz has quit [Ping timeout: 256 seconds]
obadz has joined #ocaml
ggole has joined #ocaml
hongbo has quit [Quit: Connection closed for inactivity]
<Algebr> Presumably OUnit2 is the what one should use and not OUnit?
<dmbaturin> Algebr: I guess so. I haven't even looked into the "OUnit1" API.
<dmbaturin> Looks like everyone is using OUnit2 now.
<Algebr> How can I have opam tell me what pacakges depend on a given package. Like... opam show-deps lambda-term .... shows utop ocp-index
Cyanure has joined #ocaml
pyon has quit [Quit: iz fixin muh confignyareshun nya!]
<dmbaturin> Algebr: You can do 'opam remove --dry-run lambda-term'.
<dmbaturin> Something like 'opam why' would be nice though.
<Algebr> why is an interesting name for that
djellemah has joined #ocaml
keen___________ has joined #ocaml
keen__________ has quit [Ping timeout: 252 seconds]
<dmbaturin> I took it from 'aptitude why'.
psy_ has quit [Ping timeout: 276 seconds]
ygrek has joined #ocaml
<ggole> It should allow any number of ys in addition to the first
<ggole> opam whyyyyyyy
jc has left #ocaml [#ocaml]
struktured has quit [Remote host closed the connection]
pyon has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
waneck has joined #ocaml
tmtwd has quit [Ping timeout: 276 seconds]
<Algebr> how are people integrating ounit2 with result types
Simn has joined #ocaml
srenatus has joined #ocaml
manizzle has joined #ocaml
djellemah_ has joined #ocaml
djellemah has quit [Ping timeout: 256 seconds]
psy_ has joined #ocaml
ygrek has quit [Ping timeout: 276 seconds]
<AltGr> Algebr, `opam list --rec --depends-on foo`
<AltGr> opam always prints the reasons for what it's doing doesn't it ?
<AltGr> dmbaturin, `opam remove --show` is much better in this case, you just want the action summary but don't care about actually dry-running the commands
Algebr has quit [Ping timeout: 256 seconds]
matason has joined #ocaml
tmtwd has joined #ocaml
<dmbaturin> AltGr: Oh, good point.
psy_ has quit [Ping timeout: 255 seconds]
psy_ has joined #ocaml
Haudegen has quit [Ping timeout: 276 seconds]
Haudegen has joined #ocaml
nullcat has joined #ocaml
johnf has quit [Ping timeout: 265 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
psy_ has quit [Ping timeout: 250 seconds]
<xificurC> I'd love to get a couple of lib suggestions. a) xml - to parse an xml file and a high-level (XPath, CSS Selectors) way to extract data. b) html - fetch, parse, extract
johnf has joined #ocaml
psy_ has joined #ocaml
thomasga has joined #ocaml
avsm has joined #ocaml
<ollehar> xificurC: check opam list of xml packages, then google?
<xificurC> ollehar: that's what I'm doing the last 15 minutes. It is rather ineffective though (i.e. takes a lot of time and I still might not find the best solution), so I was hoping someone more knowledgable could just give me a name of a couple of libs that meet my criteria
<ollehar> ah ok
<ollehar> yeah, I used xml-light and people told me not to use it but instead <forgot-the-name>
<ollehar> could also search through the IRC chat history.....
<xificurC> ollehar: from my search I can see cow, pxp, xml-light and xmlm
<ollehar> ok
<companion_cube> looks like whitequark is learning rust
<ollehar> companion_cube: you know xml libraries?
<ollehar> companion_cube: why, did he post on github?
<ollehar> /she
<companion_cube> I only know xmlm, a bit
<companion_cube> whitequark created repository whitequark/rust-touptek
<xificurC> companion_cube: yes I saw him asking many questions in #rust
<companion_cube> indeed! :)
<companion_cube> so, xmlm is a streaming implementation of XML, and since it's a Bünzli lib I assume it's good
<nullcat> "looks like whitequark is learning rust" yeah
<nullcat> :(
<nullcat> we lost a comrade
<dmbaturin> ollehar: There's ezxmlm if you want a simple library suitable for quick experiments or not very sophisticated processing.
<companion_cube> I'd like to learn rust too, but for now I don't have enough motivation
<companion_cube> because ocaml+merlin is so easy…
<nullcat> yeah, me too
<xificurC> why did whitequark hop
<dmbaturin> I'm not convinced Rust is not a fad only popular due to big name backer.
<nullcat> search IRC history, he ranted about build system and UTF support
<companion_cube> dmbaturin: it certainly has an interesting and ambitious design
<ollehar> as they said them selves, they lost a lot of interesting things on the way with rust, like type-state.
<companion_cube> sure, but they have lifetimes and traits
<ollehar> to go from C++ to rust is great, but from ocaml to rust...?
<companion_cube> you get overloading
<companion_cube> but granted, you lose some concision
<companion_cube> still: better tooling, (soon) more libraries, better performance
<companion_cube> for some usage it makes sense
<dmbaturin> So far most of the libraries are C libs bindings (which are, as I understand, trivial to produce).
<dmbaturin> I won't argue there are interesting language features though.
<nullcat> btw, there is a paper about formalization of Rust recently
<nullcat> ftp://ftp.cs.washington.edu/tr/2015/03/UW-CSE-15-03-02.pdf
<dmbaturin> In some 2006 some people added a decent type system to C in a (mostly) backwards compatible way. That was impressive, but didn't become popular (I found it by accident).
<xificurC> dmbaturin: the xml question was actually mine, ollehar was kind enough to try and help. Thanks for ezxmlm, although I still don't understand why I can't see one XPath implementation :(
<companion_cube> dmbaturin: oh? do you have a link?
<dmbaturin> xificurC: I think there's no XPath lib yet. We'll have to make one.
<dmbaturin> companion_cube: http://cyclone.thelanguage.org/
<companion_cube> oh, cyclone, ok
<companion_cube> xificurC: if you make a xpath-thingie, please add it to an existing lib :)
<companion_cube> Cyclone adds features such as pattern matching, algebraic datatypes, exceptions, region-based memory management, and optional garbage collection. ← wow, ok
<dmbaturin> companion_cube: Which one? :)
<xificurC> dmbaturin: for a language that boasts so many other language implementations I thought XPath will surely be implemented!
<xificurC> probably xmlm right
<nullcat> lol
<nullcat> companion_cube: check out github
<dmbaturin> Since Xmlm is a streaming library, I'm not sure if we can really add XPath to it rather than implement XPath on top of it.
<xificurC> I wanted to actually use some libs for some scripts regarding xml and html
<xificurC> since I don't enjoy dynamic languages as I used to (thanks ML by the way)
<flux> dmbaturin, wouldn't streaming XPath be cool :)
avsm has quit [Quit: Leaving.]
milosn has quit [Quit: leaving]
<xificurC> there's this http://alain.frisch.fr/soft#xpath (from 2000)
<dmbaturin> flux: Good question. Perhaps it would.
<companion_cube> xpath with OCaml inside!
<companion_cube> I agree with flux, xpath as a transformation xml stream -> xml stream, yum
Cyanure has quit [Remote host closed the connection]
<nullcat> apparently whitequark is aware of what we are talking about and add companion_cube to basically all his ocaml projects...
<companion_cube> yeah, we just discussed that, because I submitted a PR to ppx_deriving
<nullcat> i see
<nullcat> he is quiting?
<companion_cube> he doesn't do much OCaml those days (new job?)
<nullcat> not sure, i don't think his job was related to OCaml before
<companion_cube> and it seems he eventually got too annoyed with some… problems in the OCaml ecosystem
<nullcat> yeah.....
<companion_cube> he had a few missions where he used OCaml
<nullcat> yeah...
<nullcat> https://github.com/evilmartians this one i guess
<companion_cube> yep
<nullcat> i also admire Rust is moving fast and very active
<nullcat> a very active community
thomasga has quit [Quit: Leaving.]
rgrinberg has quit [Ping timeout: 256 seconds]
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 256 seconds]
mengu has quit [Remote host closed the connection]
waneck has quit [Quit: Leaving]
waneck has joined #ocaml
dsheets has joined #ocaml
<xificurC> I wonder what would OCaml be by now if it was backed by a big company like that
jonludlam has joined #ocaml
<companion_cube> it would not be the same language
thomasga has joined #ocaml
tmtwd has quit [Ping timeout: 265 seconds]
<xificurC> of course it wouldn't be, but would that be bad?
<dmbaturin> xificurC: F# is backed by MS, and it's still nowhere.
<xificurC> dmbaturin: MS isn't really the open source big company I was thinking of. Perhaps I should have added open source to my post
<dmbaturin> But they don't really promote it, or improve its ecosystems, or even add the missing parts back. ;)
<xificurC> I mean look at the number of libs
<xificurC> if ocaml was a bit more mainstream you'd have libs for everything. And I wouldn't mind defaulting to UTF-8 and having a simpler tooling
tmtwd has joined #ocaml
<companion_cube> no one would mind
<companion_cube> but OCaml is quite old, and tooling hasn't changed that much
<companion_cube> rust is more recent and they did things with more hindsight
<dmbaturin> companion_cube: Guess I should look into implementing it. I want XPath as well, in any form.
<companion_cube> meeeh, 4.02.2 is so breaking for ppx
djellemah__ has joined #ocaml
<rwmjones> rawhide--
<rwmjones> bleah, wrong channel
<companion_cube> :D
<rwmjones> ..
<rwmjones> still, fedora rawhide does suck
<companion_cube> time to change password
djellemah_ has quit [Ping timeout: 265 seconds]
yomimono has joined #ocaml
matason has quit []
matason has joined #ocaml
emanuelz has quit [Quit: emanuelz]
tmtwd has quit [Ping timeout: 244 seconds]
amnn has joined #ocaml
kaustuv has joined #ocaml
<kaustuv> Here is a small OCaml puzzle: http://pastebin.com/f74L3kXs
rgrinberg has joined #ocaml
badon has joined #ocaml
rgrinberg has quit [Ping timeout: 272 seconds]
mengu has joined #ocaml
kushal has joined #ocaml
mengu has quit [Ping timeout: 252 seconds]
AltGr has left #ocaml [#ocaml]
<flux> kaustuv, did you need it or just come up with it?-)
Haudegen has quit [Ping timeout: 272 seconds]
mengu has joined #ocaml
lordkryss has joined #ocaml
amnn has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
amnn has joined #ocaml
amnn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
BitPuffin has joined #ocaml
<zozozo> kaustuv: something like that should work : http://pastebin.com/M2vgLMkn
BitPuffin has quit [Client Quit]
rgrinberg has quit [Ping timeout: 246 seconds]
BitPuffin has joined #ocaml
darkf_ is now known as darkf
freling has joined #ocaml
Denommus has joined #ocaml
<kaustuv> zozozo: that's pretty good. It even works if you interleave snaps and rrefs
<zozozo> yup
<kaustuv> where by "works" I guess I mean doesn't raise an exception.
<Denommus> I'm thinking
obadz has quit [Ping timeout: 265 seconds]
_andre has joined #ocaml
<Denommus> Can I use sedlex and menhir to parse binary data? Is it efficient?
<kaustuv> flux: it's one tiny component of a general "time travelling effects" library I'm building
<dmbaturin> Denommus: I've seen it done, with a handcoded lexer though.
<Denommus> dmbaturin: hm. Can't sedlex deal with bytes?
<zozozo> kaustuv: well anyway, there would be no meaning for a snapshot to restore the value of a ref that didn't exist at the time of the snapshot
rgrinberg has joined #ocaml
psy_ has quit [Ping timeout: 265 seconds]
ceryo has joined #ocaml
<dmbaturin> Denommus: Technically yes, but regex syntax is kinda skewed towards strings.
rgrinberg has quit [Ping timeout: 256 seconds]
obadz has joined #ocaml
kushal has quit [Ping timeout: 265 seconds]
<kaustuv> ggole: that was my solution as well. Unfortunately it requires a recentish OCaml.
<ggole> Hmm :(
octachron has joined #ocaml
<companion_cube> awww, I just sent a mail to caml-announce by replying to another mail
<companion_cube> now it's in moderation -_-
<ia0> GG
<companion_cube> no, ok, I see: the mail I replied to was sent to both caml-list and caml-announce
<ia0> so it's not a FUP trap :-)
Hannibal_Smith has joined #ocaml
<companion_cube> well, the mail should have had reply-to: caml-list ;)
<ia0> I wonder if gmail honors Reply-To if you have Reply-to-all by default
<ia0> (but you're using mutt ... :D)
Denommus has quit [Quit: Bye]
mcclurmc has joined #ocaml
zpe has joined #ocaml
ceryo_ has joined #ocaml
<dmbaturin> Thunderbird displays "Reply" and "Reply list".
<companion_cube> there were two lists in this case
<dmbaturin> What are those record labels?
ceryo has quit [Ping timeout: 250 seconds]
<dmbaturin> * record label attributes
<companion_cube> { foo : bar } <--- foo is the label, and it can have attributes such as [@yolo]
<companion_cube> well, it used to be able to have attributes
mcclurmc has quit [Remote host closed the connection]
Hannibal_Smith has quit [Quit: Leaving]
freling has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 276 seconds]
kaustuv has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
Denommus has joined #ocaml
dbohdan has quit [Ping timeout: 265 seconds]
zaquest has quit [Read error: Connection reset by peer]
zpe has quit [Remote host closed the connection]
zaquest has joined #ocaml
idegen has joined #ocaml
milosn has joined #ocaml
dbohdan has joined #ocaml
dbohdan has quit [Ping timeout: 264 seconds]
Gama11 has joined #ocaml
<ollehar> Denommus: if you get sedlex and menhir to work, could you post a blog post about it? working on that now.
dbohdan has joined #ocaml
<Denommus> ollehar: I got by using this boilerplate as example: https://github.com/unhammer/ocaml_cg_streamparse/blob/master/sedlex_menhir.ml
<Denommus> ollehar: here is a parse for the lua language: https://github.com/Denommus/LuaOCaml
<ollehar> Denommus: so awesome!!!
<Denommus> *parser
<ollehar> I mean, thank you sir
obadz- has joined #ocaml
<Denommus> ollehar: this parser is probably wrong in some things because the lua grammar is not as straightforward as I first thought, but it's at least a good example on how to use sedlex and menhir together
<Denommus> ollehar: I'm even thinking about turning this boilerplate into a library
<ollehar> yep, that's all I need
dbohdan has quit [Ping timeout: 264 seconds]
mengu has quit []
ollehar has quit [Quit: ollehar]
rgrinberg has joined #ocaml
psy_ has joined #ocaml
psy_ has quit [Max SendQ exceeded]
psy_ has joined #ocaml
Haudegen has quit [Remote host closed the connection]
rbocquet has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
rbocquet has joined #ocaml
rossberg has quit [Ping timeout: 256 seconds]
ghostpl has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
ceryo has joined #ocaml
obadz- has quit [Quit: leaving]
ceryo_ has quit [Ping timeout: 245 seconds]
Haudegen has joined #ocaml
rossberg has joined #ocaml
zpe has joined #ocaml
freling has joined #ocaml
zpe has quit [Ping timeout: 265 seconds]
ollehar has joined #ocaml
struktured has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
Hannibal_Smith has joined #ocaml
rgrinberg has joined #ocaml
waneck_ has joined #ocaml
mort___ has joined #ocaml
waneck has quit [Ping timeout: 264 seconds]
kushal has joined #ocaml
zaquest has quit [Read error: Connection reset by peer]
struktured has quit [Ping timeout: 256 seconds]
Cyanure has joined #ocaml
MercurialAlchemi has joined #ocaml
Bhavya has joined #ocaml
AlexRussia has quit [Quit: WeeChat 1.2-dev]
AlexRussia has joined #ocaml
Bhavya has quit [Quit: Quit the channel]
shinnya has joined #ocaml
Submarine has quit [Quit: Leaving]
hay207 has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
milosn has quit [Ping timeout: 265 seconds]
thomasga has quit [Ping timeout: 265 seconds]
gabemc has joined #ocaml
Bhavya has joined #ocaml
Haudegen has joined #ocaml
milosn has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
zaquest has joined #ocaml
ollehar has joined #ocaml
freling has quit [Quit: Leaving.]
Guest50875 has joined #ocaml
ygrek has joined #ocaml
MrScout has joined #ocaml
Guest50875 has quit [Ping timeout: 255 seconds]
darkf has quit [Quit: Leaving]
octachron has quit [Quit: Leaving]
ollehar has quit [Ping timeout: 252 seconds]
freling has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
Intensity has joined #ocaml
robink has quit [Ping timeout: 248 seconds]
robink_ has joined #ocaml
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
jwatzman|work has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
nullcat_ has joined #ocaml
robink_ has quit [Ping timeout: 244 seconds]
jonludlam has quit [Ping timeout: 264 seconds]
uris77 has joined #ocaml
robink_ has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
Haudegen has joined #ocaml
mort___ has quit [Ping timeout: 265 seconds]
jonludlam has joined #ocaml
jonludlam has quit [Ping timeout: 252 seconds]
Bhavya has quit [Quit: Quit the channel]
shinnya has quit [Ping timeout: 276 seconds]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
octachron has joined #ocaml
yomimono has quit [Ping timeout: 265 seconds]
nullcat has joined #ocaml
freling has quit [Quit: Leaving.]
micrypt has joined #ocaml
<nullcat> today i heard there is a latex file written by a PhD student around ten year ago, which documents the OCaml compiler internal. Does anyone know it?
ollehar has joined #ocaml
srenatus has quit [Quit: Connection closed for inactivity]
MrScout has quit [Remote host closed the connection]
milosn has quit [Ping timeout: 256 seconds]
tmtwd has joined #ocaml
<nullcat> don't know if it's this one... https://github.com/bobzhang/ocaml-book/tree/master/compiler
milosn has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
dsheets has quit [Ping timeout: 264 seconds]
ghostpl has quit [Ping timeout: 252 seconds]
BitPuffin has quit [Ping timeout: 250 seconds]
tane has joined #ocaml
Hannibal_Smith has joined #ocaml
hay207 has quit [Ping timeout: 245 seconds]
Haudegen has joined #ocaml
zaquest has quit [Read error: Connection reset by peer]
emanuelz has joined #ocaml
zpe has joined #ocaml
thm has joined #ocaml
hay207 has joined #ocaml
dsabanin has joined #ocaml
<thm> if something compiles with 4.02.0, but not with 4.02.2, suddenly failing with "This expression has type Foo, It has no method bar" - what change could be the reason?
mcclurmc has joined #ocaml
dsabanin has quit [Client Quit]
tjscanlon has joined #ocaml
<smondet> thm: "method" reminds me of the change in syntax with the `#*` operators
hay207 has quit [Client Quit]
<smondet> thm: are you using js_of_ocaml?
<thm> no
<Denommus> smondet: I didn't quite get what the # operators are
<smondet> Denommus: I'm not 100% sure but the idea is that now `##`, `#+`, `#~#`, etc can be used by ppx rewriters and before they used to be syntax errors
<smondet> thm: I would try to add type annotations to look for the problem, like `~(status : status)`
<octachron> Denommus:More precisely, it is a new family of operators with higher precedence than function application
<octachron> It is possible to use (#_normal_operators_chars_) in normal code
<smondet> the end goal is to implement js_of_ocaml's syntax with ppx :)
<octachron> but operators with two (and more?) # characters are reserved for ppx rewriter
<octachron> (i.e, they are valid at the parsing phase but invalid during the typing phase)
octachron has quit [Ping timeout: 256 seconds]
octachron has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Remote host closed the connection]
badon has quit [Quit: Leaving]
sepp2k has quit [Quit: Leaving.]
kushal has quit [Ping timeout: 250 seconds]
kushal has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
rgrinberg has quit [Ping timeout: 256 seconds]
k1000 has quit [Ping timeout: 252 seconds]
freling has joined #ocaml
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Anarchos has joined #ocaml
zaquest has joined #ocaml
matason has quit []
uris77 has quit [Quit: leaving]
rgrinberg has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
ohama has quit [Remote host closed the connection]
ohama has joined #ocaml
Muzer has quit [Excess Flood]
Haudegen has joined #ocaml
ygrek has joined #ocaml
octachron has quit [Quit: Leaving]
gabemc has quit [Ping timeout: 265 seconds]
Muzer has joined #ocaml
freling has quit [Quit: Leaving.]
yomimono has joined #ocaml
zpe has quit [Remote host closed the connection]
Kakadu has joined #ocaml
Guest50875 has joined #ocaml
Hetu has joined #ocaml
igitoor has quit [Ping timeout: 252 seconds]
igitoor has joined #ocaml
igitoor has joined #ocaml
igitoor has quit [Changing host]
sh0t has joined #ocaml
ceryo has quit [Quit: Textual IRC Client: www.textualapp.com]
ceryo has joined #ocaml
ceryo has quit [Client Quit]
pkrnj has joined #ocaml
sh0t has quit [Ping timeout: 244 seconds]
gabemc has joined #ocaml
ggole has quit []
BitPuffin|osx has joined #ocaml
<rgrinberg> how do you pin a local package for dependencies only?
<rgrinberg> to install dependencies only i mean
<Guest50875> opam pin add pack . --deps-only
Guest50875 is now known as Algebr
<Algebr> I think? Just guessing really
Algebr is now known as Guest98290
k1000 has joined #ocaml
<rgrinberg> Guest98290: that's exactly what i tried ^_^
<rgrinberg> it doesn't work unfortunately
k1000 has joined #ocaml
k1000 has quit [Client Quit]
k1000 has joined #ocaml
Guest98290 is now known as Algebr`
swgillespie has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
Tamae has joined #ocaml
_andre has quit [Quit: leaving]
Stany has quit [Ping timeout: 252 seconds]
Stany has joined #ocaml
struktured has joined #ocaml
Tamae has quit [Ping timeout: 265 seconds]
Hannibal_Smith has quit [Quit: Leaving]
Tamae has joined #ocaml
Stany has quit [Ping timeout: 255 seconds]
Patchou has joined #ocaml
Stany has joined #ocaml
Tamae has quit [Ping timeout: 250 seconds]
Patchou has quit [Ping timeout: 246 seconds]
Tamae has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
Stany has quit [Ping timeout: 255 seconds]
sh0t has joined #ocaml
sh0t has left #ocaml [#ocaml]
Algebr` has quit [Ping timeout: 276 seconds]
struktured has quit [Ping timeout: 276 seconds]
pkrnj has quit [Quit: Textual IRC Client: www.textualapp.com]
Denommus has quit [Quit: going home]
rgrinberg has quit [Ping timeout: 245 seconds]
MrScout has joined #ocaml
Hetu has quit [Quit: Verlassend]
Gama11 has quit [Read error: Connection reset by peer]
freling has joined #ocaml
Bhavya has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
_2can has quit [Quit: Lost terminal]
_2can has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
yomimono has quit [Ping timeout: 245 seconds]
freling has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
<j0sh> vbmithr: is there a problem with ocaml's built-in Random? rather than using Nocrypto.Rng for Websocket.random_string?
<j0sh> only reason i ask is because i keep getting a Fortuna.Unseeded_generator exception every time a frame is sent out... while re-seeding the generator myself is no big deal, it's boilerplate (and another dependency) that could be avoided by using the built-in Random
yomimono has joined #ocaml
swgillespie has joined #ocaml
destrius_ has quit [Remote host closed the connection]
Simn has quit [Quit: Leaving]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
waneck_ has quit [Ping timeout: 252 seconds]
swgillespie has joined #ocaml
Cyanure has quit [Remote host closed the connection]
freling has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
gabemc has quit [Ping timeout: 244 seconds]
swgillespie has joined #ocaml
dhil has joined #ocaml
dhil has quit [Client Quit]
chris2 has quit [Ping timeout: 276 seconds]
sigjuice has quit [Ping timeout: 256 seconds]
chris2 has joined #ocaml
dhil has joined #ocaml
struk|desk has joined #ocaml
sigjuice has joined #ocaml
struk|desk2 has quit [Ping timeout: 256 seconds]
mearnsh has quit [Ping timeout: 272 seconds]
mawuli has quit [Ping timeout: 265 seconds]
sigjuice has quit [Ping timeout: 256 seconds]
mearnsh has joined #ocaml
freling has quit [Quit: Leaving.]
mawuli has joined #ocaml
sigjuice has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
walter|r has joined #ocaml
mcclurmc has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
yomimono has quit [Ping timeout: 245 seconds]