<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?
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.
<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]
<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]