<discocaml>
<coollcat> # binary ocamlmklib: found in /c/Users/MyName/AppData/Local/Programs/DKMLNA~1/usr/bin
<discocaml>
<coollcat> # binary ocamldoc: found in /c/Users/MyName/AppData/Local/Programs/DKMLNA~1/usr/bin
<discocaml>
<coollcat> # binary ocamlopt: found in /c/Users/MyName/AppData/Local/Programs/DKMLNA~1/usr/bin
<discocaml>
<coollcat> # checking compilation with ocamlc -O3 -Wall -Wextra : not working
<discocaml>
<coollcat> # checking compilation with ocamlc -O: working
<discocaml>
<coollcat> # include caml/mlvalues.h: found
<discocaml>
<coollcat> # library dynlink.cmxa: found
<discocaml>
<coollcat> # binary ocamlfind: found in /c/Users/MyName/AppData/Local/opam/playground/bin
<discocaml>
<coollcat> # OCaml's word size is 64
<discocaml>
<coollcat> # include gmp.h: not found
bibi_ has quit [Quit: Konversation terminated!]
dnh has joined #ocaml
dnh has quit [Ping timeout: 255 seconds]
szkl is now known as sz
sz has quit []
szkl has joined #ocaml
szkl is now known as sz
sz is now known as szkl
szkl is now known as sz
sz is now known as szkl
szkl is now known as sz
<discocaml>
<coollcat> Ok - fixed that by moving to a linux vm
sz has quit []
szkl has joined #ocaml
<discocaml>
<coollcat> Having problem using `bignum` and `bigint` as the first argument for `Psq.make` functor. It seems that `Psq.min` Always returns `None` for any key even if it exists in the `Psq`... this is despite the `Bigint and `Bignum` modules implementing the `Ordered` module. Any ideas?
<discocaml>
<coollcat> Having problem using `bignum` and `bigint` as the first argument for `Psq.make` functor. It seems that `Psq.min` Always returns `None` for any key even if it exists in the `Psq`... this is despite the `Bigint` and `Bignum` modules implementing the `Ordered` module. Any ideas?
raskol has quit [Ping timeout: 252 seconds]
szkl has quit []
azimut has joined #ocaml
rgrinberg has joined #ocaml
Tuplanolla has joined #ocaml
Serpent7776 has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
average has quit [Quit: Connection closed for inactivity]
<discocaml>
<._null._> Don't paste blocks of text in this channel, it's annoying the IRC users
boozec has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
Serpent7776 has quit [Ping timeout: 260 seconds]
boozec has quit [Ping timeout: 268 seconds]
myrkraverk has joined #ocaml
myrkraverk has quit [Remote host closed the connection]
myrkraverk has joined #ocaml
raskol has joined #ocaml
boozec has joined #ocaml
zanetti has joined #ocaml
Serpent7776 has joined #ocaml
torretto has quit [Quit: WeeChat 4.1.1]
Serpent7776 has quit [Ping timeout: 256 seconds]
torretto has joined #ocaml
waleee has joined #ocaml
boozec has quit [Quit: boozec]
torretto has quit [Remote host closed the connection]
torretto has joined #ocaml
famubu has joined #ocaml
famubu has quit [Changing host]
famubu has joined #ocaml
famubu has left #ocaml [#ocaml]
famubu has joined #ocaml
<famubu>
Is it possible to store a type in a variable in ocaml? Something like `let x = int;;`
<discocaml>
<Kali> no
<discocaml>
<Kali> you can make type synonyms with `type x = int`
<discocaml>
<Kali> but you cannot store types in variables
<famubu>
Okay. Thanks!
<discocaml>
<Kali> there are some languages similar to ocaml that allow this (flattening the divide between types and values) like f* (f-star), but ocaml does not
<discocaml>
<Kali> allowing it makes type checking undecidable, which is something ocaml stays away from
<discocaml>
<Kali> *type inference
bibi_ has joined #ocaml
torretto has quit [Remote host closed the connection]
torretto has joined #ocaml
average has joined #ocaml
<discocaml>
<coollcat> Mb, I can copy paste to #beginners
mizlan has joined #ocaml
mizlan has quit [Client Quit]
rzanetti has joined #ocaml
zanetti has quit [Ping timeout: 256 seconds]
rzanetti is now known as zanetti
rgrinberg has joined #ocaml
torretto has quit [Remote host closed the connection]
torretto has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
tremon has joined #ocaml
dnh has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
marcc has joined #ocaml
marcc has quit [Ping timeout: 246 seconds]
marcc has joined #ocaml
Serpent7776 has joined #ocaml
marcc has quit [Ping timeout: 260 seconds]
ursa-major has quit [Quit: WeeChat 4.2.1]
average has quit [Quit: Connection closed for inactivity]
<raskol>
you can use first class modules to make a dynamic (run-time) choice of type. It's not exactly what you asked for but might cover your use case
rgrinberg has joined #ocaml
marcc has joined #ocaml
dreadedfrog has joined #ocaml
duncan has joined #ocaml
dreadedfrog has quit [Remote host closed the connection]
raskol has quit [Ping timeout: 256 seconds]
szkl has joined #ocaml
dh` has quit [Read error: Connection reset by peer]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
bartholin has quit [Quit: Leaving]
dh` has joined #ocaml
dnaq has quit [Ping timeout: 246 seconds]
marcc has quit [Ping timeout: 264 seconds]
Serpent7776 has quit [Ping timeout: 255 seconds]
dnaq has joined #ocaml
jabuxas has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]