kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
coventry has quit [Ping timeout: 248 seconds]
halogenandtoast has joined #ocaml
kvda has joined #ocaml
mfp has quit [Ping timeout: 245 seconds]
catern has quit [Excess Flood]
catern has joined #ocaml
pierpal has joined #ocaml
yomimono has quit [Ping timeout: 244 seconds]
jimmyrcom_ has quit [Ping timeout: 264 seconds]
jimmyrcom_ has joined #ocaml
glass has joined #ocaml
shinnya_ has joined #ocaml
yomimono has joined #ocaml
caw_________ has joined #ocaml
halogena1dtoast has joined #ocaml
r3s1stanc3_ has joined #ocaml
tormen has joined #ocaml
theblatt1 has joined #ocaml
eagleflo_ has joined #ocaml
lobo_ has joined #ocaml
catern_ has joined #ocaml
caw________ has quit [Ping timeout: 240 seconds]
tormen_ has quit [Ping timeout: 240 seconds]
dogui has joined #ocaml
catern has quit [Ping timeout: 240 seconds]
dogui has quit [Ping timeout: 240 seconds]
lobo has quit [Ping timeout: 240 seconds]
theblatte has quit [Ping timeout: 240 seconds]
eagleflo has quit [Ping timeout: 240 seconds]
shinnya has quit [Ping timeout: 260 seconds]
theglass has quit [Ping timeout: 260 seconds]
kvda has quit [Ping timeout: 260 seconds]
r3s1stanc3 has quit [Ping timeout: 260 seconds]
kalio has quit [Ping timeout: 260 seconds]
jerith has quit [Ping timeout: 260 seconds]
caw_________ has joined #ocaml
halogenandtoast has quit [Ping timeout: 260 seconds]
rseymour has quit [Ping timeout: 260 seconds]
tg has quit [Ping timeout: 260 seconds]
so has quit [Ping timeout: 260 seconds]
sheijk has quit [Ping timeout: 260 seconds]
maker has quit [Ping timeout: 260 seconds]
eikke has quit [Ping timeout: 260 seconds]
_habnabit has quit [Ping timeout: 260 seconds]
caw_________ has quit [Changing host]
pitastrudl has quit [Ping timeout: 260 seconds]
eikke has joined #ocaml
dogui has quit [*.net *.split]
rseymour has joined #ocaml
eikke has joined #ocaml
eikke has quit [Changing host]
maker has joined #ocaml
sheijk has joined #ocaml
coventry has joined #ocaml
jerith has joined #ocaml
Asmadeus has quit [Ping timeout: 256 seconds]
Asmadeus has joined #ocaml
dogui has joined #ocaml
Asmadeus has quit [Changing host]
Asmadeus has joined #ocaml
pitastrudl has joined #ocaml
_habnabit has joined #ocaml
so has joined #ocaml
catern_ is now known as catern
tg has joined #ocaml
kvda has joined #ocaml
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 248 seconds]
pierpa has quit [Quit: Page closed]
kleimkuhler has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
yomimono has quit [Ping timeout: 244 seconds]
cobreadmonster has quit [Quit: Connection closed for inactivity]
yomimono has joined #ocaml
jao has quit [Ping timeout: 244 seconds]
_andre has quit [Ping timeout: 240 seconds]
kleimkuhler has quit [Read error: Connection reset by peer]
ygrek has quit [Remote host closed the connection]
kleimkuhler has joined #ocaml
granttrec has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
granttrec has quit [Ping timeout: 252 seconds]
_andre has joined #ocaml
_andre has quit [Ping timeout: 264 seconds]
_andre has joined #ocaml
<xvilka>
hi! Is is possible to share same *.ml files between different executables in the same directory with dune/jbuilder?
_andre has quit [Ping timeout: 264 seconds]
<yomimono>
xvilka: yes, you can use `modules` to do that - define an `executable` stanza for each executable and then include your shared module in the `modules` list for each of them
_andre has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
_andre has quit [Remote host closed the connection]
_andre has joined #ocaml
_andre has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
raduom has joined #ocaml
raduom has quit [Client Quit]
_andre has joined #ocaml
tarptaeya has joined #ocaml
cbot has quit [Quit: Leaving]
hdon has quit [Ping timeout: 256 seconds]
jaar has joined #ocaml
<discord>
<rizo> Might be wrong but I think that will result in “multiple module definitions” error.
hdon has joined #ocaml
mbuf has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 244 seconds]
jimmyrcom_ has joined #ocaml
<xvilka>
yomimono: yes, it gives an error
dedgrant_ has joined #ocaml
<xvilka>
I just refactored this code into the library
<xvilka>
didn't took so long as I afraid
dedgrant has quit [Ping timeout: 240 seconds]
coventry has quit [Ping timeout: 240 seconds]
shinnya_ has quit [Ping timeout: 248 seconds]
yomimono has quit [Ping timeout: 244 seconds]
jaar has quit [Ping timeout: 268 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
yomimono has joined #ocaml
nullifidian_ has quit [Remote host closed the connection]
sagotch has joined #ocaml
hdon has quit [Ping timeout: 268 seconds]
hdon has joined #ocaml
hdon_ has joined #ocaml
hdon has quit [Ping timeout: 276 seconds]
jaar has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has joined #ocaml
kvda has joined #ocaml
fejaiojeia has joined #ocaml
kakadu has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
TarVanimelde has joined #ocaml
ozzymcduff has joined #ocaml
coventry has joined #ocaml
shinnya has joined #ocaml
<steenuil>
xvilka: define a library selecting the modules you want to share with `modules` and then use those libraries in the executable stanzas
TarVanimelde has quit [Quit: TarVanimelde]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
fejaiojeia has left #ocaml ["ERC (IRC client for Emacs 25.3.1)"]
BenB has joined #ocaml
<Drup>
coventry: well, you can start by looking at the eliom doc for recent versions :)
BenB is now known as Guest68939
coventry has quit [Ping timeout: 264 seconds]
silenc3r has joined #ocaml
zolk3ri has joined #ocaml
shw has quit [Quit: shw]
shw has joined #ocaml
halogena1dtoast has quit [Ping timeout: 244 seconds]
muratiku has joined #ocaml
lobo_ has quit [Quit: WeeChat 1.6]
lobo has joined #ocaml
bartholin has quit [Ping timeout: 268 seconds]
mfp has joined #ocaml
ziyourenxiang has joined #ocaml
halogenandtoast has joined #ocaml
silenc3r has quit [Ping timeout: 240 seconds]
shinnya has quit [Ping timeout: 240 seconds]
silenc3r has joined #ocaml
silenc3r has quit [Remote host closed the connection]
halogenandtoast has quit [Ping timeout: 240 seconds]
mk9 has joined #ocaml
dejanr has quit [Ping timeout: 240 seconds]
mk9 has quit [Quit: mk9]
bartholin has joined #ocaml
mk9 has joined #ocaml
pierpal has joined #ocaml
yomimono has quit [Ping timeout: 264 seconds]
yomimono has joined #ocaml
dejanr has joined #ocaml
theblatt1 is now known as theblatte
mk9 has quit [Ping timeout: 244 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
sagotch has quit [Read error: Connection reset by peer]
<kakadu>
Folks, is there a formal definition of 2,3,... -order functions? Need an academic paper or something to make a reference...
<reynir>
huh?
dhil has joined #ocaml
<companion_cube>
kakadu: it's more or less the level of nesting on the left of `->`
<kakadu>
companion_cube: Yes, it seems so
<kakadu>
Do you know any fancy properties, like simplified type inference in presence of dependent types or something?..
<Drup>
I'm not sure what you are talking about, I don't think there is a single dependently typed language without high order functions
<companion_cube>
hm, if you can infer function types, I don't think the order matters much
<companion_cube>
Drup: I was going to say "C++" but even then… :D
<Drup>
companion_cube: there is no inference for that anyway, and C++ kinda has high order functions nowadays, doesn't it ?
<companion_cube>
yes, hence the "even then"
<companion_cube>
(but `auto` does count as type inference)
<Drup>
auto is type lookup
<Drup>
it's not type *inference*
<kakadu>
Folks, aorund me claim that imperqative programs with heaps are translatable to 2nd-order pure functions. It is very likely that somebody already proved that. Have you seen anything?
<Drup>
I wouldn't be surprised, you just turn the heap explicit everywhere and that's it ...
<companion_cube>
monads, monads everywhere!
<Armael>
Drup: and you church-encode the data-structure for the heap ? :'
<Armael>
yummy
mk9 has joined #ocaml
<Drup>
Armael: or you realize that you can just say "we assume we have datatypes, and you can encode them if you hate yourself" and be content in the fact that your research is still perfectly applicable
<Armael>
well yes of course
<Armael>
you can also say that you assume that you have a mutable heap
<Armael>
and that you can encode it if you hate yourself
<Armael>
I thought this discussion was about pointless encodings
<Drup>
Fair enough :p
shinnya has joined #ocaml
mk9 has quit [Quit: mk9]
jbrown has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Read error: Connection reset by peer]
mk9 has joined #ocaml
<companion_cube>
wait, encoding the heap is really useful to reason about such programs, isn't it?
<companion_cube>
unlike the Church encoding
mk9 has quit [Client Quit]
<steenuil>
that would make it easy to inspect, I reckon
malina has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
zolk3ri has quit [Ping timeout: 256 seconds]
zolk3ri has joined #ocaml
eijoagj has joined #ocaml
mikeyhc has quit [Ping timeout: 248 seconds]
<eijoagj>
Hi! I'm using Merlin with Emacs to edit OCaml. Using the `ocamlbuild` -Is argument, I can load local files into my compilation. But in Emacs, Merlin-mode highligts any functions in other modules as errors, saying `Unbound module Mymodule`. Is there a way around this? In some langs, on has a file like package.json where you specify source directories, and all build tools understand to look for code there. Is there such a th
<eijoagj>
package.json/cargo.toml/default.nix for OCaml?
<ZirconiumX>
eijoagj: first off, use dune/jbuilder
<ZirconiumX>
That will generate a .merlin file which tells Merlin about your source code
<ZirconiumX>
Or you could write a .merlin file manually, but that's probably going to be unnecessary pain to keep up to date
Guest68939 has quit [Ping timeout: 252 seconds]
halogenandtoast has joined #ocaml
<octachron>
ZirconiumX, not really; updating the .merlin file is fairly lightweight in term of maintenance
sagotch has joined #ocaml
<ZirconiumX>
Yeah, but given that it can be auto-generated, you might as well just use that
halogenandtoast has quit [Ping timeout: 244 seconds]
zolk3ri has quit [Ping timeout: 268 seconds]
zolk3ri has joined #ocaml
dhil has quit [Ping timeout: 244 seconds]
mbuf has quit [Quit: Leaving]
eijoagj` has joined #ocaml
eijoagj has quit [Ping timeout: 240 seconds]
dhil has joined #ocaml
Haudegen has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
muratiku has quit [Ping timeout: 244 seconds]
<eijoagj`>
ZirconiumX: thanks : )
mk9 has quit [Quit: mk9]
eijoagj`` has joined #ocaml
spew has joined #ocaml
noitakomentaja has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
eijoagj` has quit [Ping timeout: 265 seconds]
halogenandtoast has joined #ocaml
shinnya has quit [Ping timeout: 268 seconds]
MercurialAlchemi has quit [Ping timeout: 244 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
eijoagj`` has quit [Remote host closed the connection]
eijoagj`` has joined #ocaml
eijoagj`` has quit [Ping timeout: 265 seconds]
al-damiri has joined #ocaml
shinnya has joined #ocaml
dhil has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
mikeyhc has joined #ocaml
Asmadeus has quit [Ping timeout: 240 seconds]
adrien has quit [Ping timeout: 268 seconds]
Asmadeus has joined #ocaml
adrien has joined #ocaml
yomimono has quit [Ping timeout: 268 seconds]
malina has quit [Ping timeout: 244 seconds]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
cryptocat1094 has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
<alex34234>
Hello! Is there any way to use Bitstring library in jsoo? If no, is there any similar libraries that can be used for jsoo?
<alex34234>
are*
dhil has joined #ocaml
kleimkuhler has joined #ocaml
<Drup>
hmm, bigarrays are available in js_of_ocaml now, aren't they?
<Drup>
if that's the case, then bigstrings should be ok
jaar has quit [Ping timeout: 276 seconds]
<companion_cube>
do they translate to JS typed arrays? :o
<discord>
<Perry> I often maintain my .merlin file by hand. It's easy enough.
<Drup>
companion_cube: iirc, yes
<companion_cube>
:+1:
shinnya has quit [Ping timeout: 240 seconds]
coventry has joined #ocaml
shinnya has joined #ocaml
<coventry>
What's the best way to convert a Yojson string to a javascript string, in js_of_ocaml?
<alex34234>
Drup: maybe this is a stupid question, but in bitstring sources there are some C source files, I assume they do not compile to js. If I am wrong, please tell
<companion_cube>
Drup: it's bitstring, not bigstring, apparently
<alex34234>
coventry: what do you mean by Yojson string?
<coventry>
Sorry, Yojson object
<coventry>
I could convert to a string and then parse it out in JS, but seems like there might be a more direct way.
halogenandtoast has quit [Ping timeout: 248 seconds]
<alex34234>
conventry: maybe you need smth like this? fun (json:Yojson.Safe.json) -> Js.string (Yojson.Safe.to_string json)
isd has joined #ocaml
freyr69 has quit [Remote host closed the connection]
<Drup>
oh, bitstrings
<Drup>
hmm
<coventry>
alex34234: I came up with this, which does what I describe. What does yours do? It looks like it produces a JS json string, rather than a JSON object. `let yojson_to_js_json (o : Yojson.Basic.json) = Js.Unsafe.global##.JSON##parse (Yojson.Basic.to_string o)`
<coventry>
<Drup>
it should probably used the uint package, really
sagotch has quit [Read error: No route to host]
<alex34234>
coventry: In your first question you've asked for conversion to a js string, not a js object :) my fun converts to a js string
<coventry>
Ah, right. Sorry for the confusion.
<alex34234>
coventry: I assume that you also should convert your ocaml string to a js string before passing it to JSON##parse
<alex34234>
`let yojson_to_js_json (o : Yojson.Basic.json)
Haudegen has quit [Remote host closed the connection]
mk9 has joined #ocaml
kleimkuhler has joined #ocaml
mk9 has quit [Client Quit]
Fardale has quit [Ping timeout: 276 seconds]
tobiasBora has quit [Ping timeout: 260 seconds]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
Fardale has joined #ocaml
tobiasBora has joined #ocaml
ryyppy has joined #ocaml
alex34234 has quit [Remote host closed the connection]
<coventry>
Js.json.parse is a bit cleaner than accessing JSON##parse.
<ryyppy>
irc test
<coventry>
How can I cast a Js.json object I believe to be a string, to a string?
<coventry>
I guess o##stringify.
ryyppy has quit [Ping timeout: 244 seconds]
kleimkuhler has quit [Quit: kleimkuhler]
shinnya has quit [Ping timeout: 260 seconds]
Haudegen has joined #ocaml
gl has joined #ocaml
kleimkuhler has joined #ocaml
<coventry>
How to extract a value from a Js.json object, given a key? `o##result` results in a complaint that `o` is of type `Js.json` instead of `'a Js.t`.
gl has left #ocaml [#ocaml]
ziyourenxiang has quit [Ping timeout: 260 seconds]
kleimkuhler has quit [Client Quit]
<Leonidas>
anyone tried OCaml 4.07 on Travis? Is is supported already?
<Leonidas>
adrien: can you update the topic?
<coventry>
I think I misunderstood the purpose of Js.json. Maybe it's just for the _JSON pointer to the javascript JSON object.
tarptaeya has quit [Quit: Konversation terminated!]
kakadu has quit [Quit: Konversation terminated!]
jnavila has quit [Ping timeout: 264 seconds]
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
dhil has quit [Ping timeout: 248 seconds]
tane has joined #ocaml
kleimkuhler has joined #ocaml
noitakomentaja has quit [Remote host closed the connection]
ryyppy has joined #ocaml
yomimono has joined #ocaml
noitakomentaja has joined #ocaml
<coventry>
`js_of_eliom` has entries in its `--help` output for `--pretty --no-inline --debug-info --source-map`, but it seems these arguments are passed to `ocamlc.opt`, which doesn't know of them. Anyone know how to compile js_of_eliom client code to human-readable javascript?
moei has quit [Quit: Leaving...]
kleimkuhler has quit [Quit: kleimkuhler]
<Drup>
those arguments are passed to js_of_ocaml
yomimono has quit [Ping timeout: 240 seconds]
asdf123 has joined #ocaml
kleimkuhler has joined #ocaml
<coventry>
Ideally, yes, but `js_of_eliom --pretty -o a.out` results in the error message `ocamlc.opt: unknown option '--pretty'.`
<Drup>
I don't have the binary around, but that sounds wrong, you should open a bug report
<companion_cube>
so… when is opam2 going to be released? :3
<companion_cube>
now that 4.07 and dune 1.0 are
<reynir>
When installing cpuid I get this error: File /home/user/.opam/4.04.2+flambda/config/global-config.config does not existFailure: Ocb_stubblr: error running opam.
<reynir>
I'm suspecting it's a sandbox issue :/
jnavila has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
letoh has quit [Ping timeout: 265 seconds]
<reynir>
Ok, under the sandbox script I get /usr/bin/opam and not /usr/local/bin/opam :/
ygrek has joined #ocaml
Haudegen has joined #ocaml
<companion_cube>
hmm ok, yet another person having trouble with upgrading to opam2… ;_;
<companion_cube>
maybe that's why they don't release
<coventry>
Should I need to do anything special to get the attributue-assignment syntax `Js.Unsafe.global##foo <- result` to work, as described in the "Syntax Extension" section http://ocsigen.org/js_of_ocaml/2.4/manual/library ? Attribute and method access work, I'm just unsure about assignment. I'm including `js_of_ocaml-ppx` in `CLIENT_PACKAGES` in `Makefile.options`
<coventry>
That notation is failing with `Syntax error: operator expected.` on the `<-` symbol.
deividas has quit [Remote host closed the connection]
<coventry>
I have an impression of a fairly severe impedance mismatch between javascript objects and eliom objects. Things which are easy in other languages are suddenly super hard.
<reynir>
Ok, I think I know what it is... -.-
<reynir>
It's because I'm running qubes, and /usr/local is a symlink to /rw/usrlocal