whoman has quit [Remote host closed the connection]
whoman has joined #ocaml
malina has joined #ocaml
Haudegen has joined #ocaml
cbot has quit [Quit: Leaving]
andreas_ has joined #ocaml
axesd9 has quit [Quit: WeeChat 2.0]
cthuluh has quit [Ping timeout: 240 seconds]
cthuluh has joined #ocaml
raphaelss has quit [Remote host closed the connection]
enterprisey has quit [Remote host closed the connection]
mfp has joined #ocaml
_andre has joined #ocaml
KeyJoo has quit [Ping timeout: 252 seconds]
freusque has joined #ocaml
jrslepak has quit [Ping timeout: 240 seconds]
KeyJoo has joined #ocaml
Serpent7776 has joined #ocaml
<_andre>
does anyone think it would be a good idea to have a "magic" type 'a try = Success of 'a | Failure of exn such that a function annotated to return this type would automatically catch exceptions in its body?
<_andre>
i'm not a scala programmer but seeing some code examples i believe they have something that works like that
<johnelse>
_andre: that's a common use of type ('a, 'b) result
<johnelse>
although exceptions don't get caught automatically
jrslepak has joined #ocaml
<_andre>
yes, i know... i really dislike exceptions because they're hidden from the type system, so i thought this could be a good idea
<_andre>
i guess the idea could go full-magic and let result to that if the Error type is exn :P
KeyJoo has quit [Ping timeout: 252 seconds]
malina has quit [Remote host closed the connection]
malina has joined #ocaml
malina has quit [Ping timeout: 264 seconds]
KeyJoo has joined #ocaml
malina has joined #ocaml
arecacea1 has quit [Remote host closed the connection]
arecacea1 has joined #ocaml
zolk3ri has joined #ocaml
KeyJoo has quit [Ping timeout: 252 seconds]
ptroja has joined #ocaml
ptroja has quit [Client Quit]
webshinra_ is now known as webshinra
Muzer has quit [Ping timeout: 255 seconds]
<_y>
_andre, the problem i see is that, when using this, you state that your function can raise an exception but you don’t know which exceptions are possible
<_y>
since in practice you have a rather good idea of possible exceptions, it seems to me like a very gross over-approximation, especially since exn is an open sum type
<_andre>
yeah, you'd have to pattern-match on the exception later
<_andre>
i don't see a way to specify the possible exceptions directly in the type
<_y>
it is not possible for an arbitrary set of exceptions
<_y>
(at least i guess so :->)
<_y>
however i think that for a fixed, finite set of exceptions, you can encode it using open variant types as phantom types
silver has joined #ocaml
malina has quit [Ping timeout: 256 seconds]
jimt has quit [Quit: leaving]
Haudegen has quit [Read error: Connection reset by peer]
jimt has joined #ocaml
malina has joined #ocaml
borgtu has joined #ocaml
freusque has quit [Quit: WeeChat 1.9.1]
spew has joined #ocaml
spew has quit [Read error: Connection reset by peer]
malina has quit [Ping timeout: 264 seconds]
mbuf has quit [Quit: Leaving]
Haudegen has joined #ocaml
<zozozo>
when install deps with opam, is it possible to install all deps only, (i.e including test ones, optional ones, but not the package itself), but without triggering the tests of each installed packages ? setting OPAMBUILDTEST=true makes it so that the test deps are installed but also run their tests
raphaelss has quit [Remote host closed the connection]
<companion_cube>
I like it
Serpent7776 has quit [Quit: Leaving]
<jpdeplaix>
thizanne: +1
<companion_cube>
rgrinberg is now a dune author! :D
Jesin has joined #ocaml
zolk3ri has quit [Ping timeout: 250 seconds]
malina has quit [Ping timeout: 260 seconds]
zolk3ri has joined #ocaml
FreeBird_ has quit [Remote host closed the connection]
<orbifx[m]>
:)
<argent_smith>
hi ppl. how to make a special target to explicitely make a static executable from the same source (the difference is in ocamlopt flags)
<argent_smith>
?
<argent_smith>
in jbuild
<companion_cube>
-static?
<argent_smith>
that's clear ) how to make that special target in jbuild file?
<companion_cube>
this I don't know, sorry :/
<argent_smith>
me too unfortunately )
tane has quit [Quit: Leaving]
tane has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]
kakadu has quit [Quit: Konversation terminated!]
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]
troydm has joined #ocaml
<whoman>
me either*
<whoman>
or neither
MercurialAlchemi has quit [Ping timeout: 265 seconds]
andreas_ has joined #ocaml
<argent_smith>
thx )
<argent_smith>
i just want to specify the alternate static target from the same source :/
<argent_smith>
to build it for docker image
Haudegen has quit [Read error: Connection reset by peer]
cross has joined #ocaml
kerrhau has joined #ocaml
VermillionAzure has joined #ocaml
Haudegen has joined #ocaml
kakadu has joined #ocaml
orbifx has joined #ocaml
ubertaco has joined #ocaml
<ubertaco>
Hi folks. I had a question about List.sort_uniq, especially as it pertains to a custom compare function
<ubertaco>
given
<tane>
ubertaco, what is your question?
rostero has joined #ocaml
<ubertaco>
given this definition of compare: https://pastebin.com/1BvqQntj I would assume that List.sort_uniq [("a", "b"); ("a", "c"); ("b", "a"); ("c", "a")] should result in [("a", "b"); ("a", "c")]
<ubertaco>
oh, hmm. In my repl, it does. In my larger code, I'm seeing different behavior. I must have a bug in my own code somewhere
<ubertaco>
nevermind then
<ubertaco>
Sorry for the "false alarm"
<tane>
alright :)
ubertaco has quit [Quit: Page closed]
jnavila has joined #ocaml
tane has quit [Ping timeout: 256 seconds]
orbifx has quit [Ping timeout: 265 seconds]
cbot has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 272 seconds]
dtornabene has joined #ocaml
KeyJoo has joined #ocaml
argent_smith has quit [Quit: Leaving.]
jimmyrcom_ has joined #ocaml
jimmyrcom has quit [Ping timeout: 248 seconds]
jimmyrcom_ has quit [Ping timeout: 248 seconds]
jnavila has quit [Remote host closed the connection]
igarnier has joined #ocaml
<igarnier>
Hi everyone! I have a question about phantom times. Is it possible to combine private and phantom types so as to be able to use coercions? e.g., in my structure :
<igarnier>
type 'a t = float constraint 'a = [< `Foo | `Bar ]
<igarnier>
and in my sig : type 'a t = private float constraint 'a = [< `Foo | `Bar ]
<igarnier>
in my current code, I can't coerce back values of type e.g. [`Hertz] t to float.
<igarnier>
(where `Hertz = `Foo -- you get what I want to do)
tane has joined #ocaml
<octachron>
This should work. What error message did you get?
<igarnier>
this expression cannot be coerced to type float; it has type [< `Foo | `Bar ] t but is here used with type float
<thizanne>
what is your code ?
<igarnier>
hey thizanne - what's the best way to share ocaml online
<octachron>
and visibly the type-checker could not infer that the expected type was ` _ U.t` from the `float` target
<thizanne>
second solution:
<igarnier>
oh, I see - that makes a lot of sense
<thizanne>
let extent ({ vi; step; values } as f : (U.all_dims, _) t) =
<igarnier>
right, anotating the argument allows to guide the type-checker
<thizanne>
I guess so
nicoo has quit [Remote host closed the connection]
<igarnier>
(*annotating)
<igarnier>
awesome guys
<copy`>
I'm getting an error from the OCaml compiler ("Fatal error: exception Ctype.Unify(_)"), can somebody give me a sanity check that this doesn't compile on 4.06.0+flambda? http://paste.awesom.eu/f9WB
<thizanne>
it doesnt in 4.05 at least
<igarnier>
I think I would have been looking for a solution for a long time without your help, thanks a lot! (and, maybe, see you soon thizanne !)
nicoo has joined #ocaml
<thizanne>
:)
igarnier has quit [Quit: bye!]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
VermillionAzure has quit [Ping timeout: 256 seconds]
<octachron>
copy`, the Unify exception is here with 4.06 (and on trunk too), without flambda
<copy`>
My first compiler bug?! Reporting ...
tane has quit [Quit: Leaving]
butterthebuddha has quit [Max SendQ exceeded]
butterthebuddha has joined #ocaml
ziyourenxiang has joined #ocaml
malina has quit [Ping timeout: 248 seconds]
malina has joined #ocaml
zolk3ri has quit [Ping timeout: 265 seconds]
orbifx has joined #ocaml
malina has quit [Ping timeout: 272 seconds]
jimmyrcom has joined #ocaml
whoman has quit [Ping timeout: 248 seconds]
whoman has joined #ocaml
orbifx has quit [Ping timeout: 256 seconds]
_whitelogger has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]