whoman has quit [Remote host closed the connection]
kakadu has quit [Quit: Konversation terminated!]
kakadu has joined #ocaml
TarVanimelde has joined #ocaml
baboum has quit [Quit: WeeChat 2.0.1]
TarVanimelde has quit [Quit: TarVanimelde]
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
<jpdeplaix>
reynir: how much time did that take ? Is the switch there and working ?
cuicui has quit [Remote host closed the connection]
<reynir>
jpdeplaix: not unusally long, I think, but I didn't monitor it. I think it's working, although the package I wanted to install didn't compile due to a version constraint that was handled by the build system (!?)
<reynir>
(I should probably have reported that on either opam-repo or stog)
silver has joined #ocaml
letoh has quit [Ping timeout: 252 seconds]
<reynir>
((I need a nap))
barcabuona has joined #ocaml
letoh has joined #ocaml
<orbifx[m]>
companion_cube, jpdeplaix I meant, can someone using function declaration notation, describe a type? Or are types axiomatic to declaring a function?
<jpdeplaix>
orbifx[m]: oh you mean like this « type ('a, 'b) (->) = something » ? <- this you can't
<jpdeplaix>
arrows are axioms
Denommus has joined #ocaml
FreeBirdLjj has joined #ocaml
<orbifx[m]>
yeah
FreeBirdLjj has quit [Client Quit]
<orbifx[m]>
and also writing: a -> b -> c where c is a type made of some structure of a, b
zpe has joined #ocaml
inr has quit [Quit: WeeChat 1.9.1]
inr has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
cuicui has joined #ocaml
nomicflux has joined #ocaml
cuicui has quit [Quit: leaving]
Haudegen has joined #ocaml
rntz has joined #ocaml
nomicflux has quit [Quit: nomicflux]
jbrown has joined #ocaml
zolk3ri has quit [Ping timeout: 256 seconds]
zolk3ri has joined #ocaml
mbuf has quit [Quit: Leaving]
nullifidian_ has joined #ocaml
freyr has quit [Remote host closed the connection]
SpaceSheep has quit [Quit: WeeChat 1.6]
SpaceSheep has joined #ocaml
SpaceSheep has quit [Client Quit]
nullifidian__ has quit [Ping timeout: 268 seconds]
SpaceSheep has joined #ocaml
jesse_m has joined #ocaml
shinnya has joined #ocaml
sh0t has joined #ocaml
johnelse is now known as johnel_away
johnel_away is now known as johnelse
MercurialAlchemi has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
ollehar has quit [Read error: Connection reset by peer]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
BitPuffin has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
barcabuona has quit [Quit: WeeChat 2.0.1]
<rntz>
Say I have a project with multiple ocaml files (including perhaps some .mll and .mly lexer/parser files). What's the easiest way to load the entire project into a repl/toplevel session? (in particular, one running under emacs)
sepp2k has joined #ocaml
zpe has quit [Remote host closed the connection]
xfbs has joined #ocaml
jao has quit [Ping timeout: 256 seconds]
mk9 has quit [Ping timeout: 256 seconds]
<rgrinberg>
rntz: if you're using jbuilder then $ jbuilder utop src_dir should work
<rgrinberg>
it only works on library stanzas though
BW___ has quit [Quit: Page closed]
shinnya has quit [Ping timeout: 248 seconds]
<rntz>
rgrinberg: that looks like it starts a utop session, rather than loading files into an existing one. is there a way to load into an existing repl?
<rntz>
rgrinberg: also, what are library stanzas?
<rntz>
(I'm pretty new to OCaml, especially to OCaml tooling. I've used SML before, so a lot of the actual language is familiar to me.)
<rntz>
(I am not using jbuilder, or any particular build system, yet.)
mk9 has joined #ocaml
Jesin has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
<rgrinberg>
Yes this will start a new utop session with your project loaded
<rgrinberg>
A library stanza is something defined with (library ...) in jbuilder
sepp2k has quit [Quit: Leaving.]
AltGr has left #ocaml [#ocaml]
jesse_m has quit [Ping timeout: 276 seconds]
kakadu has quit [Quit: Konversation terminated!]
jbrown has quit [Ping timeout: 240 seconds]
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
jnavila has joined #ocaml
Jesin has quit [Quit: Leaving]
jao has joined #ocaml
Denommus has quit [Remote host closed the connection]
Haudegen has joined #ocaml
jimmyrcom has joined #ocaml
jbrown has joined #ocaml
nullifidian_ is now known as nullifidian
jnavila has quit [Ping timeout: 256 seconds]
jnavila has joined #ocaml
kakadu has joined #ocaml
mk9 has quit [Quit: mk9]
jimmyrcom has quit [Ping timeout: 240 seconds]
dogui has quit [Ping timeout: 256 seconds]
dogui has joined #ocaml
Jesin has joined #ocaml
Jesin has quit [Remote host closed the connection]
Algebr has joined #ocaml
slash^ has joined #ocaml
jimmyrcom has joined #ocaml
dtornabene has joined #ocaml
jimmyrcom has quit [Max SendQ exceeded]
tane has joined #ocaml
jimmyrcom has joined #ocaml
jimmyrcom has quit [Max SendQ exceeded]
jimmyrcom has joined #ocaml
jbrown has quit [Ping timeout: 260 seconds]
Algebr` has joined #ocaml
Algebr has quit [Ping timeout: 276 seconds]
Algebr` has quit [Remote host closed the connection]
Algebr` has joined #ocaml
Algebr` has quit [Ping timeout: 260 seconds]
BitPuffin has quit [Remote host closed the connection]
pippijn has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
_andre has quit [Quit: leaving]
zolk3ri_ has joined #ocaml
zolk3ri has quit [Ping timeout: 264 seconds]
slash^ has quit [Read error: Connection reset by peer]
pippijn has joined #ocaml
hnrgrgr has joined #ocaml
moei has quit [Read error: Connection reset by peer]
moei has joined #ocaml
Haudegen has quit [Remote host closed the connection]
pippijn_ has joined #ocaml
argent_smith has quit [Quit: Leaving.]
pmetzger has joined #ocaml
gpietro has joined #ocaml
jnavila has quit [Ping timeout: 260 seconds]
pippijn has quit [Remote host closed the connection]
sh0t has quit [Read error: Connection reset by peer]
BitPuffin has quit [Remote host closed the connection]
jnavila has joined #ocaml
Haudegen has joined #ocaml
jnavila has quit [Remote host closed the connection]
spew has joined #ocaml
spew has quit [Ping timeout: 256 seconds]
gpietro has quit [Ping timeout: 276 seconds]
pippijn has joined #ocaml
pippijn_ has quit [Quit: Segmentation fault]
spew has joined #ocaml
zolk3ri_ has quit [Remote host closed the connection]
jao has quit [Ping timeout: 260 seconds]
bartholin has quit [Ping timeout: 252 seconds]
jao has joined #ocaml
dedgrant_ has quit [Read error: Connection reset by peer]
kakadu has quit [Remote host closed the connection]
spew has quit [Ping timeout: 256 seconds]
moei has quit [Quit: Leaving...]
tane has quit [Remote host closed the connection]
dedgrant has joined #ocaml
jao has quit [Ping timeout: 248 seconds]
dtornabene_ has joined #ocaml
dtornabene has quit [Ping timeout: 248 seconds]
silver has quit [Read error: Connection reset by peer]
silver has joined #ocaml
xfbs has quit []
dtornabene_ has quit [Read error: Connection reset by peer]