#ocaml on 2019-06-19 — irc logs at freenode.irclog.whitequark.org

2019-06-16 15:10 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.08 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.08/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:07 kvda has joined #ocaml

00:11 jao has quit [Remote host closed the connection]

00:12 jao has joined #ocaml

00:42 lizzin has joined #ocaml

00:43 lizzin is now known as Guest77232

00:47 Guest77232 has quit [Ping timeout: 245 seconds]

00:49 lizzin_ has joined #ocaml

01:30 mal`` has quit [Quit: Leaving]

01:35 lizzin_ has quit [Ping timeout: 245 seconds]

01:38 lizzin has joined #ocaml

01:38 lizzin is now known as Guest33152

01:41 mal`` has joined #ocaml

01:46 mfp has quit [Ping timeout: 245 seconds]

01:48 Jeanne-Kamikaze has joined #ocaml

01:49 jao has quit [Ping timeout: 272 seconds]

01:51 troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]

01:53 troydm has joined #ocaml

02:08 AtumT has quit [Quit: AtumT]

02:22 Jeanne-Kamikaze has quit [Quit: Leaving]

02:23 ygrek has joined #ocaml

02:40 q9929t has joined #ocaml

02:46 q9929t has quit [Quit: q9929t]

02:55 ygrek has quit [Ping timeout: 245 seconds]

02:56 Guest33152 has quit [Ping timeout: 246 seconds]

03:24 uzuki has joined #ocaml

03:30 ThePacketBender has quit [Quit: smell ya later]

03:40 gravicappa has joined #ocaml

03:54 _whitelogger has joined #ocaml

04:07 lizzin has joined #ocaml

04:07 lizzin is now known as Guest1370

04:14 NSA_Spy has quit [Ping timeout: 272 seconds]

04:44 sveit has joined #ocaml

04:46 uzuki has quit [Quit: ERC (IRC client for Emacs 26.2)]

05:07 Guest1370 has quit [Ping timeout: 244 seconds]

05:23 narimiran has joined #ocaml

05:24 vodkaInferno has joined #ocaml

05:27 TC01_ has joined #ocaml

05:27 vodkaInf1rno has quit [Read error: Connection reset by peer]

05:27 TC01 has quit [Remote host closed the connection]

05:28 theblatte has quit [Ping timeout: 268 seconds]

05:30 rpcope has quit [Ping timeout: 248 seconds]

05:30 jave has quit [Ping timeout: 272 seconds]

05:31 jack5638 has quit [Ping timeout: 248 seconds]

05:32 jack5638 has joined #ocaml

05:33 theblatte has joined #ocaml

05:33 rpcope has joined #ocaml

05:34 jave has joined #ocaml

05:54 Haudegen has joined #ocaml

06:05 lizzin has joined #ocaml

06:05 lizzin is now known as Guest93540

06:15 Guest93540 has quit [Ping timeout: 244 seconds]

06:36 kiwi_23 has joined #ocaml

06:58 barockobamo has joined #ocaml

07:09 kiwi_23 has quit [Remote host closed the connection]

07:21 kiwi_23 has joined #ocaml

07:36 freyr69 has joined #ocaml

07:44 kiwi_23 has quit [Remote host closed the connection]

08:09 cow-orker has quit [Remote host closed the connection]

08:12 lizzin has joined #ocaml

08:13 lizzin is now known as Guest45431

08:17 Guest45431 has quit [Ping timeout: 245 seconds]

08:33 <aecepoglu[m]> can I define types to be used in one function only?

08:43 <octachron> You can define a local module that defines types

08:50 keep_learning has joined #ocaml

09:23 jmiven has quit [Quit: co'o]

09:24 jmiven has joined #ocaml

09:29 mfp has joined #ocaml

09:36 iovec has joined #ocaml

09:39 hio has joined #ocaml

09:46 wilfredh has joined #ocaml

10:12 Haudegen has quit [Remote host closed the connection]

10:13 lizzin has joined #ocaml

10:13 lizzin is now known as Guest26790

10:17 Guest26790 has quit [Ping timeout: 246 seconds]

10:42 <freyr69> Is there any way to define a recursive functor type?

10:42 <freyr69> something like:

10:43 <freyr69> module type Nat = functor (Typ : Type) (Zcase : Typ.T) (Scase : functor (N : Nat) -> Typ.T) -> Typ.T

12:15 iovec has quit [Quit: Connection closed for inactivity]

12:18 ygrek has joined #ocaml

12:18 mfp has quit [Ping timeout: 248 seconds]

12:27 dimitarvp has joined #ocaml

12:27 dimitarvp has quit [Remote host closed the connection]

12:35 Haudegen has joined #ocaml

12:46 dhil has joined #ocaml

12:48 octarin has quit [Quit: leaving]

12:50 jao has joined #ocaml

12:55 octarin has joined #ocaml

13:02 spew has joined #ocaml

13:14 gareppa has joined #ocaml

13:15 jao has quit [Ping timeout: 245 seconds]

13:15 FreeBirdLjj has joined #ocaml

13:20 cantstanya has quit [Remote host closed the connection]

13:20 FreeBirdLjj has quit [Ping timeout: 268 seconds]

13:21 cantstanya has joined #ocaml

13:23 gareppa has quit [Remote host closed the connection]

13:24 ygrek has quit [Ping timeout: 245 seconds]

13:42 mfp has joined #ocaml

13:52 freyr69 has quit [Remote host closed the connection]

14:10 FreeBirdLjj has joined #ocaml

14:21 Netsu_ has joined #ocaml

14:23 <Netsu_> Is it possible to prevent opam config exec -- dune --version complain "[ERROR] No switch is currently set. Please use 'opam switch' to set or install a switch" when there's only system opam?

14:24 <Netsu_> want to have a script which get the dune from 'opam switch' if present, or system otherwise

14:30 jao has joined #ocaml

14:37 bartholin has quit [Ping timeout: 245 seconds]

14:40 <Netsu_> nevermind :)

14:40 Netsu_ has quit [Quit: Page closed]

14:47 SpiceGuid has joined #ocaml

14:50 bartholin has joined #ocaml

14:58 narimiran has quit [Ping timeout: 258 seconds]

15:13 iovec has joined #ocaml

15:31 SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]]

15:44 Haudegen has quit [Remote host closed the connection]

15:54 NSA_Spy has joined #ocaml

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

16:23 ziyourenxiang_ has quit [Ping timeout: 272 seconds]

16:25 AtumT has joined #ocaml

16:27 ehirdoy has quit [Ping timeout: 245 seconds]

16:36 themsay has quit [Read error: Connection reset by peer]

16:36 themsay has joined #ocaml

16:49 spew has quit [Quit: going home]

16:49 Guest98833 has joined #ocaml

16:56 tane has joined #ocaml

17:02 ygrek has joined #ocaml

17:06 lizzin has joined #ocaml

17:06 lizzin is now known as Guest29556

17:22 iovec has quit [Quit: Connection closed for inactivity]

17:29 spew has joined #ocaml

17:30 Guest98833 has quit [Read error: Connection reset by peer]

17:32 Haudegen has joined #ocaml

17:35 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:49 themsay has quit [Ping timeout: 245 seconds]

17:53 themsay has joined #ocaml

17:56 Serpent7776 has joined #ocaml

18:04 barockobamo has quit [Remote host closed the connection]

18:05 Guest29556 has quit [Ping timeout: 245 seconds]

18:12 themsay has quit [Read error: Connection reset by peer]

18:12 themsay has joined #ocaml

18:16 kakadu has joined #ocaml

18:23 jao has quit [Ping timeout: 245 seconds]

18:29 kiwi_23 has joined #ocaml

18:47 nolanv has quit [Ping timeout: 245 seconds]

18:47 kiwi_23 has quit [Remote host closed the connection]

18:52 NSA_Spy has quit [Remote host closed the connection]

18:55 iovec has joined #ocaml

19:01 jao has joined #ocaml

19:16 gravicappa has quit [Ping timeout: 246 seconds]

19:27 <dmbaturin> I'm quite excited about opam-windows, but I wonder if there's a way to use the same build scripts for both normal and windows builds.

19:27 <flux[m]> is opam-windows new development?

19:29 <dmbaturin> * opam-cross-windows

19:29 <dmbaturin> https://github.com/ocaml-cross/opam-cross-windows

19:34 <oni-on-ion> i used mingw and works great

19:34 <oni-on-ion> also 4.08 is released

19:35 <dmbaturin> So the readme is outdated?

19:35 <dmbaturin> oni-on-ion: Did you use it with dune too?

19:35 <oni-on-ion> dmbaturin, yep

19:35 <dmbaturin> Got an example?

19:35 <oni-on-ion> dmbaturin, not sure, perhaps it works fine with 4.08

19:35 <oni-on-ion> dmbaturin, any basic dune project (library, exec) havent tried tests or and parsing passes

19:36 <dmbaturin> Well, I mean, how exactly you set the -toolchain windows bit?

19:36 <oni-on-ion> oh i just used mingw32 then do as unix does

19:36 <oni-on-ion> make install etc

19:37 <oni-on-ion> same w/ emacs

19:38 <oni-on-ion> but this was on the win8.1 tablet - on the win10 machine it was just using WSL

19:42 lizzin has joined #ocaml

19:42 lizzin is now known as Guest80081

19:51 narimiran has joined #ocaml

19:54 dhil has quit [Ping timeout: 248 seconds]

20:01 jnavila has joined #ocaml

20:12 nolanv has joined #ocaml

20:28 tane has quit [Quit: Leaving]

20:35 oni-on-ion has quit [Remote host closed the connection]

20:37 oni-on-ion has joined #ocaml

20:39 oni-on-ion has quit [Remote host closed the connection]

20:41 oni-on-ion has joined #ocaml

21:11 nicoo has quit [Ping timeout: 256 seconds]

21:12 nicoo has joined #ocaml

21:16 dedgrant_ has quit [Read error: Connection reset by peer]

21:33 rwmjones_china has quit [Quit: ZNC - 1.6.0 - http://znc.in]

21:33 rwmjones has joined #ocaml

21:40 themsay has quit [Ping timeout: 272 seconds]

21:40 jnavila has quit [Ping timeout: 257 seconds]

21:41 themsay has joined #ocaml

21:42 narimiran has quit [Ping timeout: 268 seconds]

21:49 Guest80081 has quit [Ping timeout: 272 seconds]

21:53 lizzin has joined #ocaml

21:53 lizzin is now known as Guest73148

21:59 Serpent7776 has quit [Quit: leaving]

22:03 Guest73148 has quit [Changing host]

22:03 Guest73148 has joined #ocaml

22:03 Guest73148 is now known as lizzin

22:22 iovec has quit [Quit: Connection closed for inactivity]

22:29 jao has quit [Remote host closed the connection]

22:31 jao has joined #ocaml

22:42 ygrek has quit [Ping timeout: 245 seconds]

22:50 ziyourenxiang_ has joined #ocaml

22:51 <Leonidas> octachron: Amazing, your single sentence explanation of the value restriction finally made it click for me. Thanks! :)

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

23:28 uzuki has joined #ocaml

23:36 Jesin has quit [Quit: Leaving]

23:38 Jesin has joined #ocaml

23:44 lizzin has quit [Ping timeout: 245 seconds]

23:44 kvda has joined #ocaml

23:45 kvda has quit [Client Quit]

23:47 lizzin has joined #ocaml

23:48 lizzin is now known as Guest62085