<Drup>
you inlined the ocamlbuild command because oasis refuses do the right one for you :)
alpounet has joined #ocaml
<whitequark>
oh, right
SHODAN has quit [Remote host closed the connection]
SHODAN has joined #ocaml
Puffin is now known as BitPuffin
<Drup>
whitequark: huhu, I can tell which part are from and which part you did just by the coding style
ollehar has quit [Ping timeout: 255 seconds]
ollehar has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
ollehar has quit [Ping timeout: 255 seconds]
ollehar has joined #ocaml
axiles has quit [Remote host closed the connection]
philtor_ has quit [Ping timeout: 260 seconds]
wwilly has quit [Quit: This computer has gone to sleep]
jludlam has quit [Read error: Connection reset by peer]
q66 has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
<ollehar>
is there a front-end library for js_of_ocaml that helps you create common js stuff like paginating, accordions, etc?
vfoley- has quit [Ping timeout: 264 seconds]
<Drup>
well, first solution is to use a js library that do that (let's say, bootstrap)
<Drup>
that's not very hard
<Drup>
if you want to go with the pure ocaml solution, you will be very welcome to contribute your widget to https://github.com/ocsigen/ojwidgets
<Drup>
it's not very featureful *yet* but it's starting to be reasonable.
<Drup>
but no accordions
Eyyub has quit [Ping timeout: 264 seconds]
tani has quit [Quit: Verlassend]
tobiasBora has joined #ocaml
<tobiasBora>
Bonjour !
<tobiasBora>
*Hello !
<tobiasBora>
I'm building some libraries which have several ml files, and I would like to pack them in a larger module.
<whitequark>
Drup: which part of what?
<Drup>
whitequark: lwt ppx
<whitequark>
ah
<whitequark>
yes :)
<tobiasBora>
For example I've the "module" - ModuleA, ModuleB, and i would like to access them with Mylib.ModuleA Mylib.ModuleB
<Drup>
tobiasBora: in _oasis, "Pack: true"
<tobiasBora>
Drup: And if I'm not using oasis ? (it makes me soo crazy, I decided to use my own Makefile ^^)
<eikke__>
has any work been done on exhaustiveness checking in face of GADTs since 4.01?
ggole has quit [Ping timeout: 260 seconds]
<Drup>
tobiasBora: your own Makefile, haha
<Drup>
-pack to the compiler, irrc
<Drup>
eikke__: what do you mean ?
<Drup>
there is already an exhaustiveness check for gadts
<ollehar>
Drup: thanks for the info!
<eikke__>
Drup: let the exhaustiveness checker not warn about missing cases which wouldn't be well-typed anyway
<Drup>
it's already the case
<eikke__>
Drup: hmh. I have some code here where it warns about missing patterns, but when I fill in those patterns, the type-checker (correctly) complains
rand000 has quit [Quit: leaving]
<Drup>
type 'a t = Int : int -> int t | String : string -> string t ;;
Arsenik has quit [Remote host closed the connection]
<tobiasBora>
Drup: Thank you ! Actually my Makefile works pretty well for my use ! I'm not sure it's always really proper but I don't see bugs for the moment... With it I have a very modulable website structure (with eliom) : Javascript works, the configuration is really easy to do, the dependencies are detected and included in the right order... I will publish it in a few days if you want to give it a look
<Drup>
I don't want to look at a makefile, no
Arsenik has joined #ocaml
dsheets__ has quit [Ping timeout: 252 seconds]
alpounet has quit [Remote host closed the connection]
<tobiasBora>
You shouldn't read any makefile to create a new module
<Drup>
oh, right
<Drup>
eikke__: I think it would deserve a bug report
<eikke__>
Drup: I tried to reduce it to a simpler case, but that now works without warnings
<eikke__>
maybe the fact recursive modules are used is at play
alpounet has joined #ocaml
<Drup>
eikke__: the compiler doesn't give you an example of unmatched value for the exhaustiveness warning ?
<Drup>
(I'm going to comment on github, it will be cleaner)
<nrlucaroni>
Looking at a backtrace that stops at a weird point; the exception is raise from a completely different module. I have some open statements and a functor. I didn't try with anything but 4.01.0 right now, was anyone aware of an issue with that?
<Drup>
nrlucaroni: using Async/Lwt ?
<nrlucaroni>
:-/ nope
<Drup>
then it should work
<nrlucaroni>
maybe I don't have the debug on those files? my ocamlbuild _tags has true:debug .
<nrlucaroni>
I'll play around with it more.
<nrlucaroni>
Oh, is there a reason why the otherlibs ml files are not installed like the rest of the stdlib?
<Drup>
they should be installed
<Drup>
just not loaded by default
<Drup>
just add the relevant module
vfoley- has joined #ocaml
<nrlucaroni>
yeah, i see str.ml in the build/ directory in opam, not in lib. i guess that's fine.
tnguyen has quit [Ping timeout: 252 seconds]
<Drup>
none of the standard library are in lib/
madroach has quit [Ping timeout: 252 seconds]
<Drup>
huh, I mean, they are all under lib/ocaml
<Drup>
(and str.cmFOO are there too)
<nrlucaroni>
yes that's right. str.ml isn't. everything else is.
madroach has joined #ocaml
<nrlucaroni>
err, stdlib ml files are, otherlib ml files are not.
<Drup>
ah, I see your issue
<Drup>
.ml are not installed like that usually
<Drup>
nrlucaroni: you could probably file a bug report about that
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
eikke__ has joined #ocaml
vfoley- has quit [Changing host]
vfoley- has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
<nrlucaroni>
yeah I didn't think they were either --any library installation i've written excludes them-- but the others were, so it threw me off.