copy_ has quit [Quit: Connection closed for inactivity]
peterpp has joined #ocaml
mrallen1 has quit [Ping timeout: 255 seconds]
mrallen1 has joined #ocaml
<dmruiz>
why does Ocaml is still shipped whit ocamlyacc if there is a consensus in the community that Menhir is better?
ziyourenxiang has quit [Ping timeout: 240 seconds]
<theblatte>
further to that point: why does it ship with a parser and lexer generator at all instead of ocamllex/yacc being separate packages?
<Drup>
well, ocamllex and ocamlyacc are used by the compiler itself.
<Drup>
(you know, to parse OCaml files :p)
<theblatte>
(heh)
<theblatte>
I guess that counts, but they could still ship separately regardless of how ocamlc is built
<theblatte>
as one data-point I saw someone confused by that last week, trying to "opam search ocamlyacc" ^^
<theblatte>
although that's something that can be solved elsewhere, eg in opam
cbot has joined #ocaml
sam_ has quit [Ping timeout: 260 seconds]
peterpp has quit [Ping timeout: 260 seconds]
flx_ has joined #ocaml
flux has quit [Ping timeout: 276 seconds]
flx_ is now known as flux
pierpa has quit [Quit: Page closed]
sam_ has joined #ocaml
nomicflux has joined #ocaml
sam_ has quit [Read error: Connection reset by peer]
enterprisey has joined #ocaml
Orion3k has quit [Ping timeout: 240 seconds]
Orion3k has joined #ocaml
malina has joined #ocaml
Orion3k has quit [Ping timeout: 276 seconds]
sh0t has quit [Ping timeout: 240 seconds]
BitPuffin|osx has joined #ocaml
sh0t has joined #ocaml
mfp__ has quit [Ping timeout: 258 seconds]
Orion3k has joined #ocaml
zv has joined #ocaml
dmruiz has quit [Quit: Leaving]
sam_ has joined #ocaml
silver has quit [Read error: Connection reset by peer]
<sam_>
was there a problem in comparing values using == and != in OCaml?
<sam_>
I thought it was supposed to check for structural equality?
<sam_>
But I have two apparently equal structures (based on conversion to sexps and string_of_sexp) that are not considered equal.
cbot has quit [Quit: Leaving]
marsam has joined #ocaml
<Armael>
sam_: structural equality is =
<Armael>
==/!= check for pointer equality
ristos has quit [Quit: Connection closed for inactivity]
<sam_>
Armael: oh!
<Armael>
in almost all cases you want to use = and <>
<sam_>
ah thanks very much
infinity0 has joined #ocaml
sam_ has quit [Ping timeout: 260 seconds]
groovy2shoes has quit [Remote host closed the connection]
groovy2shoes has joined #ocaml
marsam has quit [Remote host closed the connection]
sh0t has quit [Ping timeout: 260 seconds]
sh0t has joined #ocaml
marsam has joined #ocaml
marsam has quit [Remote host closed the connection]
sh0t has quit [Remote host closed the connection]
nomicflux has quit [Quit: nomicflux]
mengu_ has quit [Remote host closed the connection]
Mercuria1Alchemi has joined #ocaml
malina has quit [Ping timeout: 276 seconds]
groovy2shoes has quit [Ping timeout: 255 seconds]
raphaelss has quit [Quit: Lost terminal]
dreadedfrog has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
dreadedfrog has quit [Ping timeout: 248 seconds]
govg has quit [Ping timeout: 240 seconds]
Simn has joined #ocaml
groovy2shoes has joined #ocaml
govg has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
bruce_r has quit [Ping timeout: 258 seconds]
BitPuffin|osx has quit [Ping timeout: 255 seconds]
peterpp has joined #ocaml
vishesh has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 240 seconds]
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
peterpp has quit [Ping timeout: 260 seconds]
aggelos_ has quit [Ping timeout: 240 seconds]
dakk has quit [Remote host closed the connection]
govg has quit [Ping timeout: 260 seconds]
dreadedfrog has joined #ocaml
aggelos_ has joined #ocaml
govg has joined #ocaml
govg has quit [Ping timeout: 246 seconds]
govg has joined #ocaml
zpe has joined #ocaml
copy_ has joined #ocaml
bigs has quit [Ping timeout: 246 seconds]
enterprisey has quit [Remote host closed the connection]
bigs has joined #ocaml
mengu has joined #ocaml
demonimin has quit [Ping timeout: 240 seconds]
demonimin has joined #ocaml
mfp__ has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 260 seconds]
Sakarah has joined #ocaml
<Leonidas>
hannes: would you be interested in an PR to logs-syslog to add Async support?
<hannes>
Leonidas: for sure I'll look into them and merge if they're appropriate. I'm not sure whether I'll test them locally (usually a PITA to test async on FreeBSD)
dmruiz has joined #ocaml
sepp2k has joined #ocaml
<hannes>
Leonidas: so, yes! :)
zpe has quit [Remote host closed the connection]
reynir is now known as cuttingspoon
cuttingspoon is now known as reynir
dmruiz has quit [Quit: WeeChat 1.5]
dmruiz has joined #ocaml
jeroud has quit [Ping timeout: 246 seconds]
jeroud has joined #ocaml
dhil has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 246 seconds]
kakadu has joined #ocaml
ziyourenxiang has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
kakadu has joined #ocaml
_andre has joined #ocaml
<dmruiz>
I'm having troubles installing llvm package from opam. I already installed llvm.3.9 and llvm.3.9-devel through yum but opam still complaints
<dmruiz>
It says: This package relies on external (system) dependencies that may be missing. `opam depext llvm.3.9' may help you find the correct installation for your system.
<dmruiz>
However, opam depext llvm3.9 try to install a debian repository (im on a red hat based machine)
<kakadu>
can you install conf-llvm?
<kakadu>
and pass -v option to opam
<dmruiz>
yes here is the output:
<dmruiz>
Package conf-llvm is already installed (current version is 3.8).
profan has joined #ocaml
sam_ has joined #ocaml
govg has quit [Ping timeout: 255 seconds]
<kakadu>
can you paste verbose output somewhere?
<Leonidas>
hannes: yeah, I also have the problem that I can't update to new Async but also the old Async has a different API and I wouldn't really want to contribute something that displays deprecation warnings to begin with :-/
<Joost>
a package failed to install, and now I have some orphan dependencies.. new to opam; how do I remove them?
BitPuffin|osx has joined #ocaml
sh0t has joined #ocaml
sz0 has joined #ocaml
jonesz has joined #ocaml
dhil has quit [Ping timeout: 276 seconds]
BitPuffin|osx has quit [Ping timeout: 240 seconds]
MercurialAlchemi has quit [Ping timeout: 258 seconds]
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
dhil has joined #ocaml
sam_ has quit [Ping timeout: 260 seconds]
sam_ has joined #ocaml
mengu has quit [Quit: Leaving...]
<sam_>
I have a qcheck property that seems to be stuck, CPU at 100% even though I am only supposed to generate 100 cases. How can I debug?
<companion_cube>
it's probably shrinking
<companion_cube>
try running the test binary in verbose mode, first
<sam_>
companion_cube: how do I do that?
<sam_>
i have my own custom arbitrary though for which no shrink was defined
<companion_cube>
depends which function from `QCheck_runner` you call
<sam_>
I use it through OUnit
<companion_cube>
yeah but if you use existing types, they have arbitrary
<sam_>
OUnit2
<companion_cube>
ah, I see… hmm
<companion_cube>
try putting a print somewhere in the test, with the input value?
<sam_>
i tried to put a bunch of print_endlines here and there but nothing seems to be showing up
<companion_cube>
ah, ounit captures the output, i think… :/
<sam_>
aaaah
marsam has joined #ocaml
<sam_>
seems like OUnit has some sort of logging support
<companion_cube>
quite possible
<sam_>
have you tried it?
<companion_cube>
no
ristos has joined #ocaml
Sakarah has quit [Ping timeout: 260 seconds]
Sakarah has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
dhil has quit [Ping timeout: 260 seconds]
<sam_>
companion_cube: does qcheck work with alcotest?
<companion_cube>
I have no idea, I never used alcotest
dhil has joined #ocaml
jkni has quit [Ping timeout: 255 seconds]
jkni has joined #ocaml
SpiceGuid has joined #ocaml
SpiceGuid has quit [Client Quit]
MercurialAlchemi has joined #ocaml
Denommus has joined #ocaml
nullx002 has quit [Ping timeout: 255 seconds]
nullx002 has joined #ocaml
haesbaer1 has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 246 seconds]
sam_ has quit [Ping timeout: 246 seconds]
dreadedfrog has quit [Ping timeout: 255 seconds]
SpiceGuid has joined #ocaml
jlam has quit [Quit: Leaving]
jlam has joined #ocaml
ziyourenxiang has quit [Ping timeout: 260 seconds]
dhil has joined #ocaml
dreadedfrog has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
ygrek has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
copy_ has quit [Quit: Connection closed for inactivity]
dreadedfrog has quit [Ping timeout: 240 seconds]
dreadedfrog has joined #ocaml
jnavila has joined #ocaml
FreeBirdLjj has joined #ocaml
SpiceGuid has quit [Quit: ChatZilla 0.9.92 [SeaMonkey 2.46/20161213183751]]
sam_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
sam_ has quit [Ping timeout: 248 seconds]
Sakarah has quit [Ping timeout: 240 seconds]
marsam has quit [Ping timeout: 255 seconds]
Sakarah has joined #ocaml
Denommus has quit [Ping timeout: 276 seconds]
Denommus` has joined #ocaml
nullifidian has quit [Remote host closed the connection]
Denommus` has quit [Remote host closed the connection]
Denommus has joined #ocaml
Denommus` has joined #ocaml
nahra has quit [Remote host closed the connection]
nahra has joined #ocaml
nullifidian has joined #ocaml
Denommus has quit [Ping timeout: 246 seconds]
kakadu has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 260 seconds]
copy_ has joined #ocaml
ohama has quit [Ping timeout: 260 seconds]
ohama has joined #ocaml
Sakarah has quit [Remote host closed the connection]
iitalics has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 255 seconds]
<andreas_>
I have a local abstract type `a`, which I know due to a GADT pattern match, is of the shape `'b option`. I also have a first-class module of the type `DynTyp with type t = 'b`. How can I leverage the knowledge of the shape of `a` to unpack the first-class module? Attempt at minimal example here: https://gist.github.com/andreas/e204a938a9e7913832eb2747c3070d7f
sam_ has joined #ocaml
<octachron>
andreas_, the minimal modification to make your code compile is to correct the type of "f" to "f: type a. a option typ -> a -> unit"
<octachron>
note however that in your example, the type "'a typ" is not really useful, you could write f as "let f (type a) ((module T):a dyntyp) (x:a) = ()"
sam_ has quit [Ping timeout: 255 seconds]
<andreas_>
octachron: the actual typ has another variant `NonNullable : 'a option typ -> 'a typ`, so f doesn't cover all cases then :/
<octachron>
andreas_, oh, this sounds like a funnier problem to solve then :)
<octachron>
andreas_, or not: removing the type annotation, i.e. "Dyntyp(module t: …)" ⇒ "Dyntyp(module T)" works. I imagine that this is not the case in your actual code?
enterprisey has joined #ocaml
<andreas_>
octachron: wow, it seems like that actually works. The types are correctly inferred.
Simn has quit [Quit: Leaving]
<andreas_>
I was under the impression first-class modules always had to be unpacked with a module type.
<octachron>
if you somehow need a type constraint later, what you could do is to define a constrained type "type 'b dyntyp2 = 'a dyntyp constraint 'b = 'a option"
<octachron>
and then use "| DynTyp ((module T): a dyntyp2) -> ()"
<octachron>
andreas_, not when the module type can be inferred ; but yes the inferrence mechanism for first-class module can be quite brittle
<andreas_>
octachron: The constrained type idea works as well. Thanks for the great input! :)
cuvius has joined #ocaml
jnavila has quit [Remote host closed the connection]
dreadedfrog has quit [Ping timeout: 260 seconds]
_andre has quit [Quit: leaving]
sepp2k has quit [Quit: Leaving.]
infinity0 has quit [Ping timeout: 276 seconds]
infinity0 has joined #ocaml
<orbifx[m]>
With Jbuilder, do you prefer to put libs under src/ or under lib in top directory?
<theblatte>
orbifx[m]: I find it weird to have source files not under src/, it makes it harder to look for them. src/lib/? or src/name_of_lib/?