#ocaml on 2015-01-07 — irc logs at freenode.irclog.whitequark.org

2014-11-22 23:23 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

00:02 travisbrady has joined #ocaml

00:02 emias has joined #ocaml

00:04 troydm has joined #ocaml

00:04 lordkryss has quit [Quit: Connection closed for inactivity]

00:04 BitPuffin has joined #ocaml

00:11 AlexRussia has quit [Quit: WeeChat 1.1-dev]

00:12 AlexRussia has joined #ocaml

00:12 rgrinberg has quit [Quit: Leaving.]

00:14 antegallya has quit [Ping timeout: 255 seconds]

00:17 nicoo has joined #ocaml

00:17 bytbox has joined #ocaml

00:18 rgrinberg has joined #ocaml

00:20 thomasga has quit [Quit: Leaving.]

00:20 travisbrady has quit [Quit: travisbrady]

00:24 NoNNaN has joined #ocaml

00:26 AltGr has joined #ocaml

00:27 rgrinberg has quit [Quit: Leaving.]

00:27 rgrinberg has joined #ocaml

00:28 jonludlam has quit [Quit: Coyote finally caught me]

00:30 araujo has quit [Read error: Connection reset by peer]

00:31 araujo has joined #ocaml

00:32 Cyanure has quit [Remote host closed the connection]

00:40 NoNNaN has quit [Remote host closed the connection]

00:44 travisbrady has joined #ocaml

01:17 alkoma has quit [Ping timeout: 256 seconds]

01:17 myyst has quit [Read error: Connection reset by peer]

01:18 myyst has joined #ocaml

01:21 myyst has quit [Read error: Connection reset by peer]

01:21 myyst has joined #ocaml

01:23 shinnya_ has quit [Ping timeout: 264 seconds]

01:24 myyst has quit [Read error: Connection reset by peer]

01:25 myyst has joined #ocaml

01:27 myyst has quit [Read error: Connection reset by peer]

01:28 myyst has joined #ocaml

01:31 myyst has quit [Read error: Connection reset by peer]

01:31 myyst has joined #ocaml

01:32 scythe- has joined #ocaml

01:33 jao has joined #ocaml

01:33 jao has quit [Changing host]

01:33 jao has joined #ocaml

01:34 myyst has quit [Read error: Connection reset by peer]

01:35 myyst has joined #ocaml

01:36 rgrinberg has quit [Quit: Leaving.]

01:37 myyst has quit [Read error: Connection reset by peer]

01:38 myyst has joined #ocaml

01:40 jwatzman|work has quit [Quit: jwatzman|work]

01:41 travisbrady has quit [Quit: travisbrady]

01:41 myyst has quit [Read error: Connection reset by peer]

01:41 myyst has joined #ocaml

01:44 myyst has quit [Read error: Connection reset by peer]

01:44 myyst has joined #ocaml

01:47 myyst has quit [Read error: Connection reset by peer]

01:48 myyst has joined #ocaml

01:50 travisbrady has joined #ocaml

01:51 myyst has quit [Read error: Connection reset by peer]

01:51 oscar_toro has joined #ocaml

01:51 myyst has joined #ocaml

01:54 myyst has quit [Read error: Connection reset by peer]

01:54 myyst has joined #ocaml

01:57 myyst has quit [Read error: Connection reset by peer]

01:58 rgrinberg has joined #ocaml

01:58 myyst has joined #ocaml

02:00 myyst has quit [Read error: Connection reset by peer]

02:01 myyst has joined #ocaml

02:04 myyst has quit [Read error: Connection reset by peer]

02:04 myyst has joined #ocaml

02:05 q66 has quit [Quit: Leaving]

02:07 myyst has quit [Read error: Connection reset by peer]

02:08 BitPuffin has quit [Ping timeout: 244 seconds]

02:08 myyst has joined #ocaml

02:11 myyst has quit [Read error: Connection reset by peer]

02:11 myyst has joined #ocaml

02:14 myyst has quit [Read error: Connection reset by peer]

02:14 myyst has joined #ocaml

02:17 alkoma has joined #ocaml

02:17 myyst has quit [Read error: Connection reset by peer]

02:18 myyst has joined #ocaml

02:20 myyst has quit [Read error: Connection reset by peer]

02:21 myyst has joined #ocaml

02:24 myyst has quit [Read error: Connection reset by peer]

02:24 myyst has joined #ocaml

02:27 myyst has quit [Read error: Connection reset by peer]

02:28 myyst has joined #ocaml

02:28 tnguyen has quit [Quit: tnguyen]

02:30 myyst has quit [Read error: Connection reset by peer]

02:31 myyst has joined #ocaml

02:34 myyst has quit [Read error: Connection reset by peer]

02:34 myyst has joined #ocaml

02:37 myyst has quit [Read error: Connection reset by peer]

02:38 myyst has joined #ocaml

02:39 oriba has quit [Quit: Verlassend]

02:40 myyst has quit [Read error: Connection reset by peer]

02:41 myyst has joined #ocaml

02:43 srcerer has joined #ocaml

02:44 myyst has quit [Read error: Connection reset by peer]

02:44 myyst has joined #ocaml

02:47 myyst has quit [Read error: Connection reset by peer]

02:47 myyst has joined #ocaml

02:50 myyst has quit [Read error: Connection reset by peer]

02:51 badkins has quit []

02:51 myyst has joined #ocaml

02:54 myyst has quit [Read error: Connection reset by peer]

02:54 myyst has joined #ocaml

02:57 myyst has quit [Read error: Connection reset by peer]

02:57 myyst has joined #ocaml

03:00 myyst has quit [Read error: Connection reset by peer]

03:01 myyst has joined #ocaml

03:03 myyst has quit [Read error: Connection reset by peer]

03:04 myyst has joined #ocaml

03:06 Thooms has quit [Ping timeout: 265 seconds]

03:07 myyst has quit [Read error: Connection reset by peer]

03:07 myyst has joined #ocaml

03:10 myyst has quit [Read error: Connection reset by peer]

03:11 myyst has joined #ocaml

03:13 marynate has joined #ocaml

03:13 myyst has quit [Read error: Connection reset by peer]

03:14 myyst has joined #ocaml

03:17 myyst has quit [Read error: Connection reset by peer]

03:17 myyst has joined #ocaml

03:20 myyst has quit [Read error: Connection reset by peer]

03:20 myyst has joined #ocaml

03:21 skchrko_ has joined #ocaml

03:22 Yoric has joined #ocaml

03:23 skchrko has quit [Ping timeout: 240 seconds]

03:23 myyst has quit [Read error: Connection reset by peer]

03:24 myyst has joined #ocaml

03:25 travisbrady has quit [Quit: travisbrady]

03:27 Yoric has quit [Ping timeout: 265 seconds]

03:27 myyst has quit [Read error: Connection reset by peer]

03:27 myyst has joined #ocaml

03:30 myyst has quit [Read error: Connection reset by peer]

03:30 myyst has joined #ocaml

03:33 myyst has quit [Read error: Connection reset by peer]

03:34 myyst has joined #ocaml

03:34 darkf has joined #ocaml

03:36 travisbrady has joined #ocaml

03:36 myyst has quit [Read error: Connection reset by peer]

03:37 myyst has joined #ocaml

03:40 myyst has quit [Read error: Connection reset by peer]

03:40 myyst has joined #ocaml

03:43 myyst has quit [Read error: Connection reset by peer]

03:44 myyst has joined #ocaml

03:46 myyst has quit [Read error: Connection reset by peer]

03:47 myyst has joined #ocaml

03:50 myyst has quit [Read error: Connection reset by peer]

03:50 myyst has joined #ocaml

03:53 myyst has quit [Read error: Connection reset by peer]

03:53 myyst has joined #ocaml

03:55 myyst has quit [Read error: Connection reset by peer]

03:56 myyst has joined #ocaml

03:58 myyst has quit [Read error: Connection reset by peer]

03:59 myyst has joined #ocaml

04:02 myyst has quit [Read error: Connection reset by peer]

04:02 myyst has joined #ocaml

04:05 myyst has quit [Read error: Connection reset by peer]

04:05 myyst has joined #ocaml

04:08 myyst has quit [Read error: Connection reset by peer]

04:09 myyst has joined #ocaml

04:12 myyst has quit [Read error: Connection reset by peer]

04:12 myyst has joined #ocaml

04:14 samrat has joined #ocaml

04:15 myyst has quit [Read error: Connection reset by peer]

04:15 tnguyen has joined #ocaml

04:15 myyst has joined #ocaml

04:17 enitiz has quit [Quit: Leaving]

04:19 myyst has quit [Read error: Connection reset by peer]

04:19 myyst has joined #ocaml

04:21 myyst has quit [Read error: Connection reset by peer]

04:22 myyst has joined #ocaml

04:23 tnguyen has quit [Quit: tnguyen]

04:23 tnguyen has joined #ocaml

04:25 myyst has quit [Read error: Connection reset by peer]

04:25 myyst has joined #ocaml

04:27 myyst has quit [Read error: Connection reset by peer]

04:27 myyst has joined #ocaml

04:29 travisbrady has quit [Quit: travisbrady]

04:31 myyst has quit [Read error: Connection reset by peer]

04:31 myyst has joined #ocaml

04:32 kapil__ has joined #ocaml

04:32 tnguyen has quit [Quit: tnguyen]

04:33 samrat has quit [Ping timeout: 245 seconds]

04:33 myyst has quit [Read error: Connection reset by peer]

04:34 myyst has joined #ocaml

04:35 samrat has joined #ocaml

04:37 myyst has quit [Read error: Connection reset by peer]

04:37 myyst has joined #ocaml

04:40 myyst has quit [Read error: Connection reset by peer]

04:41 badon has joined #ocaml

04:41 myyst has joined #ocaml

04:41 vincom2 has quit [Ping timeout: 245 seconds]

04:43 myyst has quit [Read error: Connection reset by peer]

04:44 myyst has joined #ocaml

04:44 vincom2 has joined #ocaml

04:47 myyst has quit [Read error: Connection reset by peer]

04:47 myyst has joined #ocaml

04:50 myyst has quit [Read error: Connection reset by peer]

04:51 myyst has joined #ocaml

04:53 myyst has quit [Read error: Connection reset by peer]

04:54 samrat has quit [Quit: Computer has gone to sleep.]

04:54 myyst has joined #ocaml

04:57 MrScout has quit [Ping timeout: 265 seconds]

04:57 myyst has quit [Read error: Connection reset by peer]

04:58 myyst has joined #ocaml

04:58 manizzle has joined #ocaml

05:00 myyst has quit [Read error: Connection reset by peer]

05:00 myyst has joined #ocaml

05:03 myyst has quit [Read error: Connection reset by peer]

05:04 myyst has joined #ocaml

05:05 NoNNaN has joined #ocaml

05:07 myyst has quit [Read error: Connection reset by peer]

05:07 myyst has joined #ocaml

05:10 myyst has quit [Read error: Connection reset by peer]

05:11 myyst has joined #ocaml

05:13 myyst has quit [Read error: Connection reset by peer]

05:13 matason has joined #ocaml

05:13 myyst has joined #ocaml

05:16 myyst has quit [Read error: Connection reset by peer]

05:17 myyst has joined #ocaml

05:19 nullcat_ has joined #ocaml

05:20 myyst has quit [Read error: Connection reset by peer]

05:20 myyst has joined #ocaml

05:23 myyst has quit [Read error: Connection reset by peer]

05:24 myyst has joined #ocaml

05:26 myyst has quit [Read error: Connection reset by peer]

05:27 myyst has joined #ocaml

05:29 myyst has quit [Read error: Connection reset by peer]

05:30 myyst has joined #ocaml

05:33 myyst has quit [Read error: Connection reset by peer]

05:34 myyst has joined #ocaml

05:36 samrat has joined #ocaml

05:37 myyst has quit [Read error: Connection reset by peer]

05:37 myyst has joined #ocaml

05:39 myyst has quit [Read error: Connection reset by peer]

05:40 myyst has joined #ocaml

05:43 samrat has quit [Quit: Computer has gone to sleep.]

05:43 myyst has quit [Read error: Connection reset by peer]

05:44 myyst has joined #ocaml

05:46 myyst has quit [Read error: Connection reset by peer]

05:47 myyst has joined #ocaml

05:49 samrat has joined #ocaml

05:54 myyst has quit [Ping timeout: 244 seconds]

05:54 myyst has joined #ocaml

06:03 ggole has joined #ocaml

06:05 ygrek has joined #ocaml

06:39 cdidd has quit [Ping timeout: 256 seconds]

06:42 flx has quit [Quit: leaving]

06:44 kdef has quit [Quit: peace]

06:47 rom1504 has quit [Ping timeout: 272 seconds]

06:50 govg has quit [Ping timeout: 245 seconds]

06:51 kapil__ has quit [Quit: Connection closed for inactivity]

06:51 araujo has quit [Read error: Connection reset by peer]

06:52 araujo has joined #ocaml

06:52 govg has joined #ocaml

06:54 rom1504 has joined #ocaml

06:55 cdidd has joined #ocaml

06:57 kapil__ has joined #ocaml

07:04 axiles has joined #ocaml

07:04 natrium1970 has joined #ocaml

07:07 keen__________24 has joined #ocaml

07:08 <natrium1970> I’m not sure how to introduce polymorphism in a certain situation. http://pastebin.com/Vp8z3Bsm Essentially, I want users of this module to be able to use whatever type they want in the place of “???”. Is there a simple way to do this, or is this something that requires functors?

07:09 keen__________23 has quit [Ping timeout: 256 seconds]

07:10 <dmbaturin> natrium1970: "type 'a some_variant = A of (string -> 'a)" may work, or I'm missing something.

07:12 <natrium1970> That works for the definition on the first two lines, but “type t = { a : some_type )” fails with “unbound constructor some_type”

07:12 <natrium1970> Oops. I changed something. Let me try again.

07:16 oscar_toro has quit [Ping timeout: 264 seconds]

07:17 mcc has joined #ocaml

07:18 <natrium1970> That seems to work so far. There are several types that are based on the type ‘a some_variant, though, and from what I can tell, since some_variant has a type parameter ‘a, any types that include some_variant as a field will also need a type paramteter. So there will be lots of ‘a floating around the code. I was looking for a similar example, but I don’t see any that are quite like this.

07:24 ygrek has quit [Ping timeout: 244 seconds]

07:28 struktured has quit [Ping timeout: 244 seconds]

07:34 struktured has joined #ocaml

07:35 kakadu has joined #ocaml

07:36 Haudegen has quit [Ping timeout: 240 seconds]

07:36 mcc has quit [Quit: This computer has gone to sleep]

07:37 Submarine has quit [Ping timeout: 244 seconds]

07:37 Haudegen has joined #ocaml

07:38 jao has quit [Ping timeout: 240 seconds]

07:40 nullcat_ has quit [Quit: Textual IRC Client: www.textualapp.com]

07:43 <ggole> natrium1970: can't really have polymorphism without type constructor arguments

07:45 <natrium1970> I know. It’s just that now all the data structures that are indirectly polymorphic need type parameters. I thought maybe I was doing something wrong. Maybe functors would be a better idea. This isn’t even the project I started on. I keep going off on tangents and not getting anything done (except learning OCaml more).

07:46 <natrium1970> And it’s nice to see you, ggole. You have been very helpful to me.

07:46 <ggole> What do you mean, indirectly polymorphic?

07:47 <natrium1970> Type t1 is polymorphic. Type t2 has a field of type t1. Type t3 has a field of type t2.

07:47 <ggole> If you are just using a polymorphic type you can plug in whatever you like.

07:48 <natrium1970> I don’t understand.

07:50 <ggole> Hmm

07:50 <ggole> I simply meant that you can use t1 with whatever argument type is necessary

07:50 <ggole> eg, type t2 = int t1

07:51 Hannibal_Smith has quit [Remote host closed the connection]

07:51 <ggole> If you have no concrete type with which to do that, then I suppose you introduce 'a everywhere

07:55 <natrium1970> Yes, the introducing ‘a everywhere is what I’m doing. It’s a work in progress right now. The root of the polymorphism is that the user of the module will supply a function that converts a string into a user-defined type. Nothing else is currently polymorphic. If I keep getting bogged down in all this fun, who knows.

08:01 Intensity has quit [Remote host closed the connection]

08:10 samrat has quit [Quit: Computer has gone to sleep.]

08:13 contempt has quit [Disconnected by services]

08:13 contempt has joined #ocaml

08:19 mengu has joined #ocaml

08:19 mengu has quit [Changing host]

08:28 alkoma has quit [Ping timeout: 255 seconds]

08:28 samrat has joined #ocaml

08:29 rgrinberg has quit [Quit: Leaving.]

08:42 chinglish has joined #ocaml

08:42 natrium1970 has quit [Quit: natrium1970]

08:51 funtik_ has quit [Ping timeout: 244 seconds]

08:53 funtik_ has joined #ocaml

08:59 thomasga has joined #ocaml

09:10 rossberg has joined #ocaml

09:14 tautologico has quit [Quit: Connection closed for inactivity]

09:17 samrat has quit [Quit: Computer has gone to sleep.]

09:19 struktured has quit [Ping timeout: 244 seconds]

09:20 samrat has joined #ocaml

09:24 alkoma has joined #ocaml

09:29 alkoma has quit [Ping timeout: 256 seconds]

09:31 mort___ has joined #ocaml

09:40 larhat has joined #ocaml

09:45 Simn has joined #ocaml

09:50 iZsh has quit [Ping timeout: 264 seconds]

09:51 hnrgrgr_ is now known as hnrgrgr

09:51 kakadu has quit [Ping timeout: 245 seconds]

09:51 kakadu_ has joined #ocaml

09:52 iZsh has joined #ocaml

09:55 fafounet has joined #ocaml

09:57 larhat has quit [Quit: Leaving.]

09:58 skchrko_ has quit [Quit: Leaving]

09:59 mengu has quit [Remote host closed the connection]

10:02 Haudegen has quit [Ping timeout: 264 seconds]

10:05 Haudegen has joined #ocaml

10:06 fafounet has quit [Ping timeout: 245 seconds]

10:10 Simn has quit [Read error: Connection reset by peer]

10:16 bugabinga has quit [Remote host closed the connection]

10:17 bugabinga has joined #ocaml

10:18 Simn has joined #ocaml

10:23 jonludlam has joined #ocaml

10:37 antegallya has joined #ocaml

10:46 nojb has joined #ocaml

10:46 <nojb> how do I link to a type definition in an ocamldoc comment ?

10:47 vanila has joined #ocaml

10:47 <vanila> hello

10:47 <vanila> im trying to learn ocaml from Real World Ocaml book

10:47 <vanila> https://realworldocaml.org/v1/en/html/a-guided-tour.html#a-complete-program

10:48 <vanila> so I'm doing ocamlbuild real.native but it says Error: Unbound module Core

10:48 <vanila> what should I do?

10:48 <vanila> $ opam install Core

10:48 <vanila> [NOTE] Package core is already installed (current version is 111.28.01).

10:48 alkoma has joined #ocaml

10:50 <Leonidas> vanila: corebuild

10:50 <Leonidas> not ocamlbuild

10:50 <Leonidas> corebuild does ocamlbuild -package core

10:50 <vanila> oh :D

10:50 <vanila> thanks a lot

10:51 <vanila> it works great now :)

10:52 <nojb> is it possible to link to a particular constructor name with ocamldoc ?

10:53 alkoma has quit [Ping timeout: 245 seconds]

11:06 <Drup> nojb: append "#VALname"

11:06 <Drup> It should work.

11:06 <Drup> (to the url)

11:08 fraggle_laptop has joined #ocaml

11:08 thomasga has quit [Quit: Leaving.]

11:14 fafounet has joined #ocaml

11:15 mengu has joined #ocaml

11:17 nojb has quit [Quit: nojb]

11:20 nojb has joined #ocaml

11:20 ingsoc has joined #ocaml

11:20 <nojb> Drup: thanks!

11:21 Yoric has joined #ocaml

11:27 matason has quit [Quit: Later!]

11:28 matason has joined #ocaml

11:37 thomasga has joined #ocaml

11:38 _andre has joined #ocaml

11:39 marynate has quit [Ping timeout: 244 seconds]

11:42 antegallya has quit [Ping timeout: 244 seconds]

11:43 thomasga has quit [Quit: Leaving.]

11:43 thomasga has joined #ocaml

11:45 Arsenik has joined #ocaml

11:47 ebzzry_ has quit [Remote host closed the connection]

11:49 alkoma has joined #ocaml

11:50 kakadu_ has quit [Ping timeout: 265 seconds]

11:51 kakadu has joined #ocaml

11:52 mengu has quit [Ping timeout: 256 seconds]

11:53 mengu has joined #ocaml

11:53 kakadu__ has joined #ocaml

11:54 kakadu has quit [Client Quit]

11:54 alkoma has quit [Ping timeout: 264 seconds]

11:54 kakadu__ has quit [Remote host closed the connection]

11:55 antegallya has joined #ocaml

11:57 kakadu has joined #ocaml

11:57 samrat has quit [Quit: Computer has gone to sleep.]

11:58 kakadu has quit [Remote host closed the connection]

11:59 fafounet has quit [Ping timeout: 265 seconds]

12:02 thomasga has quit [Quit: Leaving.]

12:09 fafounet has joined #ocaml

12:10 kakadu has joined #ocaml

12:12 kakadu has quit [Remote host closed the connection]

12:14 AlexRussia has quit [Ping timeout: 244 seconds]

12:16 <vanila> let places = Stack.create ()

12:17 <vanila> is it ok to do that without a type signature?

12:18 kakadu has joined #ocaml

12:19 <nojb> yes

12:21 <dmbaturin> vanila: Generally, it's always ok to omit type signatures, except for very rare cases.

12:21 kakadu has quit [Read error: Connection reset by peer]

12:21 kakadu has joined #ocaml

12:22 <vanila> thanks

12:24 <Leonidas> where do you even want to put a signature anyway?

12:25 kakadu has quit [Read error: Connection reset by peer]

12:25 kakadu has joined #ocaml

12:26 <ggole> vanila: you can run into trouble if that's at the top level of a module

12:27 <vanila> oh thats what I am doing

12:27 <vanila> what was going wrong was the docs have Stack.push backwards, but I fixed that so now its got the type right

12:27 <ggole> If it has a concrete type by the end of the module you'll be fine

12:27 <vanila> alright!

12:27 <ggole> If not, the type checker will complain about the type variable not being generalisable

12:28 AlexRussia has joined #ocaml

12:30 kakadu has quit [Ping timeout: 245 seconds]

12:33 marynate has joined #ocaml

12:36 AlexRussia has quit [Ping timeout: 245 seconds]

12:37 <dmbaturin> vanila: Type signatures are like ;;'s, if you need one, there's probably a style problem somewhere. :)

12:38 <bernardofpc> or can be used to debug

12:38 <vanila> ok :D

12:38 <vanila> well I just finished my first ocaml program, I wonder if anyone would like to comment on it?

12:38 <ousado> I wouldn't call documentation a style problem

12:39 <vanila> http://lpaste.net/117989 its two files

12:44 slash^ has joined #ocaml

12:44 <dmbaturin> That position tracking feels a bit too imperative. :)

12:44 kakadu has joined #ocaml

12:45 <vanila> oh yeah I see how I could do it more functionally, ill fix that - cheers

12:46 <dmbaturin> Also, I'm sure the binary magic makes sense to you, but you should add some comments about it for the readers.

12:47 <vanila> http://lpaste.net/117991 it's for building numbers like this

12:47 <dmbaturin> I have no idea what the target platorm is and what exactly those binary constants mean.

12:47 clrnd has joined #ocaml

12:48 <vanila> i can point to these diagrams, that should make it better

12:48 <vanila> they're all in the same folder

12:49 <dmbaturin> Maybe it would be better to emit assembly instead, that would be self-descriptive.

12:49 kakadu has quit [Ping timeout: 264 seconds]

12:50 fafounet has quit [Ping timeout: 264 seconds]

12:50 alkoma has joined #ocaml

12:54 alkoma has quit [Ping timeout: 244 seconds]

12:55 AlexRussia has joined #ocaml

12:57 <ggole> vanila: prefixing (almost) all of the definitions in a file with um_ is a bit of a red flag: usually you would use a module for that

12:57 <vanila> oh of course!

12:57 <vanila> Then I can write Um. instead of um_

12:58 <dmbaturin> Uhm. ;)

12:58 <ggole> An alternative is to give it a nice long descriptive name and then use module Um = UMachine (or whatever) as a shorthand

12:59 <ggole> (This is actually pretty common.)

12:59 <dmbaturin> vanila: Also, you can use "ocamlc -i file.ml" to produce module type signatures.

13:00 thomasga has joined #ocaml

13:00 dsheets has joined #ocaml

13:03 antegallya has quit [Ping timeout: 244 seconds]

13:05 <Drup> the imperativeness of the position tracking is fine. That's how you do it in most lexer/parsers anyway.

13:06 <Drup> but remember that incr is predefined as "let incr x = x := !x +1"

13:07 <Drup> vanila: the real issue is that the lexer is not restartable, you have a global state, that's bad.

13:08 nojb has quit [Quit: nojb]

13:08 AlexRussia has quit [Ping timeout: 245 seconds]

13:10 <vanila> what is restartable exactly?

13:10 <Drup> imagine you want to parse two files.

13:11 <Drup> or execute two programs

13:11 <Drup> you have one position and one stack

13:12 <vanila> ah yeah, i see

13:12 <Drup> what you should do is create a state locally in some parsing function.

13:14 ebzzry has joined #ocaml

13:15 AlexRussia has joined #ocaml

13:16 badkins has joined #ocaml

13:17 mengu has quit [Ping timeout: 264 seconds]

13:21 Hannibal_Smith has joined #ocaml

13:24 fafounet has joined #ocaml

13:27 lordkryss has joined #ocaml

13:33 BitPuffin has joined #ocaml

13:33 fraggle-boate has joined #ocaml

13:42 MotorMe has joined #ocaml

13:43 Unhammer has quit [Remote host closed the connection]

13:50 Unhammer has joined #ocaml

13:50 alkoma has joined #ocaml

13:55 alkoma has quit [Ping timeout: 245 seconds]

14:04 AltGr has left #ocaml [#ocaml]

14:14 majoh has quit [Remote host closed the connection]

14:15 majoh has joined #ocaml

14:30 travisbrady has joined #ocaml

14:32 ysz has joined #ocaml

14:34 avsm has joined #ocaml

14:48 leowzukw has joined #ocaml

14:51 larhat has joined #ocaml

14:51 alkoma has joined #ocaml

14:53 travisbrady has quit [Quit: travisbrady]

14:56 hekmek has joined #ocaml

14:56 alkoma has quit [Ping timeout: 264 seconds]

14:57 avsm has quit [Quit: Leaving.]

14:58 travisbrady has joined #ocaml

14:58 shinnya_ has joined #ocaml

15:06 MotorMe has quit [Ping timeout: 264 seconds]

15:09 bluebelle has joined #ocaml

15:13 ysz has quit [Quit: Leaving]

15:22 fafounet has quit [Ping timeout: 256 seconds]

15:24 larhat has quit [Quit: Leaving.]

15:25 bluebelle has quit [Quit: leaving]

15:31 kapil__ has quit [Quit: Connection closed for inactivity]

15:37 hilquias has quit [Remote host closed the connection]

15:39 kakadu has joined #ocaml

15:40 Thooms has joined #ocaml

15:41 thomasga has quit [Quit: Leaving.]

15:42 rgrinberg has joined #ocaml

15:52 alkoma has joined #ocaml

15:56 alkoma has quit [Ping timeout: 244 seconds]

16:06 Submarine_ has joined #ocaml

16:08 kakadu has quit [Ping timeout: 256 seconds]

16:09 rgrinberg has quit [Quit: Leaving.]

16:09 darkf has quit [Quit: Leaving]

16:10 rgrinberg has joined #ocaml

16:12 ollehar has quit [Ping timeout: 264 seconds]

16:12 fraggle-boate has quit [Remote host closed the connection]

16:14 thomasga has joined #ocaml

16:15 kakadu has joined #ocaml

16:16 avsm has joined #ocaml

16:17 avsm1 has joined #ocaml

16:17 avsm has quit [Read error: Connection reset by peer]

16:21 Submarine_ has quit [Remote host closed the connection]

16:24 mort___ has quit [Quit: Leaving.]

16:26 cthuluh has quit [Ping timeout: 272 seconds]

16:26 cthuluh has joined #ocaml

16:30 Hannibal_Smith has quit [Quit: Leaving]

16:32 etehtsea has joined #ocaml

16:32 etehtsea has quit [Max SendQ exceeded]

16:37 Yoric has quit [Remote host closed the connection]

16:37 <Drup> huhu

16:38 <Drup> Just tried to compile a modified compiler that takes the typedtree, untype it, print it and retyped it.

16:39 <Drup> Fatal error: exception File "parsing/pprintast.ml", line 228, characters 12-18: Assertion failed

16:39 <Drup> while printing :D

16:40 <Drup> pretty printer, you had one job :<

16:43 tobiasBora_ has joined #ocaml

16:44 <dmbaturin> Drup: Wow, that's not pretty.

16:44 icicled has quit [Ping timeout: 272 seconds]

16:44 <avsm1> grr, lots of backwards compatibility breaking changes in Lwt with nary a mention in the changelog, vbmithr whitequark :-/

16:45 <dmbaturin> People who break compatibility without proper warning are evil!

16:46 * dmbaturin is a huge fan of semver.org

16:46 Intensity has joined #ocaml

16:52 <Drup> avsm1: I tried to insist so that everything is in the changelog, sorry :(

16:53 <Drup> dmbaturin: that might be my fault too :D

16:53 vanila has quit [Quit: Leaving]

16:54 travisbrady_ has joined #ocaml

16:56 travisbrady has quit [Ping timeout: 264 seconds]

16:56 travisbrady_ is now known as travisbrady

16:56 struk|work has joined #ocaml

17:05 leowzukw has quit [Quit: Lost terminal]

17:08 avsm1 has quit [Quit: Leaving.]

17:08 chinglish has quit [Quit: Nettalk6 - www.ntalk.de]

17:10 contempt has quit [Disconnected by services]

17:11 contempt has joined #ocaml

17:11 jprakash has joined #ocaml

17:14 samrat has joined #ocaml

17:22 thomasga has quit [Quit: Leaving.]

17:22 fraggle-boate has joined #ocaml

17:24 lordkryss has quit [Quit: Connection closed for inactivity]

17:25 tobiasBora_ has quit [Ping timeout: 264 seconds]

17:26 badkins has quit [Remote host closed the connection]

17:28 thomasga has joined #ocaml

17:29 Submarine has joined #ocaml

17:29 Submarine has quit [Changing host]

17:29 Submarine has joined #ocaml

17:35 Yoric has joined #ocaml

17:37 jonludlam has quit [Quit: Coyote finally caught me]

17:37 thomasga1 has joined #ocaml

17:41 thomasga has quit [Ping timeout: 255 seconds]

17:46 q66 has joined #ocaml

17:46 travisbrady has quit [Quit: travisbrady]

17:48 Simn has quit [Read error: Network is unreachable]

17:49 Simn has joined #ocaml

17:50 c74d has quit [Remote host closed the connection]

17:50 manizzle has quit [Ping timeout: 244 seconds]

17:52 badkins has joined #ocaml

17:54 c74d has joined #ocaml

17:55 myyst has quit [Read error: Network is unreachable]

17:56 myyst has joined #ocaml

17:56 badkins has quit [Ping timeout: 264 seconds]

17:59 dsheets has quit [Ping timeout: 265 seconds]

17:59 Haudegen has quit [Ping timeout: 245 seconds]

18:01 Haudegen has joined #ocaml

18:02 badkins has joined #ocaml

18:06 badkins has quit [Remote host closed the connection]

18:06 badkins has joined #ocaml

18:07 badkins_ has joined #ocaml

18:10 badkins has quit [Ping timeout: 264 seconds]

18:11 fafounet has joined #ocaml

18:12 jwatzman|work has joined #ocaml

18:15 Yoric has quit [Remote host closed the connection]

18:18 olauzon has joined #ocaml

18:19 Yoric_ has joined #ocaml

18:20 thomasga1 has quit [Quit: Leaving.]

18:21 thomasga has joined #ocaml

18:31 jao has joined #ocaml

18:31 jao has quit [Changing host]

18:31 jao has joined #ocaml

18:32 badkins_ is now known as badkins

18:39 manizzle has joined #ocaml

18:40 travisbrady has joined #ocaml

18:42 MrScout has joined #ocaml

18:43 marynate has quit [Ping timeout: 255 seconds]

18:44 thomasga has quit [Quit: Leaving.]

18:49 rgrinberg has quit [Quit: Leaving.]

18:50 Puffin has joined #ocaml

18:51 icicled has joined #ocaml

18:51 Thooms has quit [Quit: WeeChat 1.0.1]

18:51 BitPuffin has quit [Ping timeout: 245 seconds]

18:53 Puffin is now known as BitPuffin

18:59 lordkryss has joined #ocaml

18:59 rgrinberg has joined #ocaml

19:01 thomasga has joined #ocaml

19:08 jao has quit [Remote host closed the connection]

19:09 larhat has joined #ocaml

19:11 AlexRussia has quit [Ping timeout: 264 seconds]

19:13 MrScout has quit [Remote host closed the connection]

19:14 MrScout has joined #ocaml

19:14 Simn has quit [Read error: Network is unreachable]

19:14 Simn has joined #ocaml

19:15 jao has joined #ocaml

19:15 jao has quit [Changing host]

19:15 jao has joined #ocaml

19:15 AlexRussia has joined #ocaml

19:16 _andre has quit [Quit: leaving]

19:17 samrat has quit [Quit: Computer has gone to sleep.]

19:22 RossJH has joined #ocaml

19:27 Haudegen has quit [Remote host closed the connection]

19:30 Haudegen has joined #ocaml

19:39 slash^ has quit [Read error: Connection reset by peer]

19:39 Haudegen has quit [Remote host closed the connection]

19:44 jprakash has quit [Ping timeout: 265 seconds]

19:49 AlexRussia has quit [Ping timeout: 264 seconds]

19:50 AlexRussia has joined #ocaml

19:50 Yoric_ has quit [Remote host closed the connection]

19:55 jao has quit [Quit: Using Circe, the loveliest of all IRC clients]

19:57 jao has joined #ocaml

19:58 mort___ has joined #ocaml

20:01 Yoric has joined #ocaml

20:04 OnkV has joined #ocaml

20:05 hekmek has quit [Quit: Verlassend]

20:09 travisbrady has quit [Quit: travisbrady]

20:11 fafounet has quit [Ping timeout: 265 seconds]

20:12 OnkV has quit [Ping timeout: 244 seconds]

20:14 OnkV has joined #ocaml

20:17 OnkV is now known as Haudegen

20:18 travisbrady has joined #ocaml

20:30 alkoma has joined #ocaml

20:30 Druup has joined #ocaml

20:31 thomasga has quit [Quit: Leaving.]

20:31 Drup has quit [Ping timeout: 252 seconds]

20:33 matason has quit [Ping timeout: 245 seconds]

20:35 Druup is now known as Drup

20:36 thomasga has joined #ocaml

20:42 Guest26102 is now known as j0sh

20:44 Thooms has joined #ocaml

20:54 ggole has quit []

20:55 jprakash has joined #ocaml

20:59 jwatzman|work has quit [Quit: jwatzman|work]

21:00 matason has joined #ocaml

21:03 AlexRussia has quit [Ping timeout: 252 seconds]

21:05 jwatzman|work has joined #ocaml

21:14 Hannibal_Smith has joined #ocaml

21:17 clrnd has quit [Quit: leaving]

21:25 jwatzman|work has quit [Quit: jwatzman|work]

21:31 AlexRussia has joined #ocaml

21:47 axiles has quit [Remote host closed the connection]

21:48 jwatzman|work has joined #ocaml

21:48 flux has quit [Read error: Connection reset by peer]

21:49 flux has joined #ocaml

21:53 badkins has quit [Remote host closed the connection]

21:55 Submarine has quit [Quit: Leaving]

21:59 MrScout_ has joined #ocaml

22:03 MrScout has quit [Ping timeout: 244 seconds]

22:04 Arsenik has quit [Remote host closed the connection]

22:07 jwatzman|work has quit [Quit: jwatzman|work]

22:10 jwatzman|work has joined #ocaml

22:10 arj has joined #ocaml

22:12 tnguyen has joined #ocaml

22:13 badkins has joined #ocaml

22:13 badkins has quit [Remote host closed the connection]

22:13 badkins has joined #ocaml

22:14 RossJH has quit [Quit: Textual IRC Client: www.textualapp.com]

22:14 badkins_ has joined #ocaml

22:18 badkins has quit [Ping timeout: 265 seconds]

22:19 matason has quit [Ping timeout: 245 seconds]

22:26 MrScout_ has quit [Remote host closed the connection]

22:27 MrScout has joined #ocaml

22:27 ingsoc has quit [Quit: Leaving.]

22:27 rgrinberg has quit [Quit: Leaving.]

22:29 demonimin_ has joined #ocaml

22:30 thomasga has quit [Quit: Leaving.]

22:31 demonimin has quit [Ping timeout: 246 seconds]

22:32 MrScout_ has joined #ocaml

22:35 MrScout has quit [Ping timeout: 255 seconds]

22:38 huza has joined #ocaml

22:40 tobiasBora_ has joined #ocaml

22:45 rock_neurotiko has joined #ocaml

22:47 rgrinberg has joined #ocaml

22:50 travisbrady has quit [Quit: travisbrady]

22:52 avsm has joined #ocaml

22:53 olauzon has quit [Quit: olauzon]

22:56 fafounet has joined #ocaml

23:01 Yoric has quit [Remote host closed the connection]

23:04 vanila has joined #ocaml

23:05 MrScout_ has quit [Remote host closed the connection]

23:06 MrScout has joined #ocaml

23:08 kakadu has quit []

23:10 MercurialAlchemi has quit [Ping timeout: 265 seconds]

23:19 huza has quit [Remote host closed the connection]

23:20 codefo has joined #ocaml

23:24 bytbox has quit [Remote host closed the connection]

23:27 jwatzman|work has quit [Quit: jwatzman|work]

23:31 jonludlam has joined #ocaml

23:37 myyst has quit [Ping timeout: 265 seconds]

23:38 jwatzman|work has joined #ocaml

23:38 myyst has joined #ocaml

23:41 arj has quit [Quit: Leaving.]

23:42 mort___ has quit [Quit: Leaving.]

23:43 avsm has quit [Quit: Leaving.]

23:45 tobiasBora_ has quit [Quit: Konversation terminated!]

23:48 fafounet has quit [Ping timeout: 244 seconds]

23:59 codefo has quit [Ping timeout: 245 seconds]