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
Algebr`` has joined #ocaml
Guest31185 has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
Algebr`` has quit [Ping timeout: 268 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Guest31185 has quit [Remote host closed the connection]
spew has quit [Quit: Connection closed for inactivity]
malina has joined #ocaml
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
Algebr`` has joined #ocaml
MightyJoe has quit [Remote host closed the connection]
jjmeyer0 has joined #ocaml
aplainzetakind has joined #ocaml
recj has joined #ocaml
jao has joined #ocaml
SgrB has joined #ocaml
jao has quit [Remote host closed the connection]
aplainzetakind has quit [Ping timeout: 250 seconds]
SgrB has quit [Quit: Leaving]
Algebr`` has quit [Ping timeout: 250 seconds]
Algebr`` has joined #ocaml
kvda has joined #ocaml
groovy2shoes has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
Algebr`` has quit [Remote host closed the connection]
jao has joined #ocaml
Algebr`` has joined #ocaml
jimt is now known as Jim7J1AJH
Algebr`` has quit [Ping timeout: 246 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
recj has quit [Ping timeout: 250 seconds]
ygrek__ has quit [Ping timeout: 250 seconds]
kvda has joined #ocaml
Algebr`` has joined #ocaml
recj has joined #ocaml
jmagnusj has quit [Remote host closed the connection]
crowley95 has quit [Ping timeout: 240 seconds]
mfp has quit [Ping timeout: 268 seconds]
Jim7J1AJH is now known as jimt
jao has quit [Ping timeout: 250 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
tormen_ has joined #ocaml
kvda has joined #ocaml
tormen has quit [Ping timeout: 268 seconds]
recj has quit [Ping timeout: 244 seconds]
crowley95 has joined #ocaml
recj has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
crowley95 has quit [Quit: Bye bye~]
crowley95 has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
malina has quit [Remote host closed the connection]
malina has joined #ocaml
KeyJoo has joined #ocaml
sagotch has joined #ocaml
gravicappa has joined #ocaml
sagotch has quit [Ping timeout: 250 seconds]
recj has quit [Quit: Lost terminal]
Algebr`` has quit [Ping timeout: 268 seconds]
Algebr`` has joined #ocaml
logo has joined #ocaml
freyr69 has joined #ocaml
Algebr`` has quit [Ping timeout: 244 seconds]
groovy2shoes has quit [Excess Flood]
groovy2shoes has joined #ocaml
logo has quit [Quit: Leaving]
groovy2shoes has quit [Excess Flood]
groovy2shoes has joined #ocaml
Algebr`` has joined #ocaml
Haudegen has joined #ocaml
sagotch has joined #ocaml
Algebr`` has quit [Ping timeout: 268 seconds]
ollehar has joined #ocaml
slamzy has joined #ocaml
kvda has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Algebr`` has joined #ocaml
kvda has joined #ocaml
johnelse has quit [Ping timeout: 244 seconds]
johnelse has joined #ocaml
Algebr`` has quit [Ping timeout: 250 seconds]
Birdface has joined #ocaml
chelfi has quit [Quit: WeeChat 2.1]
Birdface has quit [Remote host closed the connection]
Algebr`` has joined #ocaml
mfp has joined #ocaml
Birdface has joined #ocaml
Birdface has quit [Ping timeout: 268 seconds]
asymptotically has joined #ocaml
Algebr`` has quit [Ping timeout: 250 seconds]
aplainzetakind has joined #ocaml
Haudegen has quit [Remote host closed the connection]
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 250 seconds]
aplainzetakind has quit [Ping timeout: 246 seconds]
aplainzetakind has joined #ocaml
gravicappa has quit [Ping timeout: 268 seconds]
Algebr`` has joined #ocaml
aplainzetakind has quit [Ping timeout: 240 seconds]
CcxWrk has quit [Read error: Connection reset by peer]
CcxWrk has joined #ocaml
tormen has quit [Ping timeout: 246 seconds]
sagotch has quit [Quit: Leaving.]
Algebr`` has quit [Ping timeout: 246 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
gravicappa has joined #ocaml
tormen has joined #ocaml
Algebr`` has joined #ocaml
Birdface has joined #ocaml
Birdface has quit [Remote host closed the connection]
Algebr`` has quit [Ping timeout: 250 seconds]
sagotch has joined #ocaml
Algebr`` has joined #ocaml
CcxWrk has quit [Ping timeout: 250 seconds]
Algebr`` has quit [Ping timeout: 268 seconds]
gravicappa has quit [Ping timeout: 252 seconds]
Algebr`` has joined #ocaml
nolanv has quit [Read error: Connection reset by peer]
nolanv has joined #ocaml
wilfredh has joined #ocaml
<wilfredh> stupid syntactic question: how do I partially apply multiplication in ocaml?
<wilfredh> (+ 1)
<wilfredh> this works fine for addition
<wilfredh> but (* 2) and ( * 2 ) are both syntax errors
<Fardale> (+ 1) is not a partial application, it just an integer
<Fardale> (+) 1 and ( * ) 2 is what your are looking for
<Fardale> if op is an infix operator then ( op ) is the prefix version of this operator
<ollehar> wilfredh: why?
<ollehar> or create a helper function add a b = a + b
Algebr`` has quit [Ping timeout: 250 seconds]
<def`> wilfredh: ( * ) 2
<def`> (and for addition, ( + ) 2)
<def`> although beware with non-commutative/symmetric operators: ((<) 2) ~= (fun x -> 2 < x)
<Armael> btw (+ 1) is just 1, not ( + ) 1
<def`> (oops, Fardale was right, sorry for the noise :))
<adrien> wilfredh: also, note that (* is the beginning of a comment ;-)
<ollehar> I persist with my "why?" question.
<Armael> for the glory of satan, of course
asymptotically has quit [Remote host closed the connection]
asymptotically has joined #ocaml
<wilfredh> ollehar: I saw someone write (|>) and I assumed that (+ 1) was legal because it didn't error and works in Haskell
<wilfredh> so I was trying to understand the syntax, not writing production code or golfing :)
<ollehar> wilfredh: ah
<companion_cube> also you can ask merlin for the type of an expression
<ollehar> wilfredh: Yes, I would not recommend such an idiom in production code ^^
FreeBirdLjj has joined #ocaml
<wilfredh> in fact it was c-cube's readme: https://github.com/c-cube/ocaml-containers that had the (|>) reference!
spew has joined #ocaml
Algebr`` has joined #ocaml
Haudegen has joined #ocaml
Harzilein has joined #ocaml
<Harzilein> hi
<Harzilein> :)
<marvin2> ollehar are you asking why he'd use (+) 1?
<companion_cube> when `succ` exists? crazy! :p
<ollehar> marvin2: yes
<ollehar> marvin2: or rather, I advised against it.
<marvin2> why?
<ollehar> marvin2: obfuscation
<marvin2> how would you write that if there wasn't succ?
<ollehar> marvin2: + 1?
<ollehar> marvin2: probably x + 1
CcxWrk has joined #ocaml
<marvin2> wait, it has been a while since I used ocaml. isn't (+) 1 a function?
<ollehar> marvin2: It's a partial application of a function
<marvin2> yes, so x + 1 isn't a valid alternative if you need a function
KeyJoo has quit [Quit: KeyJoo]
<ollehar> marvin2: no
<Armael> yes (+) 1 is a function
slamzy has quit [Remote host closed the connection]
gravicappa has joined #ocaml
waleee has joined #ocaml
leedo27 has joined #ocaml
leedo27 has quit [Remote host closed the connection]
al-damiri has joined #ocaml
freyr69 has quit [Remote host closed the connection]
Algebr`` has quit [Ping timeout: 245 seconds]
jstolarek has quit [Ping timeout: 250 seconds]
Algebr`` has joined #ocaml
asymptotically has quit [Quit: Leaving]
Haudegen has quit [Read error: Connection reset by peer]
Algebr`` has quit [Ping timeout: 268 seconds]
marvin2 has quit [Ping timeout: 272 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
sagotch has quit [Quit: Leaving.]
bartholin has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
sigma_g has quit [Quit: meh]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
ziyourenxiang has quit [Ping timeout: 245 seconds]
Algebr`` has joined #ocaml
fraxamo has joined #ocaml
labdog has joined #ocaml
fenrus0220 has joined #ocaml
fenrus0220 has quit [Remote host closed the connection]
labdog has quit [Client Quit]
Haudegen has joined #ocaml
<companion_cube> ocp-browse is totally unusable now‽ so slow
waleee has quit [Quit: WeeChat 2.3]
<theblatte> 'File "absint/ProcCfg.mli", line 41, characters 2-8: Expected declaration'
<theblatte> File "absint/ProcCfg.mli", line 41, characters 2-8: Actual declaration
<theblatte> hmmmmmm
<companion_cube> u drunk ocamlc??
marvin2 has joined #ocaml
<spew> hahahahaha
<theblatte> what does "module A = X" do in module signatures?
<spew> drunk on absint probably
<theblatte> for instance this doesn't typecheck: module M (X : sig end) : sig module A = X end = struct module A = X end ;;
<theblatte> Modules do not match: sig end is not included in (module X)
<theblatte> it doesn't typecheck but using the signature of M (exported in a .mli) elsewhere does what I expect, I just can't seem to be able to satisfy it
<octachron> theblatte, in the signature "module A = X" defines an alias A to X in a signature, but aliases are stripped inside a functor body
jao has joined #ocaml
<theblatte> octachron: indeed, thanks!
<theblatte> ok so I can make aliases, but not to the functor parameters? :'(
<theblatte> so instead I have to write sig module A : module type of X with type t = X.t and type t' = X.t' and ...
<theblatte> ocamlc seems happy with this workaround so far
<theblatte> so I guess I'm confused why restriction 2 exists given the workaround
<octachron> Since it is a functor argument, you should have a module type around, no?
<theblatte> yes
<octachron> Otherwise, the restriction exists because a full module alias allow to access the whole module and not the module restricted to the argument signature
<theblatte> but I want the module type inside to have all the (type and modules) equalities wrt the module argument
<theblatte> ah indeed
<octachron> Leo had plans to soften this restriction in 4.08: https://blog.janestreet.com/plans-for-ocaml-408/
<theblatte> I mean I found a (verbose) workaround, but I was quite puzzle why ocamlc was unhappy since it lets me express the module alias in the signature
<theblatte> I guess the error should be in the signature of the result of the functor?
<theblatte> octachron: thanks! I see a "Aliases to functor parameters" section :)
<octachron> Maybe, but bubbling such error to the right place is not always easy within the typechecker
<theblatte> sure
Algebr`` has quit [Remote host closed the connection]
Algebr`` has joined #ocaml
Algebr`` has quit [Ping timeout: 250 seconds]
asymptotically has joined #ocaml
Algebr`` has joined #ocaml
Algebr`` has quit [Ping timeout: 268 seconds]
gravicappa has quit [Ping timeout: 268 seconds]
kakadu_ has joined #ocaml
asymptotically has quit [Remote host closed the connection]
Algebr`` has joined #ocaml
Algebr`` has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
malina has quit [Ping timeout: 250 seconds]
Algebr`` has joined #ocaml
Algebr`` has quit [Ping timeout: 250 seconds]
asymptotically has joined #ocaml
fraxamo has quit [Quit: Leaving]
pyx has joined #ocaml
pyx has quit [Client Quit]
malina has joined #ocaml
Algebr`` has joined #ocaml
pierpal has quit [Ping timeout: 244 seconds]
Haudegen has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
aplainzetakind has joined #ocaml
pierpal has quit [Ping timeout: 246 seconds]
Algebr`` has quit [Ping timeout: 240 seconds]
pierpal has joined #ocaml
<Drup> companion_cube: yes, the last version is broken, the lazy loading doesn't work
<Drup> I reported it already
<companion_cube> yeah :/
Algebr`` has joined #ocaml
Algebr`` has quit [Ping timeout: 244 seconds]
Algebr`` has joined #ocaml
Algebr`` has quit [Ping timeout: 250 seconds]
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
jnavila has quit [Remote host closed the connection]
spew has quit [Quit: going home]
bartholin has quit [Remote host closed the connection]
Algebr`` has joined #ocaml
TC01 has quit [Ping timeout: 268 seconds]
TC01 has joined #ocaml
kvda has joined #ocaml
TC01 has quit [Ping timeout: 244 seconds]
Algebr`` has quit [Ping timeout: 244 seconds]
ygrek__ has joined #ocaml
asymptotically has quit [Quit: Leaving]
kotrcka has quit [Quit: WeeChat 2.2]
hannes` has joined #ocaml
hannes has quit [Ping timeout: 260 seconds]
kakadu_ has quit [Remote host closed the connection]