adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
mfp has quit [Ping timeout: 255 seconds]
kakadu_ has quit [Remote host closed the connection]
jao has quit [Ping timeout: 246 seconds]
keep_learning has joined #ocaml
silver has quit [Read error: Connection reset by peer]
caltelt_ has quit [Ping timeout: 245 seconds]
ihavelotsoffries has joined #ocaml
<ihavelotsoffries> this might sound stupid but type parameters are scoped per type, right?
<ihavelotsoffries> so give `type 'a a` and `type 'a b` in a module doesn't mean that both a and b must take the same parameter?
<ihavelotsoffries> how would I define type a and b that takes the same parameter
Steverman has quit [Ping timeout: 246 seconds]
keep_learning has quit [Remote host closed the connection]
keep_learning has joined #ocaml
Steverman has joined #ocaml
ygrek__ has joined #ocaml
ihavelotsoffries has quit [Remote host closed the connection]
Algebr has joined #ocaml
Algebr has left #ocaml [#ocaml]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 246 seconds]
AnAverageHuman has joined #ocaml
ygrek__ has quit [Ping timeout: 246 seconds]
gravicappa has joined #ocaml
AnAverageHuman has quit [Ping timeout: 256 seconds]
sonologico has quit [Remote host closed the connection]
caltelt_ has joined #ocaml
Steverman has quit [Quit: WeeChat 2.4]
ziyourenxiang_ has joined #ocaml
ziyourenxiang has quit [Ping timeout: 240 seconds]
SomeDamnBody has quit [Ping timeout: 245 seconds]
freyr69 has joined #ocaml
nullifidian__ has joined #ocaml
<freyr69> Are ``Weekly news'' broken on ocaml.org?
nullifidian_ has quit [Ping timeout: 246 seconds]
barockobamo has joined #ocaml
jao has joined #ocaml
Haudegen has joined #ocaml
mfp has joined #ocaml
nicoo has quit [Read error: Connection reset by peer]
nicoo has joined #ocaml
Haudegen has quit [Remote host closed the connection]
<flux[m]> ihavelotsoffries: yes, type parameters are scoped to the definition
<Leonidas> hmm, opam repository does not seem to be updating
Birdface has joined #ocaml
<flux[m]> ihavelotsoffries: not really sure what you're looking for requiring them to take the same type as parameter.. usually this happens when it's applied to functions, ie. `val foo : 'a t -> 'a u -> unit` requires `'a` to be the same for `t` and `u`.
<flux[m]> (works the same with type definitions as well of course)
jaar has joined #ocaml
caltelt_ has quit [Ping timeout: 250 seconds]
zolk3ri has joined #ocaml
<companion_cube> dune init!!!!
<Fardale> companion_cube: ?
<companion_cube> dune 1.9 seems to ship with `dune init`
<Fardale> Oh that sound great !
<companion_cube> coq projects :o
jao has quit [Ping timeout: 246 seconds]
themsay has joined #ocaml
<Leonidas> dropping everything on the floor, switching to coq
silver has joined #ocaml
themsay has quit [Read error: Connection reset by peer]
themsay has joined #ocaml
jao has joined #ocaml
xuib has joined #ocaml
xuib has quit [Client Quit]
xuib has joined #ocaml
xuib has quit [Client Quit]
* Leonidas eagerly awaiting a new standard library where `List.fold` is called `zorglub`
<Leonidas> companion_cube: patches accepted?
xuib has joined #ocaml
<freyr69> does caml_failwith C function work with malloced strings, or does it work solely with the static ones?
xuib has quit [Client Quit]
<freyr69> Ah, it copies string, so I suppose it does.
xuib has joined #ocaml
xuib has quit [Client Quit]
xuib has joined #ocaml
jaar has quit [Ping timeout: 252 seconds]
jao has quit [Remote host closed the connection]
Haudegen has joined #ocaml
ygrek__ has joined #ocaml
jaar has joined #ocaml
jaar_ has joined #ocaml
jaar has quit [Ping timeout: 246 seconds]
xuib has quit [Quit: xuib]
themsay has quit [Quit: Quit]
<freyr69> How to deal with variants in C? Is it guaranteed that in type t = A | B | C A would be represented as 0, B -- 1, C --2?
notnotdan has joined #ocaml
<octachron> freyr69, they are represented as Val_int(0),..,Val_int(2) (since OCaml int are tagged). See https://caml.inria.fr/pub/docs/manual-ocaml-4.08/intfc.html#sec431 .
ggole has joined #ocaml
<freyr69> octachron: I see. Constructors with records are like those with tuples, right (unless unboxed)?
<octachron> yes
SomeDamnBody has joined #ocaml
spew has joined #ocaml
gravicappa has quit [Ping timeout: 255 seconds]
gravicappa has joined #ocaml
SomeDamnBody has quit [Ping timeout: 244 seconds]
ygrek__ has quit [Remote host closed the connection]
ygrek has joined #ocaml
hannes has quit [Ping timeout: 245 seconds]
hannes has joined #ocaml
q9929t has joined #ocaml
q9929t has quit [Quit: q9929t]
hannes has quit [Read error: Connection reset by peer]
hannes has joined #ocaml
webshinra has quit [Ping timeout: 250 seconds]
webshinra has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
mildtaste has quit [Remote host closed the connection]
powerbit has quit [Remote host closed the connection]
johnelse_ has quit [Quit: leaving]
johnelse has joined #ocaml
<freyr69> Do labeled arguments work with C ffi? Could I define `extern f : name:string -> ... =`?
tane has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
assemblyman has joined #ocaml
<companion_cube> Leonidas: patches welcome, yes
<ggole> Yes, labelled arguments work with external.
freyr69 has quit [Remote host closed the connection]
ggole has quit [Quit: Leaving]
assemblyman has quit [Quit: ™]
Haudegen has joined #ocaml
Serpent7776 has joined #ocaml
gareppa has joined #ocaml
jaar_ has quit [Quit: Leaving]
silver has quit [Read error: Connection reset by peer]
<CcxWrk> Can utop show path to or contents of mli file given a module name? (Similarly to how ?? works in IPython)
gareppa has quit [Quit: Leaving]
zolk3ri has quit [Remote host closed the connection]
AtumT has joined #ocaml
jao has joined #ocaml
jao has quit [Ping timeout: 245 seconds]
jao has joined #ocaml
barockobamo has quit [Remote host closed the connection]
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
silver has joined #ocaml
keep_learning_M has quit [Ping timeout: 250 seconds]
keep_learning_M has joined #ocaml
jnavila has joined #ocaml
kakadu_ has joined #ocaml
assemblyman has joined #ocaml
gravicappa has quit [Ping timeout: 250 seconds]
sheijk has quit [Quit: Lost terminal]
jao has quit [Ping timeout: 246 seconds]
jao has joined #ocaml
cantstanya has quit [Remote host closed the connection]
jnavila has quit [Ping timeout: 246 seconds]
jnavila has joined #ocaml
jao has quit [Ping timeout: 255 seconds]
nullifidian_ has joined #ocaml
nullifidian__ has quit [Ping timeout: 245 seconds]
assemblyman has quit [Quit: ™]
Birdface has quit [Read error: Connection reset by peer]
quarters has quit [Ping timeout: 252 seconds]
quarters has joined #ocaml
Haudegen has quit [Remote host closed the connection]
Serpent7776 has quit [Quit: leaving]
tane has quit [Quit: Leaving]
ygrek has quit [Ping timeout: 245 seconds]
interruptinuse has joined #ocaml
Haudegen has joined #ocaml
jnavila has quit [Quit: Konversation terminated!]
quarters has quit [Ping timeout: 258 seconds]
jao has joined #ocaml
quarters has joined #ocaml
ohama has quit [Ping timeout: 250 seconds]
ohama has joined #ocaml
nicoo has quit [Ping timeout: 256 seconds]
nicoo has joined #ocaml
jao has quit [Disconnected by services]
jao has joined #ocaml
Haudegen has quit [Remote host closed the connection]
kakadu_ has quit [Remote host closed the connection]
spew has quit [Quit: Connection closed for inactivity]
jao has quit [Ping timeout: 245 seconds]
jao has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]