#ocaml on 2013-12-19 — irc logs at freenode.irclog.whitequark.org

2013-09-12 14:13 flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.01.0 http://bit.ly/1851A3R | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/

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

00:01 gnuvince has quit [Ping timeout: 252 seconds]

00:04 <whitequark> nicoo: I don't know how to encode polymorphic functions

00:04 nikki93 has quit [Read error: No route to host]

00:05 nikki93 has joined #ocaml

00:06 <nicoo> whitequark: I'm tired and sleepy, by will look tomorrow

00:07 <whitequark> nicoo: thanks!

00:07 jonludlam has quit [Remote host closed the connection]

00:08 nikki93_ has joined #ocaml

00:11 nikki93 has quit [Ping timeout: 248 seconds]

00:18 jwatzman|work has quit [Quit: jwatzman|work]

00:20 nikki93_ has quit [Remote host closed the connection]

00:21 q66_ is now known as q66

00:21 nikki93 has joined #ocaml

00:23 nikki93 has quit [Read error: Connection reset by peer]

00:23 nikki93 has joined #ocaml

00:25 Xenasis has joined #ocaml

00:27 mreca has joined #ocaml

00:28 jao has joined #ocaml

00:28 jao has quit [Changing host]

00:28 jao has joined #ocaml

00:31 talzeus has joined #ocaml

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

00:34 watermind has quit [Quit: Konversation terminated!]

00:34 watermind has joined #ocaml

00:39 watermind has quit [Ping timeout: 248 seconds]

00:40 mcclurmc has joined #ocaml

00:44 osa1_ has quit [Quit: Konversation terminated!]

00:46 mcclurmc has quit [Ping timeout: 250 seconds]

00:48 chturne has quit [Quit: Leaving]

01:01 csakatoku has joined #ocaml

01:03 watermind has joined #ocaml

01:04 osa1 has joined #ocaml

01:11 zxqdms has quit [Quit: leaving]

01:16 ygrek has joined #ocaml

01:17 strobegen has joined #ocaml

01:21 Axord has joined #ocaml

01:25 nikki93 has joined #ocaml

01:29 mcclurmc has joined #ocaml

01:30 nikki93 has quit [Ping timeout: 272 seconds]

01:34 michael_lee has joined #ocaml

01:37 boogie has quit [Remote host closed the connection]

01:38 ygrek has quit [Ping timeout: 265 seconds]

01:38 nikki93 has joined #ocaml

01:45 nikki93 has quit [Ping timeout: 248 seconds]

01:45 groovy2shoes has joined #ocaml

01:46 jpdeplaix has quit [Read error: Operation timed out]

01:49 groovy2shoes has quit [Client Quit]

01:53 ygrek has joined #ocaml

01:54 groovy2shoes has joined #ocaml

01:55 malvarez has quit [Read error: Connection reset by peer]

01:57 groovy2shoes has quit [Client Quit]

02:00 darkf_ has joined #ocaml

02:01 jpdeplaix has joined #ocaml

02:02 darkf has quit [Ping timeout: 240 seconds]

02:04 cesar_ has joined #ocaml

02:05 cesar_ is now known as Guest20149

02:06 Xavier89 has joined #ocaml

02:08 magei26036 has joined #ocaml

02:08 magei29534 has joined #ocaml

02:08 magei27277 has joined #ocaml

02:08 magei29904 has joined #ocaml

02:08 magei26558 has joined #ocaml

02:08 magei23722 has joined #ocaml

02:08 magei26641 has joined #ocaml

02:08 magei21555 has joined #ocaml

02:08 magei26184 has joined #ocaml

02:08 magei29690 has joined #ocaml

02:08 magei26100 has joined #ocaml

02:08 magei28929 has joined #ocaml

02:08 magei21280 has joined #ocaml

02:08 magei21492 has joined #ocaml

02:08 magei25650 has joined #ocaml

02:08 magei21191 has joined #ocaml

02:08 magei26041 has joined #ocaml

02:08 magei29386 has joined #ocaml

02:08 magei230 has joined #ocaml

02:08 magei2694 has joined #ocaml

02:08 magei23716 has joined #ocaml

02:08 magei21363 has joined #ocaml

02:08 magei26435 has joined #ocaml

02:08 magei22813 has joined #ocaml

02:08 magei28661 has joined #ocaml

02:08 magei2867 has joined #ocaml

02:08 magei25399 has joined #ocaml

02:08 magei24666 has joined #ocaml

02:08 magei22077 has joined #ocaml

02:08 magei21557 has joined #ocaml

02:08 magei22835 has joined #ocaml

02:08 magei28709 has joined #ocaml

02:08 magei2712 has joined #ocaml

02:08 e8536 has joined #ocaml

02:08 clog has quit [Excess Flood]

02:08 clog has joined #ocaml

02:08 magei26036 has joined #ocaml

02:08 magei27277 has joined #ocaml

02:08 magei23722 has joined #ocaml

02:08 magei26641 has joined #ocaml

02:08 magei21555 has joined #ocaml

02:08 magei26184 has joined #ocaml

02:08 magei29690 has joined #ocaml

02:08 magei29904 has joined #ocaml

02:08 magei26558 has joined #ocaml

02:08 magei29534 has joined #ocaml

02:08 magei26041 has joined #ocaml

02:08 magei25650 has joined #ocaml

02:08 magei29386 has joined #ocaml

02:08 magei26100 has joined #ocaml

02:08 magei230 has joined #ocaml

02:08 magei21280 has joined #ocaml

02:08 magei2694 has joined #ocaml

02:08 magei26435 has joined #ocaml

02:08 magei22813 has joined #ocaml

02:08 magei2867 has joined #ocaml

02:08 magei21557 has joined #ocaml

02:08 magei22835 has joined #ocaml

02:08 magei21492 has joined #ocaml

02:08 magei22077 has joined #ocaml

02:08 magei28709 has joined #ocaml

02:08 e8536 has joined #ocaml

02:08 magei21363 has joined #ocaml

02:08 magei24666 has joined #ocaml

02:08 magei25399 has joined #ocaml

02:08 magei28661 has left #ocaml []

02:08 magei28661 has joined #ocaml

02:08 magei23716 has joined #ocaml

02:08 magei21191 has joined #ocaml

02:08 magei26036 has left #ocaml []

02:08 magei27277 has left #ocaml []

02:08 magei23722 has left #ocaml []

02:08 magei26641 has left #ocaml []

02:08 magei21555 has left #ocaml []

02:08 magei26184 has left #ocaml []

02:08 magei29690 has left #ocaml []

02:08 magei29534 has left #ocaml []

02:08 magei29904 has left #ocaml []

02:08 magei26558 has left #ocaml []

02:08 magei26100 has left #ocaml []

02:08 magei21280 has left #ocaml []

02:08 magei21492 has left #ocaml []

02:08 magei21363 has left #ocaml []

02:08 magei23716 has left #ocaml []

02:08 magei26041 has left #ocaml []

02:08 magei25650 has left #ocaml []

02:08 e8536 has left #ocaml []

02:08 magei29386 has left #ocaml []

02:08 magei230 has left #ocaml []

02:08 magei2694 has left #ocaml []

02:08 magei21191 has left #ocaml []

02:08 magei25399 has left #ocaml []

02:08 magei21557 has left #ocaml []

02:08 magei22077 has left #ocaml []

02:08 magei22835 has left #ocaml []

02:08 magei28709 has left #ocaml []

02:08 magei24666 has left #ocaml []

02:08 magei26435 has left #ocaml []

02:08 magei22813 has left #ocaml []

02:08 magei2867 has left #ocaml []

02:08 magei28661 has left #ocaml []

02:08 lostcuaz has quit [Excess Flood]

02:09 The_third_man has joined #ocaml

02:09 wolfnn has quit [Ping timeout: 264 seconds]

02:10 Guest73927 has joined #ocaml

02:12 darkf_ is now known as darkf

02:13 Xavier89 has left #ocaml []

02:21 strobegen has left #ocaml []

02:22 strobegen has joined #ocaml

02:29 Guest73927 has quit [Excess Flood]

02:33 ollehar has quit [Ping timeout: 260 seconds]

02:39 osa1 has quit [Ping timeout: 240 seconds]

02:39 osa1 has joined #ocaml

02:43 Guest25482 has joined #ocaml

02:56 introom has quit [Quit: WeeChat 0.4.2]

03:00 yminsky has joined #ocaml

03:01 watermind has quit [Quit: Konversation terminated!]

03:14 _5kg has quit [Excess Flood]

03:15 _5kg has joined #ocaml

03:23 yacks has quit [Quit: Leaving]

03:25 yminsky has quit [Ping timeout: 272 seconds]

03:29 mort___ has quit [Quit: Leaving.]

03:35 nikki93 has joined #ocaml

03:39 nikki93 has quit [Ping timeout: 250 seconds]

03:44 csakatoku has quit [Remote host closed the connection]

03:45 csakatoku has joined #ocaml

03:49 csakatoku has quit [Ping timeout: 260 seconds]

03:55 mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

04:05 Guest25482 is now known as amiller

04:05 amiller has quit [Changing host]

04:05 amiller has joined #ocaml

04:09 Xenasis has quit [Remote host closed the connection]

04:15 csakatoku has joined #ocaml

04:16 jao has quit [Ping timeout: 252 seconds]

04:19 Guest20149 has quit [Remote host closed the connection]

04:30 mcclurmc has quit [Remote host closed the connection]

04:38 boogie has joined #ocaml

04:49 groovy2shoes has joined #ocaml

05:05 robink has quit [Quit: No Ping reply in 180 seconds.]

05:05 ygrek has quit [Ping timeout: 250 seconds]

05:06 robink has joined #ocaml

05:07 wwilly has joined #ocaml

05:12 dant3 has joined #ocaml

05:13 wwilly has quit [Ping timeout: 246 seconds]

05:23 strobegen has quit [Ping timeout: 250 seconds]

05:25 iorivur has joined #ocaml

05:26 michael_lee has quit [Quit: Ex-Chat]

05:28 strobegen has joined #ocaml

05:29 <iorivur> Hi

05:30 <iorivur> I'm building a cross-compiler written in OCaml, but I encountered with such problem: /usr/bin/ld: float.o: Relocations in generic ELF (EM: 2)

05:30 <iorivur> I think its ld path is wrong (it seems to refer native ld) but I don't know how to fix and teach ocamlc which ld is what it needs.

05:30 <iorivur> any ideas?

05:32 dant3 has quit [Remote host closed the connection]

05:32 dant3 has joined #ocaml

05:33 <flux> I would probably start looking at the building of OCaml, assuming that the linker is chosen at that time

05:34 <iorivur> Well, I'm not going to build "OCaml compiler" itself, but a mincaml compiler written in OCaml and it uses ocamlc in its build script.

05:36 <iorivur> So I'm building intel native binary but its library (written in C) has to be compiled and linked with sparc-elf-*

05:38 <flux> but mincaml uses ocamlc to do linking?

05:39 <iorivur> yes, it seems. This is its repository: https://github.com/esumii/min-caml

05:40 <iorivur> I'll paste its output in a secound

05:41 strobegen has quit [Ping timeout: 248 seconds]

05:41 <flux> I think you should then have a separately compiled ocamlc that is able to cross-compile

05:41 <flux> and min-caml should use that for the linking stage

05:42 <iorivur> output is here: http://sprunge.us/LCBb In last part start from 92 is the problem

05:42 <iorivur> Hmm

05:43 <flux> hmm, so you are compiling min-caml itself to sparc?

05:43 <flux> I thought you were compiling the compiler natively to your platform and wish to crosscompile with it

05:44 <iorivur> yes, I'm heading to do so

05:44 <flux> so that is the purpose, compile min-caml to sparc?

05:44 <iorivur> OK, it seems to be more complicated than I thought just before post a question here

05:45 <flux> then I still hold my belief that you probably need to compile ocamlc to crosss compile for sparc.

05:45 <iorivur> No, I'm wish to compile the mincaml for my platform and it should compile min-caml code to sparc.

05:45 <flux> with steps similar to here: http://brion.inria.fr/gallium/index.php/CrossCompiler#Building_an_OCaml_cross-compiler

05:46 <flux> ok, well then it shouldn't say -cc "sparc-elf-cc" in the compilation there

05:46 <flux> because it seems that it is at that stage producing the compiler for your native platform

05:46 <iorivur> OK, I'm getting understanding

05:47 <flux> but, off to work, good luck :)

05:47 strobegen has joined #ocaml

05:48 <iorivur> thanks alot!

06:05 csakatok_ has joined #ocaml

06:08 csakatoku has quit [Ping timeout: 248 seconds]

06:09 ygrek has joined #ocaml

06:11 ulfdoz has joined #ocaml

06:19 csakatok_ has quit [Remote host closed the connection]

06:19 csakatoku has joined #ocaml

06:22 wwilly has joined #ocaml

06:23 Kakadu has joined #ocaml

06:23 csakatoku has quit [Ping timeout: 240 seconds]

06:24 darkf_ has joined #ocaml

06:25 ulfdoz has quit [Ping timeout: 240 seconds]

06:25 darkf has quit [Ping timeout: 240 seconds]

06:25 darkf_ is now known as darkf

06:32 csakatoku has joined #ocaml

06:42 ambul has quit [Ping timeout: 272 seconds]

06:47 milosn has quit [Ping timeout: 260 seconds]

06:48 <wwilly> bonjour

06:51 boogie has quit [Remote host closed the connection]

06:54 <Kakadu> hi

07:05 ambul has joined #ocaml

07:06 manizzle has quit [Ping timeout: 250 seconds]

07:15 struktured has quit [Ping timeout: 248 seconds]

07:18 dant3 has quit [Remote host closed the connection]

07:18 dant3 has joined #ocaml

07:27 cago has joined #ocaml

07:33 nze has joined #ocaml

07:33 groovy2shoes has quit [Quit: groovy2shoes]

07:36 mort___ has joined #ocaml

07:40 <companion_cube> o/

07:41 <adrien> \o

07:44 mort___ has quit [Ping timeout: 260 seconds]

07:49 * adrien hopes his christmas socks will be full of ocaml-ty :D

07:51 <companion_cube> /poke hnrgrgr_ ?

07:51 <adrien> :)

07:51 <adrien> I'm always a bit saddened when I end up with Fatal error: exception Pre_sexp.Of_sexp_error(_, _)

07:52 <adrien> and no details

07:52 <adrien> I hope we could then have serialization with more detailled error messages

07:52 <companion_cube> like "expected type foobar"?

07:53 <companion_cube> I hope we could get rid of type_conv and camlp4

07:55 zpe has joined #ocaml

07:56 <adrien> :)

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

08:07 <companion_cube> whitequark: there is Mixtbl

08:08 milosn has joined #ocaml

08:08 ocp has joined #ocaml

08:13 snyp has joined #ocaml

08:14 ollehar has joined #ocaml

08:16 snyp has quit [Client Quit]

08:18 Simn has joined #ocaml

08:28 dant3 has joined #ocaml

08:31 yacks has joined #ocaml

08:35 mika1 has joined #ocaml

08:37 csakatoku has quit [Remote host closed the connection]

08:38 csakatoku has joined #ocaml

08:41 csakatoku has quit [Remote host closed the connection]

08:41 csakatoku has joined #ocaml

08:43 dant3 has quit [Remote host closed the connection]

08:45 mchqwerty has joined #ocaml

08:45 ocp has quit [Ping timeout: 240 seconds]

08:46 ggole has joined #ocaml

08:47 dant3 has joined #ocaml

09:06 avsm has joined #ocaml

09:11 ollehar has quit [Ping timeout: 260 seconds]

09:12 dant3 has quit [Remote host closed the connection]

09:12 yacks has quit [Read error: Operation timed out]

09:14 csakatoku has quit [Remote host closed the connection]

09:15 csakatoku has joined #ocaml

09:16 kyrylo has joined #ocaml

09:16 zacts has quit [Quit: leaving]

09:17 dant3 has joined #ocaml

09:20 csakatoku has quit [Ping timeout: 260 seconds]

09:23 thomasga has joined #ocaml

09:25 csakatoku has joined #ocaml

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

09:43 thomasga has joined #ocaml

09:50 dant3 has quit [Remote host closed the connection]

09:51 dant3 has joined #ocaml

09:51 niko has joined #ocaml

09:56 talzeus has quit [Remote host closed the connection]

10:02 jonludlam has joined #ocaml

10:04 csakatoku has quit [Remote host closed the connection]

10:05 csakatoku has joined #ocaml

10:09 peterbb has quit [Ping timeout: 260 seconds]

10:09 peterbb has joined #ocaml

10:10 csakatoku has quit [Ping timeout: 260 seconds]

10:11 sepp2k has joined #ocaml

10:13 jonludlam has quit [Ping timeout: 260 seconds]

10:26 jonludlam has joined #ocaml

10:42 wolfnn has joined #ocaml

10:47 dant3 has quit [Remote host closed the connection]

10:49 mchqwerty has quit [Remote host closed the connection]

10:51 mchqwerty has joined #ocaml

10:52 avsm has quit [Quit: Leaving.]

10:52 mchqwerty has quit [Remote host closed the connection]

10:55 mchqwerty has joined #ocaml

10:58 yacks has joined #ocaml

11:00 rand000 has joined #ocaml

11:02 nikki93 has joined #ocaml

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

11:03 nikki93_ has joined #ocaml

11:03 yminsky has joined #ocaml

11:05 wwilly has quit [Quit: Leaving]

11:08 jonludlam has quit [Remote host closed the connection]

11:09 hcarty has joined #ocaml

11:13 Axord has quit [Quit: I'm sure it's perfectly safe]

11:13 ygrek has quit [Ping timeout: 252 seconds]

11:18 avsm has joined #ocaml

11:18 dant3 has joined #ocaml

11:21 yminsky has quit [Ping timeout: 272 seconds]

11:22 dant3_ has joined #ocaml

11:22 dant3 has quit [Read error: Connection reset by peer]

11:37 ocp has joined #ocaml

11:38 ollehar has joined #ocaml

11:38 Axord has joined #ocaml

11:44 avsm has quit [Quit: Leaving.]

11:44 darkf has quit [Quit: Leaving]

11:45 Axord has quit [Remote host closed the connection]

11:46 Axord has joined #ocaml

11:51 Axord has quit [Read error: Connection reset by peer]

11:54 yacks has quit [Ping timeout: 250 seconds]

11:55 Kakadu has quit [Ping timeout: 272 seconds]

11:57 Axord has joined #ocaml

12:11 mcclurmc has joined #ocaml

12:22 mchqwerty has quit [Remote host closed the connection]

12:22 dant3_ has quit [Remote host closed the connection]

12:23 snyp has joined #ocaml

12:26 mchqwerty has joined #ocaml

12:28 <nicoo> companion_cube: What would you have him do with MixTbl ?

12:29 <companion_cube> nothing, he was looking for the name

12:29 snyp has quit [Quit: leaving]

12:29 <nicoo> Ah, ok

12:29 * nicoo didn't backlog far enough.

12:30 <adrien_oww> but you were right to assert that companion_cube was having evil plans since it's most usually the case

12:30 <adrien_oww> s/assert/assume/

12:30 <companion_cube> heyyyyyy

12:31 * adrien_oww dccs companion_cube some hot chocolate

12:31 <companion_cube> that would be nice!

12:33 jonludlam has joined #ocaml

12:37 <nicoo> adrien_oww: Great idea

12:38 * nicoo will make himself some hot chocolate.

12:38 <companion_cube> what do we need to dcc hnrgrgr_ to get ocaml-ty?

12:39 ygrek has joined #ocaml

12:40 <adrien_oww> companion_cube: club maté

12:47 dant3 has joined #ocaml

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

12:50 skchrko has joined #ocaml

12:51 osa1 has quit [Quit: Konversation terminated!]

12:59 Nahra has quit [Ping timeout: 246 seconds]

13:00 Nahra has joined #ocaml

13:00 Nahra has quit [Changing host]

13:00 Nahra has joined #ocaml

13:06 thomasga has joined #ocaml

13:06 mreca has joined #ocaml

13:20 toroidalcode has quit []

13:24 talzeus has joined #ocaml

13:28 jao has joined #ocaml

13:28 jao has quit [Changing host]

13:28 jao has joined #ocaml

13:30 struktured_ has joined #ocaml

13:49 <nicoo> adrien_oww: mate* no ?

13:50 <nicoo> (And that stuff is disgusting; it is mostly bad iced tea)

13:54 avsm has joined #ocaml

13:58 <whitequark> hi nicoo

14:01 <companion_cube> o/ whitequark

14:01 <whitequark> hi companion_cube

14:04 jao has quit [Ping timeout: 264 seconds]

14:04 WraithM_ has joined #ocaml

14:06 mreca has quit [Remote host closed the connection]

14:07 mreca has joined #ocaml

14:08 struktured_ has quit [Ping timeout: 240 seconds]

14:09 gargaml has quit [Ping timeout: 245 seconds]

14:12 Albe has joined #ocaml

14:12 <Albe> Hi

14:13 <Albe> I have a question about Caml.. is there anyone?

14:13 <Drup> first rule of irc : don't ask to ask ;)

14:13 fds has quit [Ping timeout: 252 seconds]

14:13 <Albe> sorry ahaha

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

14:14 <Albe> .I need to write a CAML prog ( not OCAML) that given three 3-letter words serch if the letters are present in the given words and in that case it will return true otherwise false. The program must use the deterministic automata.

14:14 <Albe> i have made a code without automata

14:15 fds has joined #ocaml

14:15 <Drup> you mean caml-light I suppose ?

14:15 <Albe> yes

14:16 <Albe> http://goo.gl/dXsU1J --> code

14:17 <Albe> first sorry for bad english

14:18 Xenasis has joined #ocaml

14:19 <smiler> lol, it doesn't let me view it because I have an adblocker enabled >_<

14:19 <Drup> same here >_>

14:19 <Albe> yeah i've to stop adblock too..

14:20 <Drup> just use another paste website.

14:21 <whitequark> gist.github.com

14:21 <Albe> http://justpaste.it/dvbm

14:21 <Albe> this one is good with adblock :D

14:22 gargaml has joined #ocaml

14:23 ollehar has quit [Ping timeout: 260 seconds]

14:24 talzeus has quit [Read error: Connection reset by peer]

14:25 <adrien_oww> nicoo: not sure

14:25 <adrien_oww> nicoo: club mat(e|é) is awesome :D

14:27 <nicoo> adrien_oww: 1) (e|é) looks like a very strange face; use [eé] :þ

14:27 <nicoo> 2) let's agree to disagree.

14:28 <adrien_oww> fine, I'll write using the phonetic alphabet next time ;p

14:28 <adrien_oww> nicoo: 2) you simply haven't drunk enough of it; everyone agrees it's bad but then you get used to it :D

14:29 <nicoo> adrien_oww: I don't want to get used to it.

14:31 <adrien_oww> ='(

14:31 <adrien_oww> we could probably do the same conversation with s/club mate/perl/ ;p

14:32 dant3 has quit [Remote host closed the connection]

14:34 dant3 has joined #ocaml

14:34 dant3 has quit [Read error: Connection reset by peer]

14:35 dant3 has joined #ocaml

14:35 <Drup> Albe: first, don't use index_char

14:38 <Albe> Drup: why?

14:39 dant3 has quit [Ping timeout: 240 seconds]

14:40 <Drup> because it's "cheating", and because you don't need it

14:40 <whitequark> nicoo: could you help me with GADTs?

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

14:42 thomasga has joined #ocaml

14:43 travisbrady has joined #ocaml

14:46 <ericbmerritt> a quick style question. I realize that in general opening Core.Std and Async.Std is accepted and good. However, what about Async_unix?

14:46 <ericbmerritt> trying to be a good style citizen here

14:47 <nicoo> whitequark: Oh, yes, sorry.

14:47 groovy2shoes has joined #ocaml

14:47 * nicoo forgot.

14:48 <nicoo> whitequark: So you wanted to extend https://gist.github.com/whitequark/c3ebfb38620b7ff30194 with polymorphism, right ?

14:48 <whitequark> yes

14:53 skchrko has quit [Remote host closed the connection]

14:54 cago has left #ocaml []

14:56 <gasche_> whitequark: what kind of polymorphism?

14:56 <whitequark> gasche_: I want to represent val append : 'a stream -> 'a stream -> 'a stream as an operation

14:57 <nicoo> whitequark: Oh, this one should be more doable

14:57 * nicoo scraps the code he was writing.

14:58 <whitequark> nicoo: sorry I wasn't clear

14:59 <nicoo> whitequark: No problem. My fault

14:59 <whitequark> (what were you writing ?)

14:59 <gasche_> which code are you starting from?

14:59 <whitequark> gasche_: your snippet

14:59 <whitequark> pretty much

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

15:00 <Drup> gasche_: since you are here, can you at least answer to my macaque pull request ? :)

15:00 <Drup> I don't care if you don't merge it, but I would like to know why.

15:01 <gasche_> ah

15:01 <gasche_> I remember looking at it

15:01 Albe_ has joined #ocaml

15:01 <gasche_> and thinking "hm, It would require more thinking to know whether it breaks code"

15:02 <gasche_> then nothing

15:02 <Drup> ok

15:02 <Drup> that's also my opinion :)

15:02 <gasche_> I'm not strongly against it

15:02 <Drup> I just wanted to know if you didn't just missed it

15:02 <gasche_> I don't think I have that many users to break code from

15:03 <adrien_oww> users only speak when things break

15:03 <adrien_oww> (and even then, they may remain silent)

15:03 thomasga has joined #ocaml

15:03 <gasche_> also there is something else Drup

15:03 Albe has quit [Quit: Page closed]

15:03 Albe_ has quit [Client Quit]

15:04 <gasche_> you turn a %s into a \"%s\", and I'm wondering what happens if there is a \" in the input

15:04 <Drup> that's a very good question

15:04 thomasga has quit [Client Quit]

15:04 <adrien_oww> %S ?

15:04 snyp has joined #ocaml

15:05 <gasche_> I just added that on github

15:06 <nicoo> whitequark: Actually, this seem tricky to get right (i.e. without adding too specifics constructors to _ typ)

15:07 <gasche_> yeah, I wanted to say just that

15:07 <gasche_> embedding System-F polymorphism as GADTs is *not easy*

15:07 <gasche_> Sam Lindley has a paper about that

15:07 <nicoo> whitequark: I imported gasche's snippet in a gist : https://gist.github.com/nbraud/497b4e8928da3775ca29

15:07 <nicoo> whitequark: I will push to it if/when I do something constructive

15:07 <whitequark> nicoo: thanks

15:07 <whitequark> gasche_: yes, I have noticed

15:08 <nicoo> gasche_: Thanks, couldn't remember the ref to the paper (I suspect we are thinking about the same one)

15:08 <whitequark> there's a paper Drup recommended to me, http://cs.au.dk/~mpuech/typeful.pdf

15:08 <whitequark> but it's quite dense and I'm still digesting it

15:08 <Drup> it's very lousely related

15:08 <Drup> loosely*

15:09 <Drup> I didn't remember the original interesting paper, it's probably in the references

15:09 <gasche_> http://homepages.inf.ed.ac.uk/slindley/papers/embedding-f.pdf

15:10 <gasche_> that said

15:10 <gasche_> you can hack your way around it

15:10 <Drup> gasche_: tbh, I just put this PR with my hack solving my specific issue as a bug report and I was counting on your grumpy side to tell me what was wrong with it :D

15:11 shinnya has quit [Ping timeout: 245 seconds]

15:12 mchqwerty has quit [Quit: Odcházím]

15:18 pango has quit [Ping timeout: 245 seconds]

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

15:19 zpe has joined #ocaml

15:19 zpe has quit [Remote host closed the connection]

15:19 <gasche_> thanks for asking, I would certainly have forgotten it otherwise

15:19 <Drup> no problem

15:22 thomasga has joined #ocaml

15:25 Neros has joined #ocaml

15:25 thomasga1 has joined #ocaml

15:30 thomasga has quit [Ping timeout: 272 seconds]

15:30 jonludlam has quit [Ping timeout: 252 seconds]

15:31 travisbrady has quit [Quit: travisbrady]

15:34 <gasche_> whitequark, nicoo: https://gitorious.org/gasche-snippets/gadt-for-dynamic-combinator-composition/commit/4f17a2d76eb8048f88386752079dc866f37d9f19

15:35 <gasche_> (the code now generates "non-exhaustive pattern" warnings but I'm too lazy to fix that properly)

15:37 <whitequark> gasche_: hmmm, I wrote almost same code myself (it didn't quite work though)

15:37 <whitequark> is there a way to not have explicit TypeApply nodes ?

15:38 <nicoo> gasche_: Nice

15:38 <nicoo> gasche_: My solution wasn't exactly as pretty.

15:41 cesar_ has joined #ocaml

15:41 snyp has quit [Quit: leaving]

15:41 cesar_ is now known as Guest40457

15:45 travisbrady has joined #ocaml

15:45 <gasche_> whitequark: well you can implement type inference

15:46 <gasche_> (I have to go now)

15:46 <Drup> if you implement type inference and all that, I don't really see the point of having a embending like that

15:46 <Drup> (except that it's cool :D)

15:48 <companion_cube> well, it becomes runtime type inference, doesn't it?

15:49 Guest40457 has quit [Remote host closed the connection]

15:50 zpe has joined #ocaml

15:52 <whitequark> gasche_: actually, if I decide to do it, I see how I can make it based on your code

15:52 <whitequark> thanks again!

15:52 Neros has quit [Ping timeout: 245 seconds]

15:56 milosn_ has joined #ocaml

15:57 ygrek has quit [Ping timeout: 264 seconds]

15:58 zpe has quit [Ping timeout: 265 seconds]

15:59 Kakadu has joined #ocaml

16:00 rwmjones_ has joined #ocaml

16:01 milosn has quit [*.net *.split]

16:01 nze has quit [*.net *.split]

16:01 rwmjones has quit [*.net *.split]

16:01 groovy2shoes has quit [Quit: groovy2shoes]

16:03 pango has joined #ocaml

16:04 <nicoo> Drup: To have a safe interpreter /

16:04 <nicoo> ?*

16:05 nze has joined #ocaml

16:05 <Drup> lots of work for little

16:06 contempt has quit [Ping timeout: 246 seconds]

16:06 iorivur has quit [Ping timeout: 264 seconds]

16:07 <nicoo> Drup: Tail rec^W^W Type-safety is its own reward :>

16:07 mika1 has quit [Quit: Leaving.]

16:07 contempt has joined #ocaml

16:07 <Drup> the joke doesn't work as well :(

16:07 iorivur has joined #ocaml

16:08 <nicoo> Yes :3

16:08 nze has quit [*.net *.split]

16:11 sepp2k has quit [Quit: Konversation terminated!]

16:11 boogie has joined #ocaml

16:13 WraithM_ has quit [Ping timeout: 240 seconds]

16:14 nze has joined #ocaml

16:14 yacks has joined #ocaml

16:14 16WABRXT9 has joined #ocaml

16:14 16WABRXT9 has quit [Client Quit]

16:15 WraithM_ has joined #ocaml

16:15 contempt has quit [Ping timeout: 250 seconds]

16:17 contempt has joined #ocaml

16:18 nze has quit [*.net *.split]

16:18 nikki93_ has quit [Remote host closed the connection]

16:19 nikki93 has joined #ocaml

16:21 milosn_ has quit [Ping timeout: 264 seconds]

16:22 rand000 has quit [Quit: leaving]

16:24 nikki93 has quit [Ping timeout: 248 seconds]

16:24 nze has joined #ocaml

16:24 manizzle has joined #ocaml

16:25 contempt has quit [Ping timeout: 250 seconds]

16:26 contempt has joined #ocaml

16:29 dant3 has joined #ocaml

16:32 chingfantsou has joined #ocaml

16:32 thomasga1 has quit [Ping timeout: 252 seconds]

16:34 contempt has quit [Ping timeout: 250 seconds]

16:36 contempt has joined #ocaml

16:37 ousado_ has joined #ocaml

16:37 ousado has quit [Ping timeout: 246 seconds]

16:39 AltGr has joined #ocaml

16:41 d2biG has quit [Ping timeout: 246 seconds]

16:44 contempt has quit [Ping timeout: 246 seconds]

16:44 dRbiG has joined #ocaml

16:46 contempt has joined #ocaml

16:46 nikki93 has joined #ocaml

16:46 nikki93 has quit [Remote host closed the connection]

16:46 nikki93 has joined #ocaml

16:53 AltGr has left #ocaml []

16:54 oriba has joined #ocaml

16:54 zpe has joined #ocaml

16:56 AltGr has joined #ocaml

16:56 oriba has quit [Client Quit]

16:59 Xenasis has quit [Remote host closed the connection]

16:59 zpe has quit [Ping timeout: 272 seconds]

17:12 Simn has quit [Ping timeout: 252 seconds]

17:14 milosn has joined #ocaml

17:15 snyp has joined #ocaml

17:17 stevej has joined #ocaml

17:21 Simn has joined #ocaml

17:27 ocp has quit [Ping timeout: 260 seconds]

17:31 snyp has quit [Quit: Leaving]

17:35 milosn has quit [Ping timeout: 246 seconds]

17:38 chingfantsou has left #ocaml []

17:43 thomasga has joined #ocaml

17:44 kyrylo has quit [Ping timeout: 250 seconds]

17:50 Axord has quit [Quit: I'm sure it's perfectly safe]

17:52 reynir is now known as grandparent

17:53 grandparent is now known as reynir

17:55 zpe has joined #ocaml

17:59 zpe has quit [Ping timeout: 250 seconds]

18:08 ttamttam has joined #ocaml

18:22 palomer has joined #ocaml

18:22 <palomer> hey guys

18:22 <palomer> I'm writing a websert in lwt

18:22 <palomer> and I want to be able to run it from the emacs compile function

18:22 <palomer> and close it when the buffer is closed

18:22 <palomer> emacs sends a sighup when it closes a process

18:23 <palomer> now my process is Unix.binding to a port

18:23 <palomer> unfortunately, if you close it, the port is not released

18:23 <palomer> so I write this bit: ignore(Lwt_unix.on_signal 1 (fun _ -> ignore(Lwt_unix.shutdown server_sock Lwt_unix.SHUTDOWN_ALL); 1));

18:24 <palomer> where server_sock is the socket the port is bound to

18:24 <palomer> doesn't work though

18:25 <smondet> palomer: have you tried setting socket-options? there is one for re-using ports easily i think

18:27 <palomer> how do I do that?

18:27 <smondet> i'm not sure it solves exactly your problem but it's worth a try

18:27 <smondet> https://github.com/avsm/ocaml-cohttp/blob/master/lwt/cohttp_lwt_unix_net.ml#L77

18:29 ttamttam has quit [Ping timeout: 240 seconds]

18:30 ttamttam has joined #ocaml

18:31 <smondet> on my ubuntu, the doc about the sockopts is in `man 7 socket`

18:32 <palomer> it works:)

18:33 <palomer> yay

18:33 sheijk has joined #ocaml

18:34 <palomer> thanks

18:38 sheijk has quit [Ping timeout: 240 seconds]

18:39 sheijk has joined #ocaml

18:48 malvarez has joined #ocaml

18:54 ggole has quit []

18:55 zpe has joined #ocaml

19:00 zpe has quit [Ping timeout: 248 seconds]

19:09 dant3 has quit [Remote host closed the connection]

19:10 dant3 has joined #ocaml

19:10 palomer has quit [Ping timeout: 248 seconds]

19:17 milosn has joined #ocaml

19:19 boogie has quit [Remote host closed the connection]

19:27 lasts has joined #ocaml

19:27 lasts__ has quit [Read error: Connection reset by peer]

19:36 dant3_ has joined #ocaml

19:38 Xenasis has joined #ocaml

19:39 dant3 has quit [Ping timeout: 252 seconds]

19:41 oriba has joined #ocaml

19:45 bjorkintosh has joined #ocaml

19:46 dant3_ has quit [Remote host closed the connection]

19:46 dant3 has joined #ocaml

19:50 mort___ has joined #ocaml

19:50 cesar_ has joined #ocaml

19:51 cesar_ is now known as Guest84189

19:54 nlucaroni has left #ocaml []

19:56 zpe has joined #ocaml

19:56 bjorkintosh has quit [Read error: Connection reset by peer]

19:57 ulfdoz has joined #ocaml

19:58 Kakadu has quit []

20:01 zpe has quit [Ping timeout: 264 seconds]

20:03 mort___ has quit [Ping timeout: 272 seconds]

20:05 tane has joined #ocaml

20:06 q66 has quit [Quit: Leaving]

20:06 mort___ has joined #ocaml

20:10 ttamttam has quit [Quit: ttamttam]

20:12 ollehar has joined #ocaml

20:15 q66 has joined #ocaml

20:20 mort___ has quit [Ping timeout: 240 seconds]

20:31 mort___ has joined #ocaml

20:39 kyrylo has joined #ocaml

20:40 mort___ has quit [Ping timeout: 252 seconds]

20:41 ousado_ is now known as ousado

20:41 ousado has quit [Changing host]

20:41 ousado has joined #ocaml

20:42 tane has quit [Quit: Verlassend]

20:45 sheijk has quit [Ping timeout: 245 seconds]

20:46 mort___ has joined #ocaml

20:51 kyrylo has quit [Ping timeout: 246 seconds]

20:54 mort___ has quit [Read error: Connection reset by peer]

20:56 kyrylo has joined #ocaml

20:56 zpe has joined #ocaml

20:57 AltGr has left #ocaml []

21:00 Guest84189 has quit [Remote host closed the connection]

21:00 zpe has quit [Ping timeout: 246 seconds]

21:08 nikki93 has quit [Remote host closed the connection]

21:15 nikki93 has joined #ocaml

21:17 nikki93 has quit [Remote host closed the connection]

21:17 bjorkintosh has joined #ocaml

21:19 habnabit is now known as _habnabit

21:20 nikki93 has joined #ocaml

21:25 nikki93 has quit [Ping timeout: 272 seconds]

21:37 snyp has joined #ocaml

21:37 sheijk has joined #ocaml

21:41 sheijk has quit [Ping timeout: 246 seconds]

21:49 strobegen has quit [Quit: Leaving.]

21:57 avsm has joined #ocaml

21:57 zpe has joined #ocaml

22:00 ulfdoz has quit [Ping timeout: 246 seconds]

22:01 zpe has quit [Ping timeout: 272 seconds]

22:03 nikki93 has joined #ocaml

22:04 mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:06 travisbrady has quit [Quit: travisbrady]

22:06 snyp has quit [Quit: Leaving]

22:07 nikki93 has quit [Ping timeout: 250 seconds]

22:08 Xenasis has quit [Remote host closed the connection]

22:15 adrien_oww has quit [Ping timeout: 250 seconds]

22:18 WraithM_ has quit [Ping timeout: 246 seconds]

22:20 adrien_oww has joined #ocaml

22:25 darkf has joined #ocaml

22:37 sheijk has joined #ocaml

22:42 sheijk has quit [Ping timeout: 265 seconds]

22:53 palomer has joined #ocaml

22:55 mcclurmc has quit [Remote host closed the connection]

22:57 nikki93 has joined #ocaml

22:57 zpe has joined #ocaml

23:02 zpe has quit [Ping timeout: 245 seconds]

23:15 sheijk has joined #ocaml

23:24 kyrylo has quit [Ping timeout: 252 seconds]

23:25 Xenasis has joined #ocaml

23:32 thomasga has quit [Quit: Leaving.]

23:33 demonimin has quit [Remote host closed the connection]

23:41 nikki93_ has joined #ocaml

23:43 madroach has quit [Ping timeout: 252 seconds]

23:44 mcclurmc has joined #ocaml

23:44 nikki93 has quit [Ping timeout: 246 seconds]

23:44 madroach has joined #ocaml

23:45 mcclurmc has quit [Remote host closed the connection]

23:50 Xenasis has quit [Read error: Connection reset by peer]

23:52 jao has joined #ocaml

23:52 nikki93_ has quit [Remote host closed the connection]

23:52 jao has quit [Changing host]

23:52 jao has joined #ocaml

23:58 zpe has joined #ocaml