<Algebr>
Is ocp-indent supposed to replace tuareg-mode or compliment it
struk|dtut has joined #ocaml
<Algebr>
also, can opam show all the packages that are dependent on a given one? For example I want to know how many packages use cmdliner
c74d has quit [Quit: c74d]
yomimono has quit [Ping timeout: 248 seconds]
c74d has joined #ocaml
walter|r has quit [Remote host closed the connection]
walter|r has joined #ocaml
<struk|dtut>
module Foo = struct include T include U end ... if both U and T define the same type t = ..., can I unify them to make Foo compile somehow? (I know it can be done with module types using type t := t pattern).
c74d has quit [Read error: Connection reset by peer]
c74d has joined #ocaml
struk|dtut has quit [Ping timeout: 246 seconds]
mort___1 has joined #ocaml
mort___ has quit [Ping timeout: 252 seconds]
lordkryss has quit [Quit: Connection closed for inactivity]
struktured has joined #ocaml
struk|dtut has joined #ocaml
ygrek has quit [Ping timeout: 256 seconds]
Algebr has quit [Remote host closed the connection]
BitPuffin|osx has quit [Ping timeout: 264 seconds]
destrius has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
willy_ has joined #ocaml
wwilly has quit [Ping timeout: 250 seconds]
rgrinberg has quit [Ping timeout: 252 seconds]
darkf has joined #ocaml
m4b has left #ocaml ["ERC (IRC client for Emacs 24.5.1)"]
rgrinberg has joined #ocaml
idegen has quit [Quit: Leaving.]
systmkor has joined #ocaml
Algebr has joined #ocaml
<Algebr>
what is the difference in lwt's foo_s vs foo_p functions?
<Algebr>
and in between binds, should blocking code also be avoided? for example using print_endline instead of Lwt_io.printl
<Algebr>
found the _s vs _p answer
<struktured>
Algebr: I think you know answer to the 2nd
<Algebr>
I found this, _p when the function returns a thread and calls are parallelised. but isn't this wording incorrect, shouldn't it say calls are concurrently.
<Algebr>
struktured: I'm going to guess I need to use Lwt_io.printl still?
<struktured>
Algebr: yeah.
<Algebr>
Does lwt still basically use exceptions for errors?
<struktured>
Algebr: I am not an expert on that but they have syntax extensions to catch them properly with the scheduler et al. factored in
<struktured>
and yeah its more or less exceptions
<struktured>
plus a state indicator the lwt result monad
<struktured>
*on the
<struktured>
where is with async its done almost exclusviely with Or_error.t
<Algebr>
merp, +1 for async already...
<struktured>
I don't like Or_error's dependency on sexp but conceptually it has some merits. exceptions can still bleed into async coe too, depend on what libs u use
<struktured>
*coe/code
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
walter|r has quit [Remote host closed the connection]
<Algebr>
Sigh...some naming is pretty bad in Unix. For example Unix.h_addr_list is actually an array.
creichert has quit [Quit: Leaving]
keen___________0 has joined #ocaml
creichert has joined #ocaml
keen____________ has quit [Ping timeout: 252 seconds]
tmtwd has quit [Ping timeout: 272 seconds]
shafox has joined #ocaml
<Algebr>
I wonder if given that the stdlib will now have a result type whether lwt will move over to a results based error model although I imagine that would be a massive refactoring
<struktured>
Algebr: no, its not their fault really.
<Algebr>
but they exposed it in OCaml, surely the can change the name any which way they want
<struktured>
Algebr: I think it's in the spirit of a binding rather than an abstraction
MercurialAlchemi has joined #ocaml
Algebr has quit [Remote host closed the connection]
Bhavya has joined #ocaml
tjscanlon has joined #ocaml
shafox has quit [Ping timeout: 248 seconds]
matason has joined #ocaml
tmtwd has joined #ocaml
c74d has quit [Read error: Connection reset by peer]
c74d has joined #ocaml
shafox has joined #ocaml
Submarine has quit [Remote host closed the connection]
shafox has quit [Client Quit]
kdas_ has quit [Ping timeout: 252 seconds]
tmtwd has quit [Ping timeout: 252 seconds]
pyx has joined #ocaml
pyx has quit [Client Quit]
MercurialAlchemi has quit [Ping timeout: 276 seconds]
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 248 seconds]
darkf_ is now known as darkf
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 248 seconds]
darkf_ is now known as darkf
tjscanlon has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
darkf_ has joined #ocaml
kushal has joined #ocaml
huza has joined #ocaml
darkf has quit [Ping timeout: 248 seconds]
darkf_ is now known as darkf
matason has quit [Ping timeout: 272 seconds]
ollehar has joined #ocaml
mort___1 has quit [Quit: Leaving.]
huza has left #ocaml ["WeeChat 0.3.8"]
struk|desk2 has quit [Ping timeout: 248 seconds]
ollehar has quit [Quit: ollehar]
ygrek has joined #ocaml
contempt has quit [Ping timeout: 265 seconds]
contempt has joined #ocaml
badon has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
thomasga has joined #ocaml
badon has quit [Disconnected by services]
badon_ has joined #ocaml
badon_ is now known as badon
badon has quit [Disconnected by services]
badon_ has joined #ocaml
matason has joined #ocaml
badon_ is now known as badon
octachron has joined #ocaml
tmtwd has joined #ocaml
Cyanure has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
contempt has quit [Ping timeout: 244 seconds]
jonludlam has quit [Ping timeout: 256 seconds]
jbrown has quit [Ping timeout: 256 seconds]
Haudegen has quit [Ping timeout: 276 seconds]
jbrown has joined #ocaml
Haudegen has joined #ocaml
srenatus has joined #ocaml
yomimono has joined #ocaml
Gama11 has joined #ocaml
yomimono has quit [Ping timeout: 256 seconds]
ollehar has joined #ocaml
jbrown has quit [Ping timeout: 246 seconds]
rwmjones_ is now known as rwmjones
20WABIS9I has joined #ocaml
companion_square is now known as companion_cube
badon has quit [Ping timeout: 250 seconds]
jbrown has joined #ocaml
contempt has joined #ocaml
Simn has joined #ocaml
bjorkintosh has quit [Ping timeout: 250 seconds]
bacam has quit [Ping timeout: 250 seconds]
bacam has joined #ocaml
keen___________0 has quit [Ping timeout: 250 seconds]
bjorkintosh has joined #ocaml
zpe has joined #ocaml
keen___________0 has joined #ocaml
rgrinberg has joined #ocaml
ollehar has quit [Quit: ollehar]
rgrinberg has quit [Ping timeout: 264 seconds]
ollehar has joined #ocaml
mort___ has joined #ocaml
badon has joined #ocaml
Haudegen has quit [Ping timeout: 252 seconds]
whirm has joined #ocaml
<whirm>
hi everyone
mort___ has left #ocaml [#ocaml]
Haudegen has joined #ocaml
an is now known as adrien_znc
20WABIS9I has quit [Read error: Connection reset by peer]
nullcat has joined #ocaml
ollehar has quit [Remote host closed the connection]
jonludlam has joined #ocaml
hannes` is now known as hannes
badon has quit [Disconnected by services]
badon_ has joined #ocaml
dsheets has quit [Quit: Leaving]
badon_ is now known as badon
kushal has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
badon has quit [Ping timeout: 265 seconds]
<struktured>
hi
bezirg has joined #ocaml
yomimono has joined #ocaml
rgrinberg has joined #ocaml
troydm has quit [Ping timeout: 264 seconds]
creichert has quit [Quit: Leaving]
rgrinberg has quit [Ping timeout: 246 seconds]
dsheets has joined #ocaml
Gama11_ has joined #ocaml
Gama11 has quit [Ping timeout: 265 seconds]
<whirm>
is there anyone familiar with building a crosscompiler around? (linuc amd64 to linux arm) I've built the native runtime/compiler before as the doc says, but I'm having issues with the next stage
* Drup
points adrien.
<adrien_znc>
put that weapon down!
<whirm>
adrien_znc: :) I had a look at the android stuff you linked me to
<whirm>
but afaics it's cross compiling the runtime instead of building a cross compiler, right?
<adrien_znc>
you need to cross-compile the runtime
<adrien_znc>
currently it's required to have a native compiler of the same version of the cross-compiler
<adrien_znc>
meaning you already have a native runtime
ghostpl has joined #ocaml
<adrien_znc>
and it cross-builds one then
<whirm>
oh, so I need both a host native and a target native before building the cross compiler?
struk|dtut has quit [Ping timeout: 246 seconds]
<adrien_znc>
no
<adrien_znc>
I meant
<adrien_znc>
you build on x86 and target arm
<adrien_znc>
you need a regular native on x86 that outputs for x86
<whirm>
that I have :)
<adrien_znc>
and then you build one from x86 to arm which is at the same version of the compiler
<whirm>
this is the step I'm in.
struktured has quit [Ping timeout: 256 seconds]
struktured has joined #ocaml
<whirm>
the recipe that builds the x86 version works fine, I tested and it compiles stuff that actually runs and it's installed and on the PATH. looking at the generated makefile for the cross compiler, it is found: /var/scratch/cubieboard/poky_data/tmp/sysroots/x86_64-linux/usr/bin/ocamlrun
<whirm>
adrien_znc: this is the generated makefile for the cross compiler
<rgrinberg>
Yeah i'm trying to see if this is possible but I'm kind of unsure as to what the ppx node would be attached to
<rgrinberg>
the `Ocaml.packs :=` in ocamlscript is juts free floating
<rks`>
I think you can
<rks`>
just use floating attributes
<Drup>
[%%% ... ]
<Drup>
(yay)
<rks`>
(you don't need an extension node, you're not generating code)
<Drup>
ah no, that's [@@@ ... ]
<rks`>
(you just want an attribute)
<rgrinberg>
rks`: yep ^_^
<Drup>
(still yay for triple arobase)
<rgrinberg>
thanks
<rks`>
(yeah)
<rgrinberg>
ok so it's possible in theory
<rks`>
yes
avsm has joined #ocaml
badkins has joined #ocaml
octachron has joined #ocaml
Kakadu has quit [Ping timeout: 246 seconds]
darkf has quit [Quit: Leaving]
ollehar1 has quit [Remote host closed the connection]
nullcat__ has quit [Quit: gone...]
zpe has quit [Remote host closed the connection]
kdef has joined #ocaml
MrScout has joined #ocaml
tmtwd has joined #ocaml
yomimono has quit [Ping timeout: 244 seconds]
jwatzman|work has joined #ocaml
nullcat has joined #ocaml
jonludlam has quit [Ping timeout: 264 seconds]
swgillespie has joined #ocaml
swgillespie has quit [Client Quit]
avsm has quit [Quit: Leaving.]
tjscanlon has joined #ocaml
Simn has joined #ocaml
avsm has joined #ocaml
octachron has quit [Quit: Leaving]
<flux>
good evening!
<flux>
anything cool new stuff in the ocaml front to offer a distraction?-)
Algebr has joined #ocaml
<Algebr>
opam.ocaml is down for others too, right?
dsheets has quit [Ping timeout: 265 seconds]
<flux>
opam.ocaml.. ?
<Algebr>
opam.ocaml.org. try doing opam update
<nullcat>
yeah
<nullcat>
down
yuri` has joined #ocaml
<yuri`>
hi
srenatus has quit [Quit: Connection closed for inactivity]
<yuri`>
opam.ocaml.org is down, is there any other repository I can use on its downtime?
<yuri`>
I really need to install ocp-indent and merlin again
thomasga has quit [Quit: Leaving.]
yuri` is now known as Denommus
<nullcat>
checkout a copy on github and ``cd merlin && opam pin add merlin .``
Denommus has quit [Changing host]
Denommus has joined #ocaml
<Denommus>
nullcat: well, I'll have to do that for every dependency, too, right?
<Algebr>
are the powers that be aware of the opam issue
<flux>
soo, is there an example Eliom code that uses 'the full stack', ie. persistent server-side process, javascript interface interacting with it, built with ocamlbuild?
<flux>
I would love to get something working tonight 8-) with my Eliom experience from a few years abck..
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Haudegen has quit [Ping timeout: 244 seconds]
mort___1 has joined #ocaml
nullcat_ has joined #ocaml
bezirg has joined #ocaml
mort___ has quit [Quit: Leaving.]
Haudegen has joined #ocaml
rgrinberg has quit [Ping timeout: 248 seconds]
thomasga has joined #ocaml
SGrondin has quit [Ping timeout: 256 seconds]
ggole has quit [Ping timeout: 264 seconds]
creichert has joined #ocaml
shinnya has quit [Ping timeout: 246 seconds]
bezirg has left #ocaml [#ocaml]
<adrien>
hey, I need to get 5 reputation points on stackoverflow in order to be able to answer on meta
psy_ has joined #ocaml
<adrien>
any tip?
<adrien>
and, yes
<adrien>
I _need_ it
jbrown has quit [Ping timeout: 246 seconds]
thomasga has quit [Quit: Leaving.]
<Drup>
random correct answer on a mainstream language question
<adrien>
I'll need to get them accepted, right?
<Drup>
no, being upvoted works
<adrien>
ok, thanks
<Drup>
I think
<adrien>
well, let's see
<Algebr>
Is there a way to avoid having to do opam init.
<Drup>
No.
<avsm>
apologies, the OPAM downtime is my fault. The restoration is in progress right now...
<avsm>
You can opam init git://github.com/ocaml/opam-repository as a workaround for now
zaquest has quit [Ping timeout: 276 seconds]
<Algebr>
avsm: thank you
zaquest has joined #ocaml
jbrown has joined #ocaml
ceryo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ggole has joined #ocaml
avsm has quit [Quit: Leaving.]
<flux>
drup, soo, if you don't mind nudging me to the right direction: I have a JSON URI (of a service), I would like to retrieve it in JavaScript (and then use Deriving_Json etc to convert it back to what it originally was), any pointers?
jbrown has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
<flux>
I guess it's better to use Eliom_registration.Ocaml instead here, though I'm not sure if it actually yet solves the issue :)
<adrien>
ergh and now I can see that it's not 5 reputation points on stackoverflow that I need but really on meta.stackoverflow
<adrien>
so instead of being able to answer important questions in time I have to play
<flux>
hmm, that rpc approach seems simpler for me
<flux>
but what I was actually missing was the Eliom_client.call_caml_service. thanks!
slash^ has quit [Read error: Connection reset by peer]
Tamae has quit [Ping timeout: 256 seconds]
<Drup>
flux: rpc is basically a wrapping around OCaml services that hide all the annoying stuff
<flux>
drup, I don't mind having _some_ explicitness in the client/server separation :)
Gama11 has joined #ocaml
<Drup>
well, it's explicit
Gama11_ has quit [Ping timeout: 252 seconds]
sinelaw has joined #ocaml
avsm has joined #ocaml
<sinelaw>
how are mutable fields represented in ocamls type system internal abstract representation?
<sinelaw>
e.g. is the mutability tagged on the field name in the record type, or is it part of the field's type?
<sinelaw>
seems like the former
matason has quit []
waneck has quit [Read error: No route to host]
jbrown has joined #ocaml
Dynasty has joined #ocaml
<Dynasty>
I'm trying to use ocamlbuild to get me started with the language. One of the things that I want to use is sexplib, however, when I try to run "ocamlbuild hello.native" it results in the error "Unbound module Sexplib", even though it's listed when I run ocamlfind. The code is here: http://pastebin.com/XB9e0ycK
<Dynasty>
also I'm confused about the build tools in general
<Dynasty>
there seems to be so many of them
<SGrondin>
The build tools are by far the worst part of the ecosystem
<flux>
drup, success! I never dreamt of actually achieving it in one evening, a very simple irc-web-gateway ;-)
<Dynasty>
it might be an issue with my ocaml installation (?). Unfortunately the packages in the Ubuntu repositories are almost always out of date... for OCaml and Haskell. It's so annoying
<Dynasty>
Erlang too
<flux>
dynasty, debian packages are alright, but I think most everyone is using opam
<flux>
opam gives the latest compilers and latest packages and a system to deal with them
<flux>
no sudoing either
<flux>
..except for dependency system libraries
<flux>
dynasty, what does your _tags look like, do you have one?
<Dynasty>
I'm not sure what that means
<flux>
dynasty, you should have file _tags in the same directory
<flux>
its contents: *: package(sexplib)
<Dynasty>
same directory as my module?
<flux>
your invocation: ocamlbuild -use-ocamlfind hello.native
<Drup>
flux: well done
<Dynasty>
ah okay I didn't try the -use-ocamlfind
<flux>
dynasty, you should have _tags in your current working directory, same as the source
<flux>
dynasty, so your _tags now says *: package(sexplib) ?
<flux>
actually not *: but <*>:
<Dynasty>
aha it compiles now
<Dynasty>
does _tags just give dependency information?
<flux>
yes, it tells what flags to use for compiling and linking. in this case, it tells that to compile and link this you need to use the flags to include that package.
<flux>
packages contain modules; sometimes packages and modules have the similar names
<Dynasty>
is ocamlbuild the tool that I should be using?
<Dynasty>
or is there a better build tool
<flux>
ocamlbuild is fine I think, others may disagree :)
<Dynasty>
what other options are there?
<flux>
well, plain gnu-make, then there's omake
<flux>
ocp-build, but that's for much heavier applications
<flux>
with gnu-make you can use OCamlMakefile
<flux>
which takes off a lot of the pain
matason has quit [Ping timeout: 256 seconds]
ygrek has quit [Ping timeout: 256 seconds]
hay207 has joined #ocaml
mort___1 has quit [Quit: Leaving.]
hay207 has quit [Client Quit]
BitPuffin has joined #ocaml
kdef has joined #ocaml
jbrown has quit [Ping timeout: 256 seconds]
jbrown has joined #ocaml
bitbckt_ is now known as bitbckt
bitbckt has quit [Changing host]
bitbckt has joined #ocaml
kdef has quit [Ping timeout: 276 seconds]
jbrown has quit [Ping timeout: 264 seconds]
ceryo has joined #ocaml
kdef has joined #ocaml
rgrinberg has joined #ocaml
thomasga has joined #ocaml
<Dynasty>
flux is <*> the same as true?
<Dynasty>
in the tags file
ceryo has quit [Ping timeout: 250 seconds]
sh0t has joined #ocaml
mort___ has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
MrScout_ has joined #ocaml
capt_redbeard has quit [Ping timeout: 250 seconds]
ygrek has joined #ocaml
_andre has quit [Quit: leaving]
MrScout has quit [Ping timeout: 248 seconds]
rgrinberg has joined #ocaml
willy__ has left #ocaml ["Leaving"]
_s1n4_ has quit [Quit: leaving]
s1n4 has joined #ocaml
jonludlam has joined #ocaml
thomasga has quit [Quit: Leaving.]
Wandering_Glitch has quit [Changing host]
Wandering_Glitch has joined #ocaml
Wandering_Glitch is now known as WanderingGlitch
martintrojer has quit [Max SendQ exceeded]
buddyholly has quit [Ping timeout: 276 seconds]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
Algebr has quit [Remote host closed the connection]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
sh0t has quit [Ping timeout: 256 seconds]
jbrown has joined #ocaml
SGrondin has left #ocaml [#ocaml]
ollehar1 has joined #ocaml
<ollehar1>
can I make ocamlbuild dump what commands it run?
tane has quit [Quit: Verlassend]
<companion_cube>
look at _build/_log or something
<ollehar1>
thanks
MercurialAlchemi has quit [Ping timeout: 248 seconds]
tjscanlon has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
tjscanlon has joined #ocaml
<ollehar1>
ok, can I make menhir dump what commands it run?
<ollehar1>
wait, -v switch...
tjscanlon has quit [Client Quit]
struktured has joined #ocaml
<companion_cube>
-menhir 'menhir --dump --explain' too
tjscanlon has joined #ocaml
spaceships has joined #ocaml
nullcat_ has joined #ocaml
<ollehar1>
ok
ollehar1 has quit [Quit: ollehar1]
sgnb` has joined #ocaml
sgnb has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 252 seconds]
nullca___ has joined #ocaml
jbrown has quit [Ping timeout: 272 seconds]
chris2 has quit [Ping timeout: 272 seconds]
nullcat_ has quit [Ping timeout: 246 seconds]
jbrown has joined #ocaml
c74d has quit [Remote host closed the connection]
Haudegen has joined #ocaml
chris2 has joined #ocaml
cschneid has quit [Ping timeout: 252 seconds]
MrScout_ has quit [Remote host closed the connection]
c74d has joined #ocaml
nullcat_ has joined #ocaml
xaimus_ has quit [Ping timeout: 256 seconds]
xaimus has joined #ocaml
struktured has quit [Ping timeout: 248 seconds]
nullca___ has quit [Ping timeout: 255 seconds]
cschneid has joined #ocaml
<Kakadu>
Where can I find the docs about plus-syntax like `ocamlc -I +camlp5`? man ocamlc seems not to mention this...