adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
dabd_ has joined #ocaml
dabd_ has quit [Client Quit]
darkf has joined #ocaml
dabd has quit [Ping timeout: 240 seconds]
RagingDave has quit [Quit: Ex-Chat]
ontologiae has quit [Ping timeout: 245 seconds]
groovy2shoes has quit [Quit: Computer has gone to sleep]
yacks has joined #ocaml
adrien_oww has quit [Ping timeout: 245 seconds]
adrien_oww has joined #ocaml
darinmorrison has quit []
ulfdoz_ has joined #ocaml
darinmorrison has joined #ocaml
ulfdoz has quit [Ping timeout: 276 seconds]
ulfdoz_ is now known as ulfdoz
adrien_oww has quit [Ping timeout: 245 seconds]
jamii has quit [Ping timeout: 245 seconds]
invariant has quit [Ping timeout: 252 seconds]
adrien_oww has joined #ocaml
invariant has joined #ocaml
madroach has quit [Ping timeout: 248 seconds]
anderse_ has joined #ocaml
madroach has joined #ocaml
anderse has quit [Ping timeout: 276 seconds]
tac has joined #ocaml
adrien_oww has quit [Ping timeout: 245 seconds]
adrien_oww has joined #ocaml
adrien_oww has quit [Ping timeout: 245 seconds]
adrien_oww has joined #ocaml
pango_ has joined #ocaml
pango has quit [Read error: Operation timed out]
Yoric has joined #ocaml
pango_ is now known as pango
willb has quit [Ping timeout: 248 seconds]
Yoric has quit [Ping timeout: 252 seconds]
willb has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
testcocoon has quit [Ping timeout: 245 seconds]
testcocoon has joined #ocaml
testcocoon has quit [Ping timeout: 260 seconds]
testcocoon has joined #ocaml
testcocoon has quit [Ping timeout: 246 seconds]
spaceships has quit [Quit: leaving]
ahokaomaeha has quit [Ping timeout: 252 seconds]
Yoric has joined #ocaml
adotbrown has joined #ocaml
testcocoon has joined #ocaml
tac has quit [Ping timeout: 245 seconds]
sw2wolf has joined #ocaml
lusory has quit [Read error: Connection reset by peer]
<sw2wolf> i just installed ocaml-4.00.1. how can i install ocaml-findlib for it ?
ahokaomaeha has joined #ocaml
tac has joined #ocaml
sw2wolf has left #ocaml []
mcclurmc has joined #ocaml
creichen_ has joined #ocaml
ahokaomaeha has quit [Quit: It is so fucking annoying hot.]
tac has quit [Quit: Page closed]
creichen_ is now known as creichen
cdidd has quit [Ping timeout: 252 seconds]
answer_42 has joined #ocaml
tane has joined #ocaml
mcclurmc has quit [Ping timeout: 240 seconds]
UncleVasya has joined #ocaml
Kakadu has joined #ocaml
Cyanure has joined #ocaml
UncleVasya has quit [Quit: UncleVasya]
chambart has joined #ocaml
ttamttam has joined #ocaml
adotbrown has quit [Quit: leaving]
vbmithr has quit [Read error: Connection reset by peer]
dsp_ has quit [Quit: leaving]
tane has quit [Remote host closed the connection]
noj has quit [Ping timeout: 256 seconds]
mye has joined #ocaml
noj has joined #ocaml
yacks has quit [Quit: Leaving]
chambart has quit [Ping timeout: 246 seconds]
myx has joined #ocaml
myx has quit [Client Quit]
<Armael> Hi
<Armael> is there copy-on-write with String.sub ?
<adrien> don't think so
<pippijn> no
<Armael> erf
<pippijn> there can't be
<adrien> I mean: I don't think it's going to somehow happen
<adrien> well, what's your workload?
<Armael> okay
<pippijn> ocaml strings are simple byte arrays with a length
<Armael> how would you make a Scanf.sscanf « from a given position » ?
<Armael> in C I would do something like &str[i]
<pippijn> is the string very large?
<pippijn> or are you doing this very often?
<Armael> I am doing this very often yes
<pippijn> on small strings?
<pippijn> or on one big string?
<Armael> on small strings
<pippijn> substrings of small strings?
<Armael> hum yes
<Armael> many times
<pippijn> better not use scanf, then
ttamttam has quit [Remote host closed the connection]
<julm> Armael : how would you make a Scanf.sscanf « from a given position » ? <- Scanf.Scanning.from_function
<Armael> hum
<pippijn> right
<Armael> do you have an example ?
<pippijn> val from_function : (unit -> char) -> in_channel
<Armael> i just don't understand how scanners work
<pippijn> can you imagine?
RagingDave has joined #ocaml
<pippijn> let pos = ref 3 in let chan = Scanf.Scanning.from_function (fun () -> incr pos; str.[!pos]) in ...
<Armael> hum no i don't see
<pippijn> that will start from position 4
<Armael> oh
<pippijn> and then you use Scanf.bscanf
<Armael> I see
<Armael> ok thanks !
groovy2shoes has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
vbmithr has joined #ocaml
vbmithr has quit [Quit: leaving]
vbmithr has joined #ocaml
mcclurmc has joined #ocaml
jamii has joined #ocaml
stephe- has joined #ocaml
tane has joined #ocaml
tane has quit [Remote host closed the connection]
tane has joined #ocaml
karswell has quit [Remote host closed the connection]
chambart has joined #ocaml
bholst has quit [Quit: No Ping reply in 180 seconds.]
bholst has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
karswell has joined #ocaml
darkf has quit [Quit: Leaving]
groovy2shoes has quit [Quit: Computer has gone to sleep]
smondet has joined #ocaml
flux has quit [Remote host closed the connection]
flux has joined #ocaml
ontologiae has joined #ocaml
myx has joined #ocaml
mye has quit [Quit: mye]
ttamttam has joined #ocaml
UncleVasya has joined #ocaml
cdidd has joined #ocaml
jamii has quit [Read error: Operation timed out]
Yoric has joined #ocaml
ttamttam has quit [Ping timeout: 246 seconds]
ttamttam has joined #ocaml
ttamttam has quit [Remote host closed the connection]
ttamttam has joined #ocaml
ttamttam has quit [Ping timeout: 255 seconds]
jamii has joined #ocaml
djcoin has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
tac has joined #ocaml
ahokaomaeha has joined #ocaml
ttamttam has joined #ocaml
Cyanure has quit [Read error: Connection reset by peer]
Cyanure has joined #ocaml
groovy2shoes has joined #ocaml
jamii has quit [Ping timeout: 240 seconds]
mye has joined #ocaml
UncleVasya has quit [Ping timeout: 245 seconds]
anderse_ has quit [Quit: anderse_]
ontologiae has quit [Ping timeout: 252 seconds]
emmanuelux has joined #ocaml
jamii has joined #ocaml
chambart has joined #ocaml
anderse has joined #ocaml
tac has quit [Ping timeout: 245 seconds]
ontologiae has joined #ocaml
ddonna has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
ttamttam has quit [Remote host closed the connection]
Kakadu has quit [Quit: Konversation terminated!]
ddonna has quit [Quit: ninja skill: smoke grenade!]
smondet has quit [Ping timeout: 248 seconds]
werzer23 has joined #ocaml
ahokaomaeha has quit [Ping timeout: 255 seconds]
anderse has quit [Quit: anderse]
chambart has joined #ocaml
andreypopp has quit [Quit: sleep]
Anarchos has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
anderse has joined #ocaml
anderse has quit [Quit: anderse]
answer_42 has quit [Ping timeout: 276 seconds]
tane has quit [Quit: Verlassend]
Cyanure has quit [Remote host closed the connection]
mye has quit [Quit: mye]
sw2wolf has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
<companion_cube> I have a .cma that exports several modules, among which one is called "Types". But it looks like it collides with /usr/lib/ocaml/compiler-libs/toploop.cmi when I try to #load the lib in the toplevel...
<companion_cube> is there any way to prevent such a clash? :/
<adrien> yes
<adrien> a a different name or don't "open" modules
<adrien> and packs
<companion_cube> the problem is, it's the module that contain many fundamental types and is opened everywhere :)
<companion_cube> (for circular dependencies reasons, mostly)
<pippijn> companion_cube: call it CompanionCubeTypes
<pippijn> companion_cube: or put it into a pack called CompanionCube
<pippijn> companion_cube: look at the -for-pack ocamlc option
<pippijn> both of these are what adrien said
<companion_cube> guess I'll have to do that then.... :(
<adrien> you can also: module T = Types
<companion_cube> I do that for other modules :)
<companion_cube> module T = Terms, actually
<companion_cube> but I'll probably rename my module and get over with it
Yoric has quit [Ping timeout: 252 seconds]
<pippijn> what are you making?
<companion_cube> a theorem prover
<pippijn> why?
<companion_cube> for research purposes
<Anarchos> companion_cube intuitionnist logic with curry howard ? Or topos based ?
<companion_cube> (also, because it's so cool)
<companion_cube> Anarchos: first order logic with equality
<companion_cube> not intuitionnist
<pippijn> does your project have a website?
<Anarchos> companion_cube i am working on a first order logic (WITH axiom schemata) verifier. So you have to write the demo, but it formally verifies it for you
<companion_cube> Anarchos: what is the format of the proof?
<Anarchos> companion_cube sequence of first order formulas
<companion_cube> Anarchos: sequences? or sequents?
mcclurmc has joined #ocaml
darinmorrison has quit []
jamii has quit [Ping timeout: 252 seconds]
<pippijn> companion_cube: it's interesting
<pippijn> I may want to use this in a compiler project of mine
<companion_cube> really? be careful, the problem is undecidable
<companion_cube> but it would be great :)
ahokaomaeha has joined #ocaml
adotbrown has joined #ocaml
oriba has joined #ocaml
<Anarchos> pippijn how can you use a prover in a compiler ?
djcoin has quit [Quit: WeeChat 0.3.9.2]
fraggle_ has quit [Read error: Connection reset by peer]
groovy2shoes has quit [Quit: Computer has gone to sleep]
fraggle_ has joined #ocaml
leoncamel has quit [Ping timeout: 252 seconds]
ahokaomaeha has quit [Ping timeout: 246 seconds]
mcclurmc has quit [Ping timeout: 245 seconds]
ned has joined #ocaml
RagingDave has quit [Quit: Ex-Chat]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
ahokaomaeha has joined #ocaml
gustav_ has joined #ocaml
darkf has joined #ocaml
travisbrady has joined #ocaml
travisbrady has quit [Client Quit]