adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
pierpa has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
seangrove has joined #ocaml
kleimkuhler has joined #ocaml
jao has quit [Ping timeout: 248 seconds]
JimmyRcom has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
kleimkuhler has joined #ocaml
shinnya has joined #ocaml
jao has joined #ocaml
mfp has quit [Ping timeout: 264 seconds]
kleimkuhler has quit [Quit: kleimkuhler]
JimmyRcom has quit [Ping timeout: 248 seconds]
gumchum has joined #ocaml
<gumchum> Hi, any help on setting up opam with the IRILL external resolver? I'm using openbsd and it doesn't look like any of the other resolvers have been ported
cbot has quit [Ping timeout: 256 seconds]
gumchum has quit [Quit: Page closed]
jao has quit [Ping timeout: 276 seconds]
JimmyRcom has joined #ocaml
tormen has joined #ocaml
<discord> <bobby> gumchum, I'm not sure about IRILL (I think the main resource of it -- cudf-solvers.irill.org -- is down?), but opam v2 is bundling an mccs solver so you won't need an external one, have you tried it?
tormen_ has quit [Ping timeout: 260 seconds]
<discord> <bobby> For installation see https://opam.ocaml.org/blog/opam-2-0-0-rc3/
halogena1dtoast has joined #ocaml
pierpa has quit [Quit: Page closed]
halogena1dtoast has quit [Ping timeout: 264 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
kleimkuhler has joined #ocaml
jbrown has quit [Ping timeout: 256 seconds]
kleimkuhler has quit [Quit: kleimkuhler]
kleimkuhler has joined #ocaml
malina has quit [Ping timeout: 260 seconds]
neatonk has quit [Ping timeout: 255 seconds]
ygrek has joined #ocaml
neatonk has joined #ocaml
FreeBirdLjj has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 240 seconds]
jimmyrcom_ has joined #ocaml
jimmyrcom_ has quit [Max SendQ exceeded]
jimmyrcom_ has joined #ocaml
jimmyrcom_ has quit [Max SendQ exceeded]
jimmyrcom_ has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
shw has joined #ocaml
igitoor has quit [Ping timeout: 260 seconds]
yomimono has quit [Ping timeout: 240 seconds]
yomimono has joined #ocaml
igitoor has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
_whitelogger has joined #ocaml
leah2 has quit [Read error: Connection reset by peer]
cbot has joined #ocaml
leah2 has joined #ocaml
JimmyRcom has quit [Remote host closed the connection]
TarVanimelde has joined #ocaml
seangrove has quit [Remote host closed the connection]
cbot has quit [Quit: Leaving]
kakadu has joined #ocaml
_whitelogger has joined #ocaml
pierpal has quit [Ping timeout: 260 seconds]
ygrek has quit [Ping timeout: 260 seconds]
jimt has joined #ocaml
nullifidian has quit [Remote host closed the connection]
larhat has joined #ocaml
larhat has quit [Client Quit]
mk9 has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
mk9 has quit [Quit: mk9]
zolk3ri has joined #ocaml
shinnya has quit [Ping timeout: 276 seconds]
mfp has joined #ocaml
dakk has joined #ocaml
_whitelogger has joined #ocaml
Haudegen has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
shinnya has joined #ocaml
TheLemonMan has joined #ocaml
FreeBirdLjj has joined #ocaml
kakadu has quit [Read error: Connection reset by peer]
kakadu has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Read error: Connection reset by peer]
kakadu_ has quit [Client Quit]
kakadu_ has joined #ocaml
kakadu_ has quit [Client Quit]
kakadu_ has joined #ocaml
Ulrar has joined #ocaml
<Ulrar> Hey, I'm trying to use Git.Inflate.None from the git package, but for some reason it always says "Unbound constructor Git.Inflate.None"
kakadu_ has quit [Read error: Connection reset by peer]
<Ulrar> Even though I can #show it in toplevel just fine
<Ulrar> What am I missing ?
kakadu_ has joined #ocaml
kakadu_ has quit [Client Quit]
kakadu_ has joined #ocaml
dakk has quit [Remote host closed the connection]
dakk has joined #ocaml
dakk_ has joined #ocaml
<reynir> Git.Inflate.None is a module
<reynir> I don't know how you're trying to use it, but maybe you have to write (module Git.Inflate.None : Git.Inflate.S) instead
dakk has quit [Ping timeout: 244 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
<reynir> (I haven't used ocaml-git myself)
al-damiri has quit [Quit: Connection closed for inactivity]
dakk_ has quit [Read error: Connection reset by peer]
dakk_ has joined #ocaml
kakadu_ has quit [Quit: Konversation terminated!]
kakadu_ has joined #ocaml
dakk_ has quit [Remote host closed the connection]
dakk_ has joined #ocaml
kakadu_ has quit [Quit: Konversation terminated!]
kakadu_ has joined #ocaml
<Ulrar> reynir: I'm trying to use Irmin_mirage.Git.Mem.KV
<Ulrar> Which needs a Git.Inflate.S
<Ulrar> And I get "Unbound module Git.Inflate" when I try to use it that way : Irmin_mirage.Git.Mem.KV(Irmin.Contents.String)(Git.Inflate.None)
<Ulrar> Must be missing something
kakadu_ has quit [Quit: Konversation terminated!]
kakadu_ has joined #ocaml
kakadu_ has quit [Client Quit]
kakadu_ has joined #ocaml
kakadu_ has quit [Client Quit]
kakadu_ has joined #ocaml
kakadu_ has quit [Read error: Connection reset by peer]
kakadu_ has joined #ocaml
kakadu_ has quit [Quit: Konversation terminated!]
kakadu_ has joined #ocaml
silver has joined #ocaml
kakadu_ has quit [Quit: Konversation terminated!]
kakadu_ has joined #ocaml
kakadu_ has quit [Client Quit]
kakadu_ has joined #ocaml
kakadu_ has quit [Client Quit]
kakadu_ has joined #ocaml
kakadu_ has quit [Quit: Konversation terminated!]
kakadu has joined #ocaml
fejaiojeia has joined #ocaml
<fejaiojeia> Hi! I'm trying to make a super simple OCaml implementation of the cat program (i.e. write to stdout what comes to stdin). I have this code: http://ix.io/1gto but when compiling it with `ocamlbuild main.native && echo "Hello"`, it only does return after I press the enter or ctrl-c keys. My question to you all is why does my main function not return in this program?
<fejaiojeia> (in the example command I forgot to add the `| main.native`, sorry about that
<discord> <Perry> I don't understand why you are building it with && echo "Hello" at the end of the command line.
<Ulrar> Allright, managed to get it to work with Irmin_unix. Now to figure out how to use Irmin_mirage instead
<lyxia> Perry: it's meant to be echo "hello"|./main.native
<fejaiojeia> I'm sorry for the sloppy IRC message composition, here is the command for building: http://ix.io/1gtA . discord I'm trying to send the text "Hello" into my programs stdin, hoping it would print it and exit(0).
<fejaiojeia> (Looking for the same effect as this unix command: `echo "hello" | cat`, where the program exits unlike in my ocaml program)
<discord> <Perry> You're reading by lines.
<lyxia> It exits fine when I try.
kakadu has quit [Quit: Konversation terminated!]
<lyxia> do you have an exotic shell
kakadu has joined #ocaml
<discord> <Perry> what's the purpose of the "fun stream ->" ?
<discord> <Perry> oh, I see.
<discord> <Perry> I wouldn't have written this like this, but it should work I think. It's pretty inefficient...
<discord> <Perry> "stream" is useless the way you've written this too. you do input_line on stdin anyway.
<discord> <Perry> You have redundant parens in your let () =
<discord> <Perry> (you could have just written "read_stream_to_string stdin", this is not C.)
dakk_ has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
kakadu has joined #ocaml
kakadu has quit [Client Quit]
kakadu has joined #ocaml
ratschance has quit [Remote host closed the connection]
ratschance has joined #ocaml
remix2000 has joined #ocaml
mk9 has joined #ocaml
fejaiojeia has quit [Ping timeout: 245 seconds]
malina has joined #ocaml
<remix2000> Which graphics library like "Vg" or the built-in "Graphics" allows both to interactively draw in a window and to save an image?
<Armael> def` ^
<thizanne> remix2000: tsdl
<mrvn> you have to implement both. Note that the built-in Graphics only has one mouse button.
<mrvn> saving an image is usualy not something a graphics library provides
<remix2000> thizanne, mrvn: I'm looking a static vector graphic library like Vg that also supports interactive programming.
<mrvn> If you want to do vectors then the built-in probably isn't the right choise.
<Armael> remix2000: maybe def` can tell you more about that, but he recently released a library for declarative vector graphics https://github.com/let-def/wall
<Armael> not sure what you mean by interactive programming, but he did a presentation at the ocaml meetup where his slides were written using this library, and he had a hack to automatically reload the program drawing the slides after the ocaml code was modified
kakadu has quit [Read error: Connection reset by peer]
kakadu has joined #ocaml
kakadu has quit [Client Quit]
kakadu has joined #ocaml
<remix2000> Armael: Something that would allow prototyping in top would be nice
<Armael> yea you can probably do that
<Armael> I don't know much more though, I haven't used the library myself yet
neatonk has quit [Ping timeout: 276 seconds]
mk9 has quit [Quit: mk9]
kakadu has quit [Client Quit]
<remix2000> I was looking for something native, but maybe just make+inotify watch would be enough?
kakadu has joined #ocaml
kakadu has quit [Client Quit]
kakadu has joined #ocaml
neatonk has joined #ocaml
<def`> remix2000: I might help you with wall, but I am busy right now. Will you be available in 30 min ?
<remix2000> def`: Thank you, I'll be here.
halogena1dtoast has joined #ocaml
<def`> remix2000: which OS are you using?
<remix2000> def`: Ubuntu 18.4
kakadu has quit [Quit: Konversation terminated!]
kakadu has joined #ocaml
malina has quit [Ping timeout: 264 seconds]
shinnya has quit [Ping timeout: 256 seconds]
Haudegen has quit [Remote host closed the connection]
greenbagels has quit [Quit: WeeChat 2.1]
<remix2000> def`: I'm afraid that Wall is not exactly what I want. It's more suited for animated graphics and UI, but I'm looking for something for static vector graphics. I'll just use makefile with watch. Thank you anyway :)
<discord> <Perry> If you just want to create vector graphics, maybe use an svg library?
<remix2000> Perry: Isn't Vg able to output svgs?
<discord> <Perry> I honestly don't know. I haven't touched any of these.
<def`> remix2000: ok
<def`> Vg can do that then
parcs has quit [Remote host closed the connection]
JimmyRcom has joined #ocaml
JimmyRcom has quit [Max SendQ exceeded]
JimmyRcom has joined #ocaml
Haudegen has joined #ocaml
halogena1dtoast has quit [Ping timeout: 244 seconds]
noitakomentaja has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
malina has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
kakadu has joined #ocaml
parcs has joined #ocaml
leah2 has quit [Ping timeout: 276 seconds]
remix2000 has quit [Quit: WeeChat 2.2-dev]
remix2000 has joined #ocaml
leah2 has joined #ocaml
malina has quit [Ping timeout: 260 seconds]
kakadu has quit [Quit: Konversation terminated!]
kakadu has joined #ocaml
clement_ has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
kakadu has joined #ocaml
Algebr has joined #ocaml
<clement_> Hi all. Is there a way to ask ocamlbuild to keep compiling after the first error? Something like "make --keep-going", which would build as many files as possible, rather than stopping as soon as it encounters an error.
<clement_> (Alternatively, an option to do this in Oasis would work as well)
<discord> <Perry> I think Dune is the new hotness. You might want to figure out how to use that...
ziyourenxiang has quit [Ping timeout: 245 seconds]
coventry has joined #ocaml
jnavila has joined #ocaml
Algebr has quit [Ping timeout: 276 seconds]
<coventry> Can the eliom grafitti example be built with modern ocsigen/ocaml? I'm running into some serious version skew with ocsigen-widgets.
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 244 seconds]
neatonk has quit [Ping timeout: 248 seconds]
<coventry> OK, I got it to build by ripping out the color picker.
jao has joined #ocaml
nullifidian has joined #ocaml
Algebr` has joined #ocaml
Algebr` has quit [Ping timeout: 276 seconds]
Algebr` has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
cbot has joined #ocaml
jao has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
malina has joined #ocaml
al-damiri has joined #ocaml
jao has joined #ocaml
rostero_ has joined #ocaml
<rostero_> must i use a functor to make this work: https://gist.github.com/rostero1/330c9895cf0f8abe0f7065b781ac804b
<rostero_> seems logical, but i want to confirm that i'm not missing something
<rostero_> i want 'a to be record
<steenuil> I don't understand what you're trying to do with that code
<rostero_> yeah, it doesn't make sense. i'm just trying to create a phantom type so, create should create (record,off) from record
<rostero_> but i want to parameterize over 'a, so that i can use string or record or any other type
<rostero_> but when i try to use record in `run`i get errors
<octachron> but your definition of t only contains the type "record"?
<rostero_> yes, it's incorrect right now
<rostero_> i'm not sure how to fix it
<steenuil> if you only want to parametrize on 'a then you shouldn't have two type arguments to t
<rostero_> how can i have t be a phantom type without two arguments?
<rostero_> and also parameterize over 'a
<steenuil> by phantom type you just mean a type that is not usable outside of the module it's defined in, right?
<rostero_> yeah, a type that never really gets used but is returned
<rostero_> one sec. let me redo this to make my question a little more straight forward
<steenuil> did you mean to make create return ('a, off) t instead of ('a, on)?
<rostero_> yes
<steenuil> ah, I see
<rostero_> so that type works only on a record, but i also want it to work on a string and other types
<ZirconiumX> You have an interesting coding style
<rostero_> it's called crap
<ZirconiumX> But that's bikeshedding :p
<octachron> rostero_, you need to add a constructor to on and off
<rostero_> lol. i was just trying to hack up a solution without knowing ocaml
<rostero_> good idea. let me try that
<rostero_> it seems weird that the phantom type would have a type constructor, no?
tokomak has joined #ocaml
jao has quit [Ping timeout: 244 seconds]
coventry has quit [Ping timeout: 244 seconds]
<steenuil> you could do something like this, I guess https://gist.github.com/steinuil/12e82304e5bce1badde3f9561cb1ef45
argent_smith has joined #ocaml
<steenuil> though if you want to change the implementation of "run" based on the type of 'a you'll either need to pass a function to "run" or make Thing a functor
<octachron> rostero_, constructors are needed for the typechecker to know that on ≠ off outside of the module defining them
jnavila has joined #ocaml
<rostero_> thanks for the gist, @steenuil
<rostero_> i think i get it now
<octachron> steenuil, a potential problem with this implementation is that you would need to duplicate all function in off and on variants, which can be a deal breaker
<rostero_> i think a functor makes more sense, right? i was just trying to see if there was something i was missing. the example i have really doesn't make that much sense without something like a functor
<steenuil> probably, yes
<octachron> rostero_, it is not really possible to know from your toy example
<steenuil> yeah, it's not really clear what exactly you want to achieve with that
halogena1dtoast has joined #ocaml
kakadu has quit [Remote host closed the connection]
halogena1dtoast has quit [Ping timeout: 264 seconds]
jao has joined #ocaml
nullifidian has quit [Remote host closed the connection]
cbot has quit [Ping timeout: 244 seconds]
hdon has quit [Ping timeout: 245 seconds]
tokomak has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
TheLemonMan has joined #ocaml
malina has quit [Ping timeout: 256 seconds]
jack5638 has quit [Ping timeout: 248 seconds]
jbrown has joined #ocaml
jack5638 has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
jnavila has quit [Quit: Konversation terminated!]
pierpal has joined #ocaml
argent_smith has quit [Quit: Leaving.]
delimax has joined #ocaml
carton has quit [Quit: WeeChat 2.1]
hdon has joined #ocaml
hdon has quit [Ping timeout: 244 seconds]
hdon has joined #ocaml
parcs has quit [Remote host closed the connection]
parcs has joined #ocaml
pzp has joined #ocaml
hdon has quit [Ping timeout: 264 seconds]
clement_ has quit [Quit: Leaving]
<rwmjones> does anyone know the date 4.07 will be released?
<octachron> rwmjones, I don't think so. https://caml.inria.fr/mantis/view.php?id=7815 is probably a showstopper
<discord> <Perry> I'm informed by religious people that the creator knows all things, but I suspect that if there is such an entity, it might have difficulty predicting an exact date.
<rwmjones> hmm that does look rather serious
shinnya has joined #ocaml
<rwmjones> thanks, will keep an eye on it
cow-orker has joined #ocaml
rostero_ has quit [Quit: Connection closed for inactivity]
nullifidian has joined #ocaml
malina has joined #ocaml
cbot has joined #ocaml
jao has quit [Ping timeout: 268 seconds]
Haudegen has quit [Remote host closed the connection]
hdon has joined #ocaml
pierpa has joined #ocaml
<Enjolras> octachron: i don't think this should block release ? this bug is old, i've seen it appearing for years, and it's present in 4.03 to 4.06 at least as far as i can tell
<Enjolras> octachron: it's probably fine to release 4.07 without a fix at this point ?
<Enjolras> don't get me wrong, i would be happy to see a fix, but it could be fine to be fixed in a minor release in 2months
delimax has quit [Quit: bbl]
pzp has quit [Quit: Connection closed for inactivity]