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 :)
<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?