00:00
ccasin has joined #ocaml
00:03
_unK has quit [Remote host closed the connection]
00:17
sepp2k has quit [Quit: Leaving.]
00:27
myu2 has joined #ocaml
00:43
myu2 has quit [Remote host closed the connection]
00:54
thrasibule has joined #ocaml
01:23
pimmhogeling has quit [Ping timeout: 245 seconds]
01:56
thrasibule has quit [Ping timeout: 252 seconds]
01:59
avsm has quit [Quit: Leaving.]
02:15
ccasin has quit [Quit: Leaving]
02:18
jakedouglas has quit [Quit: Leaving.]
02:21
enthymeme has joined #ocaml
02:45
wormphlegm has joined #ocaml
02:49
Morphous has quit [Ping timeout: 276 seconds]
03:05
Morphous has joined #ocaml
03:08
jeddhaberstro has quit [Quit: jeddhaberstro]
03:34
jakedouglas has joined #ocaml
03:48
fraggle_ has quit [Ping timeout: 240 seconds]
03:50
fraggle_ has joined #ocaml
03:54
Associat0r has quit [Quit: Associat0r]
04:18
Mr_Awesome has quit [Ping timeout: 240 seconds]
04:18
wormphlegm has quit [Quit: bye]
04:20
seafood has quit [Quit: seafood]
04:23
joewilliams_away is now known as joewilliams
04:32
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
04:35
Mr_Awesome has joined #ocaml
05:20
thrasibule has joined #ocaml
05:32
seg_ has quit [Ping timeout: 245 seconds]
05:43
thrasibule has quit [Read error: Operation timed out]
05:44
joewilliams is now known as joewilliams_away
06:01
fraggle_ has quit [Ping timeout: 240 seconds]
06:04
fraggle_ has joined #ocaml
06:49
jakedouglas has quit [Quit: Leaving.]
07:12
ygrek has joined #ocaml
07:25
ttamttam has joined #ocaml
07:32
oc13 has joined #ocaml
07:49
ttamttam has quit [Quit: Leaving.]
07:55
ulfdoz has joined #ocaml
08:19
Yoric has joined #ocaml
08:36
gussing has joined #ocaml
08:42
fraggle_laptop has quit [Ping timeout: 264 seconds]
08:47
albacker has joined #ocaml
08:54
fraggle_laptop has joined #ocaml
09:04
ikaros has joined #ocaml
09:10
gussing has quit [Quit: Leaving]
09:25
drk-sd has joined #ocaml
09:42
smimou has quit [Ping timeout: 246 seconds]
09:42
smimou has joined #ocaml
10:03
Associat0r has joined #ocaml
10:09
ttamttam has joined #ocaml
10:13
Ori_B has quit [Remote host closed the connection]
10:13
Ori_B has joined #ocaml
10:20
Leonidas_ has joined #ocaml
10:25
Leonidas has quit [*.net *.split]
10:25
jlouis has quit [*.net *.split]
10:25
gildor has quit [*.net *.split]
10:25
hyperboreean has quit [*.net *.split]
10:25
haelix_ has quit [*.net *.split]
10:25
sgnb has quit [*.net *.split]
10:27
jlouis has joined #ocaml
10:27
gildor has joined #ocaml
10:27
hyperboreean has joined #ocaml
10:27
haelix_ has joined #ocaml
10:27
sgnb has joined #ocaml
11:08
munga_ has joined #ocaml
11:08
fraggle_ has quit [Ping timeout: 276 seconds]
11:11
fraggle_ has joined #ocaml
11:14
Lor has quit [*.net *.split]
11:14
flux has quit [*.net *.split]
11:14
nimred has quit [*.net *.split]
11:20
Lor has joined #ocaml
11:20
flux has joined #ocaml
11:20
nimred has joined #ocaml
11:42
Lor has quit [Ping timeout: 276 seconds]
11:54
sepp2k has joined #ocaml
11:55
munga_ has quit [Ping timeout: 264 seconds]
11:58
ikaros has quit [Quit: Leave the magic to Houdini]
12:02
maskd has joined #ocaml
12:23
derdon has joined #ocaml
12:30
ttamttam has quit [Read error: Connection reset by peer]
12:42
<
derdon >
thelema: ping
12:42
ccasin has joined #ocaml
12:45
ttamttam has joined #ocaml
13:04
flux has quit [*.net *.split]
13:04
nimred has quit [*.net *.split]
13:07
flux has joined #ocaml
13:07
nimred has joined #ocaml
13:08
albacker has quit [Ping timeout: 264 seconds]
13:12
ccasin has quit [Quit: Leaving]
13:13
sepp2k has quit [Quit: Leaving.]
13:23
seg_ has joined #ocaml
13:23
seg_ is now known as segmond
13:34
pimmhogeling has joined #ocaml
13:57
ttamttam has quit [Ping timeout: 276 seconds]
14:10
maskd has quit [Ping timeout: 245 seconds]
14:11
ulfdoz has quit [Ping timeout: 260 seconds]
14:16
ulfdoz has joined #ocaml
14:22
thrasibule has joined #ocaml
14:23
segmond has quit [Ping timeout: 268 seconds]
14:25
Leonidas_ is now known as Leonidas
14:28
ikaros has joined #ocaml
14:30
ccasin has joined #ocaml
15:14
<
hcarty >
derdon: This error doesn't have anything to do with Batteries
15:15
<
hcarty >
derdon: This would give the same error - "let hash = Hashtbl.create 1"
15:16
<
hcarty >
The value is not truly polymorphic, so the compiler is looking for more context to determine what the type should be. That is my non-scientific understanding.
15:18
<
hcarty >
derdon: Either using the value (RefList.add ref_list 1) or specifying the type in the definition (let ref_list : int RefList.t = RefList.empty ()) will fix the error.
15:43
<
derdon >
hcarty: thanks for the explanation, will try it out later
15:58
maskd has joined #ocaml
16:01
<
derdon >
it works, thanks again :)
16:04
maskd has quit [Quit: leaving]
16:15
<
derdon >
how do I combine an ocamlyacc call with a *mly file which contains the ``open Batteries``directive?
16:15
joewilliams_away is now known as joewilliams
16:15
munga_ has joined #ocaml
16:16
<
derdon >
``ocamlfind ocamlyacc ...`` is not supported :/
16:22
<
mfp >
derdon: AFAICS ocamlyacc itself doesn't need to know about the libs used in the code; it's just a code generator
16:22
<
mfp >
but you'd have to compile the resulting .ml with ocamlfind ocamlopt as usual
16:24
<
derdon >
mfp: well, ocamlyacc said "unbound module Batteries" when I entered "ocamlyacc parser.mly"
16:25
<
derdon >
mfp: the "open Batteries" is in the header part of the parser.mly
16:27
<
mfp >
didn't complain
16:28
<
mfp >
so no idea why that is happening to you
16:29
<
mfp >
in fact ocamlyacc doesn't seem to be parsing the header at all: if I put garbage there, it just gets copied to the .ml
16:29
ulfdoz has quit [Ping timeout: 246 seconds]
16:30
<
derdon >
mfp: uhm, how did you open the xml file?
16:31
ulfdoz has joined #ocaml
16:31
<
derdon >
yes, in the tar*.zg is one xml file, one *.dsl and one *.css file
16:31
<
mfp >
oops, wrong link
16:38
grettke has joined #ocaml
16:39
<
derdon >
mfp: my mistake was in a different command, fixed now
16:47
pimmhogeling has quit [Ping timeout: 245 seconds]
17:05
rovar has joined #ocaml
17:21
ttamttam has joined #ocaml
17:23
albacker has joined #ocaml
17:42
jakedouglas has joined #ocaml
18:01
joewilliams is now known as joewilliams_away
18:02
munga_ has quit [Ping timeout: 264 seconds]
18:02
fraggle_laptop has quit [Ping timeout: 240 seconds]
18:13
ch077179 has joined #ocaml
18:14
fraggle_laptop has joined #ocaml
18:15
thrasibule has quit [Read error: Operation timed out]
18:17
thrasibule has joined #ocaml
18:27
joewilliams_away is now known as joewilliams
18:41
thrasibule has quit [Ping timeout: 276 seconds]
18:41
thrasibule has joined #ocaml
18:57
thrasibule has quit [Ping timeout: 260 seconds]
19:07
joewilliams is now known as joewilliams_away
19:11
smimou has quit [Ping timeout: 246 seconds]
19:11
thrasibule has joined #ocaml
19:27
smimou has joined #ocaml
19:32
oriba has joined #ocaml
19:52
wormphlegm has joined #ocaml
19:56
albacker has quit [Quit: Leaving]
20:08
maskd has joined #ocaml
20:31
oc13 has quit [Ping timeout: 260 seconds]
21:02
Associat0r has quit [Read error: Connection reset by peer]
21:03
pimmhogeling has joined #ocaml
21:03
Associat0r has joined #ocaml
21:08
ygrek has quit [Ping timeout: 245 seconds]
21:11
Yoric has quit [Quit: Yoric]
21:21
ch077179 has quit [Quit: Verlassend]
21:44
ttamttam has quit [Quit: Leaving.]
21:46
Lor has joined #ocaml
22:22
Lor has quit [Read error: No route to host]
22:34
grettke has quit [Ping timeout: 246 seconds]
22:39
grettke has joined #ocaml
22:45
dark has quit [Remote host closed the connection]
22:50
ulfdoz_ has joined #ocaml
22:50
rbancrof1 has joined #ocaml
22:50
bmp has joined #ocaml
22:54
ulfdoz has quit [*.net *.split]
22:54
LionMadeOfLions has quit [*.net *.split]
22:54
rbancroft has quit [*.net *.split]
23:00
flux has quit [*.net *.split]
23:00
nimred has quit [*.net *.split]
23:01
flux has joined #ocaml
23:01
nimred has joined #ocaml
23:01
flux has quit [*.net *.split]
23:01
nimred has quit [*.net *.split]
23:01
nimred has joined #ocaml
23:01
flux has joined #ocaml
23:01
LionMadeOfLions has joined #ocaml
23:12
boscop__ has joined #ocaml
23:13
ulfdoz_ has quit [Quit: Reconnecting]
23:13
ulfdoz has joined #ocaml
23:15
boscop_ has quit [Ping timeout: 276 seconds]
23:24
grettke has quit []
23:25
derdon has quit [Ping timeout: 245 seconds]
23:38
ikaros has quit [Quit: Leave the magic to Houdini]