00:01
khaladan has joined #ocaml
00:03
zedrdave has quit []
01:38
khaladan has quit [Read error: 104 (Connection reset by peer)]
01:38
chessguy has joined #ocaml
01:42
shawn has quit ["This computer has gone to sleep"]
02:28
joshcryer has joined #ocaml
03:30
exa has quit [Read error: 110 (Connection timed out)]
03:31
Amorphous has quit [Read error: 110 (Connection timed out)]
03:32
Amorphous has joined #ocaml
03:48
shawn has joined #ocaml
04:00
khaladan has joined #ocaml
04:14
paf has joined #ocaml
04:16
Smerdyakov has quit ["Leaving"]
04:24
jcreigh has joined #ocaml
04:29
exa has joined #ocaml
05:02
jcreigh has quit ["Do androids dream of electric sheep?"]
05:06
Skal has joined #ocaml
05:10
zedrdave has joined #ocaml
05:51
love-pingoo has joined #ocaml
06:01
paf has quit [herbert.freenode.net irc.freenode.net]
06:01
ppsmimou has quit [herbert.freenode.net irc.freenode.net]
06:01
mlh has quit [herbert.freenode.net irc.freenode.net]
06:01
Amorphous has quit [herbert.freenode.net irc.freenode.net]
06:01
mellum has quit [herbert.freenode.net irc.freenode.net]
06:01
avlondono has quit [herbert.freenode.net irc.freenode.net]
06:01
Skal has quit [herbert.freenode.net irc.freenode.net]
06:01
exa has quit [herbert.freenode.net irc.freenode.net]
06:01
shrimpx has quit [herbert.freenode.net irc.freenode.net]
06:01
illya23b has quit [herbert.freenode.net irc.freenode.net]
06:01
danly has quit [herbert.freenode.net irc.freenode.net]
06:01
rossberg has quit [herbert.freenode.net irc.freenode.net]
06:01
Revision17 has quit [herbert.freenode.net irc.freenode.net]
06:01
ramkrsna has quit [herbert.freenode.net irc.freenode.net]
06:01
sieni has quit [herbert.freenode.net irc.freenode.net]
06:01
CLxyz has quit [herbert.freenode.net irc.freenode.net]
06:01
dvekravy has quit [herbert.freenode.net irc.freenode.net]
06:01
khaladan has quit [herbert.freenode.net irc.freenode.net]
06:01
joshcryer has quit [herbert.freenode.net irc.freenode.net]
06:01
teop has quit [herbert.freenode.net irc.freenode.net]
06:01
gim has quit [herbert.freenode.net irc.freenode.net]
06:01
ski has quit [herbert.freenode.net irc.freenode.net]
06:01
Schmurtz has quit [herbert.freenode.net irc.freenode.net]
06:01
zmdkrbou has quit [herbert.freenode.net irc.freenode.net]
06:01
chimikal has quit [herbert.freenode.net irc.freenode.net]
06:01
Lob-Sogular has quit [herbert.freenode.net irc.freenode.net]
06:01
Skal has joined #ocaml
06:01
exa has joined #ocaml
06:01
paf has joined #ocaml
06:01
khaladan has joined #ocaml
06:01
Amorphous has joined #ocaml
06:01
joshcryer has joined #ocaml
06:01
teop has joined #ocaml
06:01
ppsmimou has joined #ocaml
06:01
gim has joined #ocaml
06:01
ski has joined #ocaml
06:01
Schmurtz has joined #ocaml
06:01
zmdkrbou has joined #ocaml
06:01
Revision17 has joined #ocaml
06:01
ramkrsna has joined #ocaml
06:01
Lob-Sogular has joined #ocaml
06:01
chimikal has joined #ocaml
06:01
sieni has joined #ocaml
06:01
rossberg has joined #ocaml
06:01
mlh has joined #ocaml
06:01
avlondono has joined #ocaml
06:01
dvekravy has joined #ocaml
06:01
illya23b has joined #ocaml
06:01
CLxyz has joined #ocaml
06:01
danly has joined #ocaml
06:01
shrimpx has joined #ocaml
06:01
mellum has joined #ocaml
06:49
zedrdave has quit [Read error: 104 (Connection reset by peer)]
06:50
zedrdave has joined #ocaml
07:01
joshcryer has quit [Client Quit]
07:14
love-pingoo has quit ["Connection reset by by pear"]
07:17
teop has quit ["Leaving"]
09:54
clog has joined #ocaml
11:04
exa has quit [Remote closed the connection]
11:29
finelemo1 has joined #ocaml
11:40
andreas_1 has joined #ocaml
11:44
finelemon has quit [Read error: 110 (Connection timed out)]
11:57
andreas_1 has quit []
12:17
ketty has joined #ocaml
12:24
andreas_1 has joined #ocaml
13:07
andreas_1 has quit []
13:13
andreas_1 has joined #ocaml
13:19
mikeX has joined #ocaml
13:39
Demitar has joined #ocaml
14:00
Amorphous has quit [Read error: 110 (Connection timed out)]
14:10
Amorphous has joined #ocaml
14:14
andreas_1 has quit []
14:18
andreas_1 has joined #ocaml
14:18
chessguy has joined #ocaml
14:45
paf has left #ocaml []
14:50
Smerdyakov has joined #ocaml
15:29
khaladan has quit [Read error: 104 (Connection reset by peer)]
15:29
andreas_1 has quit []
15:43
love-pingoo has quit ["Leaving"]
15:48
piggybox has left #ocaml []
16:07
<
mikeX >
can't I have empty actions in ocamlyacc?
16:09
<
dylan >
They need to return some value.
16:09
<
dylan >
could be (), I suppose. But I'm not sure how that could be useful
16:10
<
mikeX >
I'm not sure I understand, I'm trying to write something like (expr)*
16:11
<
mikeX >
in bison, you would make another rule, which was nothing | expr that_rule
16:11
<
dylan >
like, a list of exprs?
16:12
<
dylan >
you'd need to use a list. :)
16:12
* mikeX
really confused
16:13
<
dylan >
list: { [] } | expr list { $1 :: $2 }
16:13
<
mikeX >
do I have to specify { } ?
16:14
<
dylan >
yes, otherwise ocaml would have no idea what you're talking about
16:14
<
mikeX >
that's not necessary in bison, right?
16:15
<
dylan >
no, but in bison you usually rely on side effects a lot more.
16:16
* dylan
just realized he spent all night writing an ocaml interface to a md5 hashing function in C, only to discover the Digest module.
16:16
<
mikeX >
hmm, I see, I was trying to avoid semantic actions for the time being
16:16
<
dylan >
semantic actions?
16:16
<
mikeX >
yes, the ones enclosed in { }
16:16
<
dylan >
they'er required.
16:17
<
dylan >
usually, one's actions usually just return one's AST.
16:18
<
dylan >
(or an intermediate parse tree, depending)
16:18
<
mikeX >
but I only have to write the parser at the moment, not build the ast
16:18
<
dylan >
the two are rather tightly linked,
16:18
<
mikeX >
that worked with bison (tried this assignment in C last year)
16:18
<
dylan >
I would think.
16:19
<
dylan >
well, you could just make every action be { () }
16:19
<
mikeX >
I guess, ok I'll try that, thanks dylan
16:21
<
mikeX >
on other thing, rule: symbol | symbol is different from rule: | symbol | symbol, right?
16:21
<
mikeX >
ulinke ocaml's pattern matching
16:22
Amorphous has quit [Connection timed out]
16:22
<
dylan >
foo: | matches nothing.
16:23
<
mikeX >
ok, just making sure :)
16:23
Amorphous has joined #ocaml
16:27
<
mikeX >
a bit OT, but anyone knows how to make omake
*not* print those annoying info?
16:38
__DL__ has joined #ocaml
17:01
Amorphous has quit [Read error: 110 (Connection timed out)]
17:02
Amorphous has joined #ocaml
17:02
<
Demitar >
mikeX: -s and -S respectively (depending on what behaviour you want).
17:03
<
mikeX >
well I wasn't talking about that exactly, but about omake's own output
17:03
<
mikeX >
it's really annoying
17:03
<
mikeX >
*** omake: reading OMakefiles
17:03
<
mikeX >
*** omake: finished reading OMakefiles (0.0 sec)
17:04
<
Demitar >
You can always omake |grep -v "*** omake:" :)
17:04
<
mikeX >
I guess that's one way to work around it, but omake devs should consider a --quiet flag :)
17:05
<
Demitar >
Out of curiousity when is that actually annoying?
17:05
<
mikeX >
it clutter's the output, and I'm having trouble making out what's really going on
17:07
<
mikeX >
if things go as planned (the makefile was read) there's no nead to tell me. unix programs usually work this way, and for a good reason :)
17:07
<
Demitar >
Does it print that per-directory, or when does it become clutter. I'm usually more concerned with there being too much error output. :)
17:08
<
mikeX >
well I just started using omake, and i'm building a very simple project, hold on
17:09
<
mikeX >
I don't know about you, but I find it a bit hard to locate the error there
17:09
<
mikeX >
(at first glance)
17:10
<
mikeX >
are you an omake developer Demitar ?
17:10
<
Demitar >
And how often are the makerules themselves borken? ;-) Of course, when writing ocaml code I always let emacs find the actual error locations for me so it's not an issue on ocaml errors.
17:10
<
Demitar >
mikeX: No, just an omake user. :)
17:11
<
mikeX >
i see, I didn't get that about the makerules
17:12
<
Demitar >
Good thing, because it was only me mis-parsing your error output. :)
17:12
<
mikeX >
well no wonder, with all that useless info :P
17:12
<
Demitar >
(I've never liked yacc in the first place of course. So I can't vouch for the errors. :)
17:12
khaladan has joined #ocaml
17:13
<
mikeX >
well the errors are there, the line number is wrong since the error is detected late, but that's not too much of a problem
17:13
<
mikeX >
and what do you prefer instead of yacc?
17:15
<
Demitar >
I'm of the school that LALR rots the brain. ;-)
17:34
love-pingoo has joined #ocaml
18:04
smimou has joined #ocaml
18:15
JKnecht is now known as Lycurgus_
18:20
pango is now known as pangoafk
18:28
pangoafk is now known as pango
18:45
_JusSx_ has joined #ocaml
18:49
khaladan has quit [Success]
19:24
kral has joined #ocaml
19:35
khaladan has joined #ocaml
19:38
exa has joined #ocaml
19:58
zedrdave has joined #ocaml
21:18
kral has quit [""I'll say it again. In the land of the free, use your freedom of choice.""]
21:43
teop has joined #ocaml
21:46
mikeX_ has joined #ocaml
21:49
Smerdyakov has quit ["Leaving"]
21:53
mikeX has quit [Nick collision from services.]
21:53
mikeX_ is now known as mikeX
21:54
<
_JusSx_ >
gperf for ocaml?
21:54
zedrdave has left #ocaml []
21:56
__DL__ has quit [Remote closed the connection]
21:58
_JusSx_ has quit ["leaving"]
22:09
exa has quit [Remote closed the connection]
22:12
noc has joined #ocaml
22:12
<
noc >
I have a small problem with functor
22:13
<
noc >
I want to write a functor with multipl args but I can't find the syntax.
22:13
<
noc >
I have try this : module DTW = functor ( Tab : Array_sig, Num : Math.Number.Number_sig, Data : Distance_sig ) ->
22:13
<
noc >
But this don't work.
22:14
<
mikeX >
noc: same as function syntax I think
22:14
<
mikeX >
which means, skip the commas, and fix your parentheses
22:14
love-pingoo has quit ["Connection reset by by pear"]
22:15
<
ketty >
mikeX: i think that functors are ment to have ugly parentheses...
22:15
<
mikeX >
hmm, let's see
22:16
<
noc >
I have try the function syntaxe, and this is no more good.
22:17
<
mikeX >
that's what I meant
22:17
<
mikeX >
module Name (Name1 : signature1 ) ...( Namen : signaturen ) = structure
22:17
<
mikeX >
just like functions
22:19
<
ketty >
its the functor application that is ugly, right?
22:19
<
noc >
Thank you two .
22:19
<
mikeX >
module Name = functor ( structure1 ) ...( structuren )
22:19
<
mikeX >
that's the application form, I'm not too familiar with functors though
22:20
<
ketty >
i the comparison between normal and revised ocaml syntax...
22:20
<
ketty >
there is this example: type t = Set.Make(M).t;; vs. type t = (Set.Make M).t;
22:22
<
mikeX >
both forms are part of ocaml's syntactic sugar btw, not the barebone ones
22:23
<
mikeX >
yeah that looks ugly ketty, either way
22:28
revision17_ has quit ["Ex-Chat"]
22:29
Revision17 has joined #ocaml
22:36
noc has quit ["((Obj.magic (()))^"a");;"]
22:37
Revision17 has quit ["Ex-Chat"]
22:50
Smerdyakov has joined #ocaml
23:05
mikeX has quit ["zzz"]
23:35
smimou has quit ["bli"]