00:01
badon has quit [Ping timeout: 252 seconds]
00:03
<
grantwu >
Never mind, there were some instructions I missed
00:05
badon has joined #ocaml
00:16
contempt has quit [Disconnected by services]
00:16
contempt has joined #ocaml
00:19
sepp2k has quit [Quit: Leaving.]
00:34
madroach has quit [Ping timeout: 260 seconds]
00:35
madroach has joined #ocaml
00:44
yegods_ has quit []
00:44
coody has joined #ocaml
00:45
yegods has joined #ocaml
00:46
aphprentice has joined #ocaml
00:50
grantwu has left #ocaml ["WeeChat 1.0.1"]
00:53
badon_ has joined #ocaml
00:53
badon has quit [Disconnected by services]
00:53
badon_ is now known as badon
00:58
yegods has quit [Remote host closed the connection]
00:58
^elyse^ has quit [Read error: Connection reset by peer]
01:04
^elyse^ has joined #ocaml
01:08
yegods has joined #ocaml
01:09
yegods has quit [Remote host closed the connection]
01:10
yegods has joined #ocaml
01:13
Guest38 has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
01:20
yegods has quit [Remote host closed the connection]
01:23
fluter has quit [Ping timeout: 240 seconds]
01:23
Haudegen has quit [Ping timeout: 252 seconds]
01:27
fluter has joined #ocaml
01:31
ollehar has quit [Quit: ollehar]
01:36
Haudegen has joined #ocaml
01:37
lobo has quit [Quit: zleep]
01:43
yegods has joined #ocaml
01:44
pyx has quit [Quit: WeeChat 1.3]
01:45
TBads has joined #ocaml
01:48
fluter has quit [Ping timeout: 246 seconds]
01:52
fluter has joined #ocaml
01:54
ryanartecona has joined #ocaml
01:58
fluter has quit [Ping timeout: 240 seconds]
02:00
ryanartecona has quit [Quit: ryanartecona]
02:05
jeffmo has quit [Quit: jeffmo]
02:07
yegods has quit [Remote host closed the connection]
02:08
pyon has quit [Quit: fix config]
02:09
fluter has joined #ocaml
02:17
badon has quit [Quit: Leaving]
02:18
cow-orke1 has joined #ocaml
02:18
papy__ has joined #ocaml
02:18
jerith_ has joined #ocaml
02:18
Leonidas_ has joined #ocaml
02:19
GooseYAr1 has joined #ocaml
02:19
GooseYArd has quit [Write error: Broken pipe]
02:19
papy_ has quit [Write error: Broken pipe]
02:19
jrslepak has quit [Write error: Broken pipe]
02:19
cow-orker has quit [Write error: Broken pipe]
02:19
jerith has quit [Remote host closed the connection]
02:19
Leonidas has quit [Remote host closed the connection]
02:19
jrslepak_ has joined #ocaml
02:19
TBads has quit [Quit: WeeChat 1.3]
02:31
larhat has quit [Quit: Leaving.]
02:31
Leonidas_ is now known as Leonidas
02:34
NingaLeaf has joined #ocaml
02:35
pyon has joined #ocaml
02:36
^elyse^ has quit [Quit: Leaving...]
02:37
python476 has joined #ocaml
02:37
JacobEdelman has quit [Quit: Connection closed for inactivity]
02:40
fluter has quit [Ping timeout: 264 seconds]
02:45
ryanartecona has joined #ocaml
02:48
fluter has joined #ocaml
02:49
badon has joined #ocaml
02:59
jrslepak_ is now known as jrslepak
02:59
raphaelss has joined #ocaml
03:01
JacobEdelman has joined #ocaml
03:10
ryanartecona has quit [Quit: ryanartecona]
03:13
<
Maelan >
okay, so i had trouble mixing Scanf.fscanf & input_line
03:13
<
Maelan >
the first scanf behaved just as expected
03:14
<
Maelan >
then the input_line read the file from a weird position, not the ending point of the scan nor the start of file
03:14
<
Maelan >
then the second scanf resumed from the ending point of the first scanf
03:15
<
Maelan >
i thought there were synchronized?
03:16
<
Maelan >
and anyway, i do not understand the behaviour of input_line here
03:22
<
Maelan >
it starts at position 1029, looks like 1024, maybe the length of some scanf’s internal buffer? so scanf would take 1024 bytes from stdin, thus moving the file cursor, and keep them in its own buffer which is not known by functions such as input_line?
03:28
python476 has quit [Ping timeout: 246 seconds]
03:44
ismaelga has joined #ocaml
03:53
contempt has quit [Disconnected by services]
03:53
contempt has joined #ocaml
03:53
Bahman has joined #ocaml
03:56
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
03:56
nullcatxxx_ has joined #ocaml
03:56
nullcatxxx_ has quit [Client Quit]
04:14
raphaelss has quit [Read error: Connection reset by peer]
04:16
nullcatxxx_ has joined #ocaml
04:20
ismaelga has quit [Remote host closed the connection]
04:20
mcmillhj has quit [Quit: Lost terminal]
04:26
xaimus has quit [Remote host closed the connection]
04:30
ygrek has quit [Ping timeout: 260 seconds]
04:33
nullcatx_ has joined #ocaml
04:33
nullcatxxx_ has quit [Ping timeout: 264 seconds]
04:35
psy_ has quit [Read error: Connection reset by peer]
04:35
shinnya has quit [Ping timeout: 264 seconds]
04:48
pierpa` has joined #ocaml
04:53
ljs has joined #ocaml
04:59
tmtwd_ has joined #ocaml
05:00
meiji11 has joined #ocaml
05:00
tmtwd has quit [Read error: Connection reset by peer]
05:02
mac10688 has quit [Ping timeout: 246 seconds]
05:03
tmtwd_ has quit [Remote host closed the connection]
05:13
native_killer has joined #ocaml
05:14
tmtwd has joined #ocaml
05:14
kevinch has quit [Quit: Computer has gone to sleep.]
05:15
fluter has quit [Ping timeout: 246 seconds]
05:16
fluter has joined #ocaml
05:16
kevinch has joined #ocaml
05:24
kevinch has quit [Quit: Computer has gone to sleep.]
05:25
nullcatxxx_ has joined #ocaml
05:27
nullcatx_ has quit [Ping timeout: 252 seconds]
05:36
darkf has joined #ocaml
05:43
ygrek has joined #ocaml
05:44
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
05:44
xaimus has joined #ocaml
05:51
native_killer has quit [Ping timeout: 246 seconds]
05:56
cyraxjoe_ has joined #ocaml
05:57
cyraxjoe has quit [Ping timeout: 276 seconds]
05:59
igoroliveira has quit [Quit: Connection closed for inactivity]
06:12
kolko has joined #ocaml
06:12
slash^ has joined #ocaml
06:37
JacobEdelman has quit [Quit: Connection closed for inactivity]
06:52
<
flux >
sounds strange. I would certainly expect them to be synchronized as well, given they work on the same object.
06:52
<
flux >
maelan, I suppose you don't start reading in the Scanf.fscanf callback?
07:01
BitPuffin|osx has quit [Ping timeout: 272 seconds]
07:01
tmtwd has quit [Ping timeout: 255 seconds]
07:04
tmtwd has joined #ocaml
07:21
teknozulu has quit [Ping timeout: 244 seconds]
08:01
ljs has quit [Quit: Be back later ...]
08:02
MercurialAlchemi has joined #ocaml
08:07
Bahman_ has joined #ocaml
08:10
Bahman has quit [Ping timeout: 255 seconds]
08:16
tmtwd has quit [Ping timeout: 240 seconds]
08:20
ski has quit [Ping timeout: 260 seconds]
08:20
Mandus has quit [Ping timeout: 260 seconds]
08:20
Mandus has joined #ocaml
08:22
ski has joined #ocaml
08:22
Fullma has quit [Quit: Fullma]
08:30
darkf has quit [Read error: Connection reset by peer]
08:31
darkf has joined #ocaml
08:38
zv has quit [Remote host closed the connection]
08:41
coody has quit [Quit: Connection closed for inactivity]
09:00
meiji11 has quit [Read error: Connection reset by peer]
09:06
Kakadu has joined #ocaml
09:11
larhat has joined #ocaml
09:39
sh0t has joined #ocaml
09:54
Snark has quit [Ping timeout: 260 seconds]
09:55
Snark has joined #ocaml
10:05
aaronelkins has joined #ocaml
10:24
orbifx has joined #ocaml
10:25
sh0t has quit [Ping timeout: 250 seconds]
10:25
sh0t has joined #ocaml
10:28
<
aaronelkins >
Hi, do we have a irc command (like !mdn Array for Javascript) to show the docs about OCaml in this room?
10:49
kolko has joined #ocaml
10:59
<
pierpa` >
sigh. we have been steamrolled by javascript
11:04
<
dmbaturin >
aaronelkins: !anything is not an IRC command. It's a bot command. Bot commands vary among implementations and configurations.
11:05
<
dmbaturin >
This channel has no service bots, apart from _whitelogger who, like an NSA officer, says nothing and records everything silently.
11:30
MercurialAlchemi has quit [Ping timeout: 260 seconds]
11:31
MercurialAlchemi has joined #ocaml
11:32
zpe_ has joined #ocaml
11:33
<
aaronelkins >
dmbaturin: Yep
11:34
Bahman_ has quit [Ping timeout: 255 seconds]
11:36
sh0t has quit [Ping timeout: 276 seconds]
11:50
mort___ has joined #ocaml
11:51
dsheets has joined #ocaml
11:54
Haudegen has quit [Ping timeout: 272 seconds]
11:55
yegods has joined #ocaml
12:06
Haudegen has joined #ocaml
12:18
shinnya has joined #ocaml
12:44
Simn has joined #ocaml
12:57
dsheets has quit [Ping timeout: 272 seconds]
12:57
ygrek has quit [Ping timeout: 255 seconds]
13:27
larhat1 has joined #ocaml
13:27
larhat has quit [Read error: Connection reset by peer]
13:40
rand has joined #ocaml
13:41
Bahman has joined #ocaml
13:43
larhat1 has quit [Quit: Leaving.]
13:43
<
Maelan >
flux, i do not read in the callback
13:45
<
Maelan >
(i did in my actual problematic code, then i thought it could possibly be the source of trouble so i removed it, with no observable change)
13:46
<
Maelan >
(by the way, input_line starts reading at byte 1025, not 1029, so it’s definitively a story of scanf keeping for itself the 1024 first bytes)
13:46
orbifx2 has joined #ocaml
13:49
orbifx has quit [Ping timeout: 240 seconds]
13:50
python476 has joined #ocaml
13:55
nicoo has quit [Remote host closed the connection]
13:55
nicoo has joined #ocaml
13:58
dsheets has joined #ocaml
14:00
mort___ has quit [Quit: Leaving.]
14:05
dsheets has quit [Ping timeout: 272 seconds]
14:11
^elyse^ has joined #ocaml
14:11
^elyse^ has quit [Remote host closed the connection]
14:18
yegods has quit [Remote host closed the connection]
14:19
yegods has joined #ocaml
14:20
mort___ has joined #ocaml
14:21
pyon is now known as nyon
14:21
mac10688 has joined #ocaml
14:27
ousado has joined #ocaml
14:27
ousado has quit [Changing host]
14:27
ousado has joined #ocaml
14:33
<
Maelan >
ow, nevermind, i finally found it documented in the manual
14:33
<
Maelan >
> Warning: since all formatted input functions operate from a formatted input channel, be aware that each fscanf invocation will operate with a formatted input channel reading from the given channel. This extra level of bufferization can lead to a strange scanning behaviour if you use low level primitives on the channel (reading characters, seeking the reading position, and so on).
14:34
<
Maelan >
> As a consequence, never mix direct low level reading and high level scanning from the same regular input channel.
14:34
<
Maelan >
i just missed that paragraph when i searched around :-(
14:36
<
Maelan >
an entirely unrelated question:
14:36
aaronelkins has quit [Quit: aaronelkins]
14:38
<
Maelan >
given a recursive function like this: let rec f = function 0 -> [] | n -> n :: f (n-1)
14:40
<
Maelan >
would it be possible for the compiler to optimize it into a recursive function
14:41
psy_ has joined #ocaml
14:43
<
Maelan >
which first allocates the cell Cons(n,X) with X initialized to e·g· the null pointer (for the g·c·), then calls itself recursively, passing to the recursive call the memory location (the address of X) where to put its return value
14:45
<
Maelan >
(of course, i meant “optimize it into a *tail*-recursive function)
14:47
zpe_ has quit [Remote host closed the connection]
14:48
zpe_ has joined #ocaml
14:48
<
zozozo >
Maelan: there is a github pull request doing exactly that
14:50
FreeBirdLjj has joined #ocaml
14:52
zpe_ has quit [Ping timeout: 264 seconds]
14:52
<
pierpa` >
why he requires the annotation?
14:53
<
pierpa` >
ah, ok, I hadn't read the cons part yet
15:00
oli2_ has joined #ocaml
15:03
monod has joined #ocaml
15:03
<
Maelan >
oh zozozo, thanks :-
15:10
rand has quit [Ping timeout: 246 seconds]
15:10
monod has quit [Quit: Sto andando via]
15:18
johnelse has quit [Ping timeout: 246 seconds]
15:20
johnelse has joined #ocaml
15:21
johnelse is now known as Guest36997
15:28
<
mort___ >
hm— got a strange opam behaviour — i appear to have a switch that's listed but can't be removed because it's not being passed to the solver
15:28
<
mort___ >
any opam experts around?
15:31
zpe_ has joined #ocaml
15:32
native_killer has joined #ocaml
15:36
zpe_ has quit [Remote host closed the connection]
15:37
zpe_ has joined #ocaml
15:40
dsheets has joined #ocaml
15:41
zpe_ has quit [Ping timeout: 240 seconds]
15:42
^elyse^ has joined #ocaml
15:43
yegods_ has joined #ocaml
15:43
yegods has quit [Read error: Connection reset by peer]
15:44
ryanartecona has joined #ocaml
15:46
^elyse^ has quit [Client Quit]
15:46
dsheets has quit [Ping timeout: 272 seconds]
15:54
larhat has joined #ocaml
15:54
pierpa` has quit [Ping timeout: 244 seconds]
15:57
rand has joined #ocaml
15:57
mfp has quit [Read error: Connection reset by peer]
15:57
malc_ has joined #ocaml
16:05
ismaelga has joined #ocaml
16:12
mfp has joined #ocaml
16:17
moei has quit [Quit: Leaving...]
16:21
pootler has quit [Ping timeout: 246 seconds]
16:22
aphprentice has quit [Ping timeout: 264 seconds]
16:23
zpe has joined #ocaml
16:23
sz0 has quit [Ping timeout: 250 seconds]
16:23
ncthom91 has joined #ocaml
16:23
zpe has quit [Remote host closed the connection]
16:24
zpe has joined #ocaml
16:26
shinnya has quit [Ping timeout: 250 seconds]
16:28
zpe has quit [Ping timeout: 244 seconds]
16:35
<
mort___ >
hm. ~/.opam appears to have gotten very wedged indeed. time to mv it away and start again… :/
16:37
divyanshu has joined #ocaml
16:38
<
Drup >
you should be able to just nuke the problematic switch directory
16:39
<
Drup >
(and take a look inside .opam/aliases
16:40
<
mort___ >
it had started telling me things like
16:40
<
mort___ >
: mort@greyjay:mrt#master= $; opam install ssl
16:40
<
mort___ >
The following actions will be performed:
16:40
<
mort___ >
∗ install ssl 0.5.0
16:40
<
mort___ >
=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
16:40
<
mort___ >
[ERROR] The sources of the following couldn't be obtained, aborting:
16:40
<
mort___ >
- ssl.0.5.0
16:40
<
mort___ >
(This may be fixed by running 'opam update')
16:40
<
mort___ >
: mort@greyjay:mrt#master= $; opam update
16:40
<
mort___ >
=-=- Updating package repositories =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
16:40
<
mort___ >
[upstream-git] git://github.com/ocaml/opam-repository already up-to-date
16:40
<
mort___ >
Updates available for system, apply them with 'opam upgrade':
16:40
<
mort___ >
===== ↻ 1 =====
16:41
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
16:41
<
mort___ >
Drup: yes, opam/aliases did have teh alias recorded for the switch in question
16:42
ncthom91 has joined #ocaml
16:44
zpe has joined #ocaml
16:44
<
mort___ >
hm. joy. `opam install ssl` results in unmet system dependencies for which depext reports nothing
16:51
^elyse^ has joined #ocaml
16:51
pootler has joined #ocaml
16:51
sz0 has joined #ocaml
16:52
aphprentice has joined #ocaml
16:52
mort___ has quit [Quit: Leaving.]
16:58
^elyse^ has quit [Quit: Leaving]
17:14
BitPuffin|osx has joined #ocaml
17:16
larhat has quit [Quit: Leaving.]
17:33
nyon is now known as pyon
17:34
tmtwd has joined #ocaml
17:42
groovy3shoes has joined #ocaml
17:44
aphprentice has quit [Ping timeout: 240 seconds]
17:44
^elyse^ has joined #ocaml
17:44
pootler has quit [Ping timeout: 240 seconds]
17:44
lambdahands has quit [Ping timeout: 240 seconds]
17:44
jun_ has quit [Ping timeout: 240 seconds]
17:45
jun_ has joined #ocaml
17:45
darkf has quit [Ping timeout: 240 seconds]
17:45
Kakadu has quit [Quit: Page closed]
17:45
yegods_ has quit [Remote host closed the connection]
17:45
groovy2shoes has quit [Ping timeout: 240 seconds]
17:46
aphprentice has joined #ocaml
17:47
pootler has joined #ocaml
17:47
lambdahands has joined #ocaml
17:49
kevinch has joined #ocaml
17:50
^elyse^ has quit [Quit: Leaving]
17:53
^elyse^ has joined #ocaml
17:58
shinnya has joined #ocaml
17:58
ryanartecona has quit [Quit: ryanartecona]
17:59
larhat has joined #ocaml
18:05
ljs has joined #ocaml
18:07
pacemkr has joined #ocaml
18:10
tmtwd has quit [Ping timeout: 240 seconds]
18:12
^elyse^ has quit [Quit: Leaving]
18:19
pacemkr has quit [Quit: Leaving.]
18:19
python476 has quit [Quit: Page closed]
18:21
python476 has joined #ocaml
18:23
groovy3shoes is now known as groovy2shoes
18:28
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
18:34
Kakadu has joined #ocaml
18:35
cyraxjoe_ has quit [Read error: Connection reset by peer]
18:36
native_killer has quit [Quit: Leaving]
18:37
cyraxjoe has joined #ocaml
18:49
averell has joined #ocaml
19:03
hubertus21 has joined #ocaml
19:05
FreeBirdLjj has quit [Remote host closed the connection]
19:12
kevinch has quit [Quit: Computer has gone to sleep.]
19:13
nuuit has joined #ocaml
19:16
JacobEdelman has joined #ocaml
19:21
ljs has quit [Quit: Be back later ...]
19:23
ygrek has joined #ocaml
19:25
tane has joined #ocaml
19:26
kevinch has joined #ocaml
19:45
ismael__ has joined #ocaml
19:46
python476 has quit [Quit: Page closed]
19:47
^elyse^ has joined #ocaml
19:47
ismaelga has quit [Ping timeout: 272 seconds]
19:51
python476 has joined #ocaml
19:53
Guest36997 is now known as johnelse
19:59
slash^ has quit [Read error: Connection reset by peer]
20:03
JacobEdelman has quit [Ping timeout: 240 seconds]
20:06
zpe has quit [Remote host closed the connection]
20:13
skeuomorf has joined #ocaml
20:15
xargs has joined #ocaml
20:19
JacobEdelman has joined #ocaml
20:21
zpe has joined #ocaml
20:21
ryanartecona has joined #ocaml
20:22
divyanshu has joined #ocaml
20:23
moei has joined #ocaml
20:23
skeuomorf has quit [Ping timeout: 272 seconds]
20:23
rand has quit [Quit: leaving]
20:25
AlexRussia has quit [Ping timeout: 260 seconds]
20:27
<
MercurialAlchemi >
down with exceptions!
20:28
zpe has quit [Remote host closed the connection]
20:34
ygrek has quit [Ping timeout: 255 seconds]
20:34
<
jyc >
does anyone know how to use camlimage to actually create a new image?
20:39
divyanshu has quit [Quit: Computer has gone to sleep.]
20:43
erider has joined #ocaml
20:44
erider has quit [Remote host closed the connection]
20:44
malc_ has quit [Ping timeout: 260 seconds]
20:45
erider has joined #ocaml
20:46
malc_ has joined #ocaml
20:46
erider has quit [Remote host closed the connection]
20:48
ismael__ has quit [Remote host closed the connection]
20:50
lobo has joined #ocaml
20:51
divyanshu has joined #ocaml
21:16
malc_ has quit [Ping timeout: 240 seconds]
21:16
TBads has joined #ocaml
21:18
malc_ has joined #ocaml
21:19
python476 has quit [Quit: Page closed]
21:22
python476 has joined #ocaml
21:31
orbifx has joined #ocaml
21:33
hubertus21 has quit [Quit: Connection closed for inactivity]
21:33
nullcatxxx_ has joined #ocaml
21:34
orbifx2 has quit [Ping timeout: 276 seconds]
21:47
JacobEdelman has quit [Quit: Connection closed for inactivity]
21:48
JacobEdelman has joined #ocaml
21:50
TBads has quit [Ping timeout: 252 seconds]
21:59
sh0t has joined #ocaml
22:00
ismaelga has joined #ocaml
22:19
AlexRussia has joined #ocaml
22:30
icbm has joined #ocaml
22:32
rand has joined #ocaml
22:34
yegods has joined #ocaml
22:35
xargs has quit [Quit: jmIrc destroyed by the OS]
22:35
stux|RC-only has quit [Ping timeout: 276 seconds]
22:36
stux|RC-only has joined #ocaml
22:37
stomp has quit [Ping timeout: 276 seconds]
22:37
fds has quit [Ping timeout: 276 seconds]
22:37
fds_ has joined #ocaml
22:37
stomp has joined #ocaml
22:41
ousado has quit [Ping timeout: 252 seconds]
22:41
ousado_ has joined #ocaml
22:43
badon has quit [Ping timeout: 255 seconds]
22:45
sh0t has quit [Read error: Connection reset by peer]
22:49
ismaelga has quit [Remote host closed the connection]
22:52
MercurialAlchemi has quit [Ping timeout: 260 seconds]
23:10
Simn has quit [Quit: Leaving]
23:16
ollehar has joined #ocaml
23:20
<
Maelan >
i do not manage to setup the uncaught exception handler
23:21
<
Maelan >
using Printexc.set_uncaught_exception_handler seems to have zero effect
23:21
icbm has left #ocaml ["Leaving"]
23:21
<
Maelan >
this is still the default handler which is called
23:23
<
Maelan >
in addition, apparently this same default handler does not use printers registered with Printexc.register_printer
23:24
rand has quit [Quit: leaving]
23:26
<
Maelan >
by contrast with Printexc.print (which prints ‘Uncaught exception: Blabla’ while the default handler for uncaught exceptions prints ‘Exception: Blabla.’)
23:27
<
Maelan >
is all this normal?
23:31
<
ollehar >
don't know :P
23:34
^elyse^ has quit [Quit: Leaving]
23:37
tane has quit [Quit: Verlassend]
23:38
^elyse^ has joined #ocaml
23:38
<
ollehar >
anyone have experience with tagless gc?
23:42
ljs has joined #ocaml
23:42
TBads has joined #ocaml
23:57
ryanartecona has quit [Quit: ryanartecona]