zolk3ri has quit [Read error: Connection reset by peer]
zolk3ri has joined #ocaml
oriba has quit [Quit: oriba]
Progster has joined #ocaml
err404 has quit [Remote host closed the connection]
zolk3ri has quit [Quit: Lost terminal]
ulfdoz has quit [Ping timeout: 255 seconds]
ulfdoz has joined #ocaml
tac-tics[home] has joined #ocaml
alxbl has quit [Ping timeout: 248 seconds]
emmanuel__ has quit [Ping timeout: 265 seconds]
alxbl has joined #ocaml
flabron has quit [Ping timeout: 252 seconds]
destrius has joined #ocaml
tactics_[home] has joined #ocaml
fantasticsid has joined #ocaml
tac-tics[home] has quit [Ping timeout: 246 seconds]
j2d2j2d2 has quit [Read error: Operation timed out]
j2d2j2d2 has joined #ocaml
NaCl has quit [Remote host closed the connection]
alxbl has quit [Changing host]
alxbl has joined #ocaml
tbrady has quit [Quit: tbrady]
ankit9 has joined #ocaml
tbrady has joined #ocaml
ankit9 has quit [Read error: Connection reset by peer]
Progster has quit [Ping timeout: 260 seconds]
rwmjones has quit [*.net *.split]
rwmjones has joined #ocaml
ankit9 has joined #ocaml
rwmjones has quit [*.net *.split]
rwmjones has joined #ocaml
ankit9 has quit [Quit: Leaving]
Submarine has joined #ocaml
tbrady has quit [Quit: tbrady]
fantasticsid has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
fantasticsid has joined #ocaml
ankit9 has joined #ocaml
edwin has joined #ocaml
edwin1 has joined #ocaml
edwin1 has quit [Client Quit]
ftrvxmtrx has joined #ocaml
pango is now known as pangoafk
osa1 has joined #ocaml
tactics_[home] has quit [Read error: Connection reset by peer]
djcoin has joined #ocaml
Sablier has joined #ocaml
Sablier has quit [Read error: Connection reset by peer]
Sablier has joined #ocaml
sepp2k has joined #ocaml
err404 has joined #ocaml
Submarine has quit [Ping timeout: 240 seconds]
silver has joined #ocaml
thomasga has joined #ocaml
mika1 has joined #ocaml
osa1 has quit [Quit: Konversation terminated!]
sys3nt3r has joined #ocaml
ocp has joined #ocaml
sys3nt3r has left #ocaml []
osa1 has joined #ocaml
osa1 has quit [Client Quit]
ankit9 has quit [Remote host closed the connection]
Onnedwarf has joined #ocaml
Onnedwarf has left #ocaml []
netrino has joined #ocaml
Progster has joined #ocaml
beckerb has joined #ocaml
Hussaind has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
flabron has joined #ocaml
Hussaind has left #ocaml []
flabron has quit [Ping timeout: 248 seconds]
hongboz` has joined #ocaml
hongboz has quit [Remote host closed the connection]
slash^ has joined #ocaml
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
Kakadu has joined #ocaml
destrius has quit [Quit: Leaving.]
Yoric has quit [Ping timeout: 264 seconds]
Snark has joined #ocaml
flabron has joined #ocaml
tmaedaZ has quit [Ping timeout: 264 seconds]
tmaedaZ has joined #ocaml
gnuvince has quit [Ping timeout: 245 seconds]
netrino_ has joined #ocaml
_andre has joined #ocaml
netrino has quit [Ping timeout: 245 seconds]
tmaedaZ has quit [Ping timeout: 264 seconds]
tmaedaZ has joined #ocaml
fraggle_ has joined #ocaml
tmaedaZ has quit [Ping timeout: 252 seconds]
tmaedaZ has joined #ocaml
Progster has quit [Ping timeout: 245 seconds]
gnuvince has joined #ocaml
Progster has joined #ocaml
cago has joined #ocaml
Yoric has joined #ocaml
flabron has quit [Quit: leaving]
emmanuel__ has joined #ocaml
ski has quit [Ping timeout: 240 seconds]
ski has joined #ocaml
NaCl has joined #ocaml
Progster has quit [Ping timeout: 244 seconds]
Progster has joined #ocaml
zolk3ri has joined #ocaml
fantasti` has joined #ocaml
fantasticsid has quit [Ping timeout: 245 seconds]
cago has quit [Quit: Leaving.]
cago has joined #ocaml
robthebob has joined #ocaml
ocp has quit [Ping timeout: 245 seconds]
zolk3ri has quit [Ping timeout: 264 seconds]
fantasti` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
cago has quit [Ping timeout: 245 seconds]
diego_diego has joined #ocaml
zolk3ri has joined #ocaml
diego_diego has quit [Quit: diego_diego]
diego_diego has joined #ocaml
tufisi has quit [Ping timeout: 246 seconds]
osa1 has joined #ocaml
BiDOrD_ has joined #ocaml
BiDOrD has quit [Ping timeout: 246 seconds]
emmanuel__ has quit [Read error: Connection reset by peer]
emmanuelux has joined #ocaml
diego_diego_ has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
diego_diego__ has joined #ocaml
diego_diego has quit [Ping timeout: 244 seconds]
diego_diego__ is now known as diego_diego
diego_diego_ has quit [Ping timeout: 246 seconds]
diego_diego_ has joined #ocaml
diego_diego has quit [Ping timeout: 244 seconds]
diego_diego_ is now known as diego_diego
emmanuelux has quit [Ping timeout: 252 seconds]
ocp has joined #ocaml
flabron_ has joined #ocaml
Kakadu has quit [Quit: Page closed]
Sablier has quit [Quit: Kat]
mika1 has quit [Quit: Leaving.]
tac-tics has quit [Quit: Page closed]
tac-tics has joined #ocaml
silver has quit [Remote host closed the connection]
diego_diego has left #ocaml []
beckerb has quit [Quit: Konversation terminated!]
Sablier has joined #ocaml
Kakadu has joined #ocaml
thomasga has quit [Ping timeout: 244 seconds]
Submarine has quit [Ping timeout: 252 seconds]
Yoric has quit [Ping timeout: 255 seconds]
djcoin has quit [Quit: WeeChat 0.3.2]
ocp has left #ocaml []
Progster has quit [Ping timeout: 240 seconds]
pangoafk is now known as pango
dsheets has quit [Ping timeout: 244 seconds]
osa1 has quit [Ping timeout: 246 seconds]
dsheets has joined #ocaml
Xizor has joined #ocaml
dsheets has quit [Ping timeout: 244 seconds]
ankit9 has joined #ocaml
Progster has joined #ocaml
`micro is now known as Guest50988
zolk3ri has quit [Quit: leaving]
ankit9 has quit [Ping timeout: 246 seconds]
Submarine has joined #ocaml
Progster has quit [Ping timeout: 244 seconds]
dsheets has joined #ocaml
ankit9 has joined #ocaml
flabron_ has quit [Ping timeout: 264 seconds]
Progster has joined #ocaml
ankit9 has quit [Ping timeout: 246 seconds]
diego_diego has joined #ocaml
ankit9 has joined #ocaml
_andre has quit [Ping timeout: 246 seconds]
_andre has joined #ocaml
diego_diego has quit [Quit: diego_diego]
diego_diego has joined #ocaml
<wieczyk>
Hi, does anyone know typerex?
edwin has left #ocaml []
<wieczyk>
I have simple project where sources are in './src' directory and the Makefile file is in '.' directory. When I open file 'src/something.ml' in emacs then it changes current working directory to 'src'. When I type C-c C-c (compile in TypeRex)
Snark has quit [Quit: Quitte]
<wieczyk>
then i tries to run make in current working directory, but I want to run makefile at the top directory. I have the .typerex file in '.' but it does not help.
sepp2k has quit [Read error: Connection reset by peer]
nimred_ has quit [Quit: leaving]
nimred has joined #ocaml
tic-tacs has joined #ocaml
tac-tics has quit [Disconnected by services]
tic-tacs is now known as tac-tics
tac-tics has left #ocaml []
_andre has left #ocaml []
slash^ has quit [Quit: Lost terminal]
eni has joined #ocaml
Xizor has quit [Ping timeout: 260 seconds]
Yoric has joined #ocaml
emmanuelux has joined #ocaml
diego_diego has left #ocaml []
Kakadu has quit [Quit: Konversation terminated!]
nicoo has joined #ocaml
<nicoo>
Hi
gnuvince has quit [Ping timeout: 246 seconds]
<mehdid>
wieczyk: you want to add "-C .." to make's invocation?
<mehdid>
aiui, typerex will not use the fact that .typerex file is in another dir when running the compile command
<mehdid>
(as the build system can be quite complicated and there is really no need for the tool to be smarter than necessary)
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
Submarine has quit [Remote host closed the connection]
eni has quit [Ping timeout: 250 seconds]
Yoric has quit [Ping timeout: 264 seconds]
flabron has joined #ocaml
struktured has joined #ocaml
flabron has quit [Ping timeout: 246 seconds]
<wieczyk>
mehdid: thanks
<wieczyk>
Hm, is there something like ,,selective'' opening module? For example "open Array (array)" (import only type array from module) ?
<_habnabit>
type array = Array.t
<_habnabit>
or 'a array probably
<_habnabit>
(there isn't anything to do that I'm aware of)
Sablier has quit [Quit: Kat]
err404 has quit [Read error: Connection reset by peer]
Progster has quit [Ping timeout: 244 seconds]
jonathandav has quit [Ping timeout: 260 seconds]
jonathandav has joined #ocaml
<wieczyk>
Thanks.
<wieczyk>
How to open MLast module? I have find tool 'automli' which can automaticly generate MLI fro ML files, but it cannot open MLast module.