00:01
mlh_ has joined #ocaml
00:02
shirogane has joined #ocaml
00:05
<
aegray >
still matched it
00:06
<
dylan >
works for me. :-/
00:06
<
aegray >
| "\"" (( '\\' "\"" | [^'"']) * as str) "\"" {(STRING str)
00:06
<
aegray >
tell me if you see anything blaringly wrong with that
00:07
<
dylan >
I'd use '"'
00:07
<
dylan >
for the first bit.
00:18
Smerdyakov has quit [Read error: 101 (Network is unreachable)]
00:18
<
aegray >
got it by cheating
00:18
<
dylan >
I actually do sublexing on strings now.
00:18
<
aegray >
what does that mean?
00:18
Smerdyakov has joined #ocaml
00:19
<
dylan >
| '"' { dstring [] lexbuf }
00:19
<
dylan >
with "and dstring accu = parse"
00:21
<
aegray >
that seems more logical
00:24
ecc has joined #ocaml
00:29
ecc has quit ["Client exiting"]
01:09
Bigbang is now known as Bigb[a]ng
01:13
ptolomy2 has joined #ocaml
02:17
mercurylala has joined #ocaml
02:17
mercurylulu has quit [Read error: 104 (Connection reset by peer)]
02:27
premchai21 has joined #ocaml
02:32
mlh_ has quit [Client Quit]
02:50
premchai21 has quit ["Hey! Where'd my controlling terminal go?"]
02:52
mercurylulu has joined #ocaml
02:52
pango_ has joined #ocaml
02:52
mercurylala has quit [Read error: 104 (Connection reset by peer)]
02:56
mercurylala has joined #ocaml
02:56
mercurylulu has quit [Read error: 104 (Connection reset by peer)]
03:01
<
KrispyKringle >
Anyone here use OMLet?
03:09
pango has quit [Read error: 110 (Connection timed out)]
03:31
Korollary has joined #ocaml
03:35
Korollary has left #ocaml []
03:41
descender has quit [Read error: 110 (Connection timed out)]
04:47
mrpingoo has joined #ocaml
04:49
vodka-goo has quit [Read error: 110 (Connection timed out)]
04:57
descender has joined #ocaml
05:02
khaladan has quit [Connection timed out]
05:35
batdog is now known as batdog|gone
06:06
batdog|gone is now known as batdog
06:47
shirogane has quit [Remote closed the connection]
06:56
Snark has joined #ocaml
07:28
Snark_Boojum has joined #ocaml
07:28
Snark has quit [Read error: 110 (Connection timed out)]
07:43
Snark_Boojum is now known as Snark
08:36
ramkrsna has joined #ocaml
08:51
pango_ has quit ["Client exiting"]
08:57
pango has joined #ocaml
09:03
vyvepe has joined #ocaml
09:22
ppsmimou has joined #ocaml
09:27
_fab has joined #ocaml
09:39
Bigb[a]ng is now known as Bigbang
09:44
ramkrsna has quit [Read error: 110 (Connection timed out)]
09:51
_fab has quit [Remote closed the connection]
09:52
<
revision17_ >
I finally understand monads
09:52
<
revision17_ >
how could I have been so dumb to not realize it
09:53
_fab has joined #ocaml
10:02
Revision17 has joined #ocaml
10:08
pango has quit [Remote closed the connection]
10:09
pango has joined #ocaml
10:16
revision17_ has quit [Read error: 110 (Connection timed out)]
10:29
pango has quit [Remote closed the connection]
10:29
pango has joined #ocaml
10:39
Skal has joined #ocaml
10:59
vezenchio has joined #ocaml
11:26
ramkrsna has joined #ocaml
12:02
ramkrsna has quit [Read error: 110 (Connection timed out)]
12:55
mrpingoo has quit [Read error: 145 (Connection timed out)]
13:03
mrpingoo has joined #ocaml
13:15
zigong has joined #ocaml
14:49
Bigbang is now known as Bigb[a]ng
15:00
pingoo has joined #ocaml
15:01
<
pingoo >
I just gave a try at ocamlprof, and I'm a bit disappointed
15:01
<
pingoo >
isn't there a way to get execution speed instead of just number of calls ?
15:06
Bigb[a]ng is now known as Bigbang
15:08
<
pingoo >
ah.. if I compile native code I can use gprof, nice
15:08
<
pingoo >
but it runs out of memory ??!
15:09
<
pingoo >
gprof: out of memory allocating 3728792744 bytes after a total of 286720 bytes, whereas the initial program actually runs perfectly
15:09
<
pingoo >
I have 1GB RAM
15:18
<
mellum >
Hmm, profiling works for me
15:23
<
pingoo >
sorry for all that, it was a stupid mistake I did :\
15:23
<
pingoo >
it works, and revealed surprising things, cool
15:37
__DL__ has joined #ocaml
15:46
mercurylulu has joined #ocaml
15:46
mercurylala has quit [Read error: 104 (Connection reset by peer)]
15:53
pingoo has quit ["cassos"]
16:01
mercurylulu has quit [Read error: 104 (Connection reset by peer)]
16:01
mercurylala has joined #ocaml
16:13
mercurylala has quit [Read error: 104 (Connection reset by peer)]
16:13
mercurylala has joined #ocaml
16:36
exa has quit [Read error: 104 (Connection reset by peer)]
16:38
exa has joined #ocaml
16:44
mercurylala has quit [Read error: 110 (Connection timed out)]
16:46
zigong has quit [Read error: 104 (Connection reset by peer)]
17:04
mercurylala has joined #ocaml
17:09
kmagdsick has joined #ocaml
17:11
<
kmagdsick >
Has there been any talk of changing the Ocaml bytecode to an SSA-based bytecode instead of a stack-based bytecode?
17:23
<
Smerdyakov >
How can a bytecode language be SSA-based?
17:39
<
kmagdsick >
google for llvm
17:39
<
kmagdsick >
or Michael Franz's SafeTSA bytecode for Java
17:40
<
kmagdsick >
especially read Michael Franz's paper on SafeTSA
17:40
* vincenz
is stuck on a typing issue
17:40
<
kmagdsick >
hello vincenz
17:43
<
dylan >
vincenz: what's the issue? This one is curious. :)
17:43
<
vincenz >
I have elements of type
17:44
<
vincenz >
how to say this
17:44
<
dylan >
code and pastebin?
17:47
<
vincenz >
I hope this makes sense
17:48
<
dylan >
You want to have a function whose return type is one of two types?
17:49
<
vincenz >
*makes a second paste*
17:51
<
vincenz >
the type of the list in Appl is dependent on the number of parameters it's funciton get
17:51
<
dylan >
I'm not sure I understand. :(
17:51
ramkrsna has joined #ocaml
17:51
<
dylan >
You can't do that I think.
17:51
<
vincenz >
but I have to
17:52
<
dylan >
well, you could use a variant.
17:52
<
dylan >
or whatever type foo = Foo of t1 | Bar of t2 ... is called.
17:54
<
vincenz >
yeah I guess
17:54
<
vincenz >
just that I basically bind the arguments of the functioins at the outer level
17:55
<
vincenz >
it should be possible in some way as it sort of reflects how ocaml is made... Just that it seems to me that I'll have to make a different constructor for each different number of argumenst
17:55
<
vincenz >
Fun1, Fun2...
17:56
<
dylan >
if it is a tuple, yes.
18:01
ptolomy2 has quit ["Leaving"]
18:23
mrpingoo is now known as mpingouin
18:25
ramkrsna has quit [Read error: 113 (No route to host)]
18:27
ramkrsna_ has joined #ocaml
18:46
ppsmimou has quit ["Leaving"]
19:03
ramkrsna_ has quit [Remote closed the connection]
19:15
smimou has joined #ocaml
19:17
pango has quit ["Leaving"]
19:23
teem has joined #ocaml
19:27
pango has joined #ocaml
19:34
<
kmagdsick >
what's new/cool with 3.09 ?
19:37
teem has quit [Read error: 104 (Connection reset by peer)]
19:39
shirogane has joined #ocaml
19:40
mrsolo has joined #ocaml
19:57
Mooninite1 has joined #ocaml
20:48
teem has joined #ocaml
20:57
teem has quit [Read error: 104 (Connection reset by peer)]
21:01
Snark has quit ["Parti"]
21:02
<
vincenz >
anyone use OCamlMakefile?
21:05
* dylan
waves hand.
21:06
<
vincenz >
How do do subdirs?
21:06
<
dylan >
Not for long though.
21:06
<
dylan >
That's funny, I just was doing something with subdirs!
21:06
<
dylan >
apparently you can just add, e.g. t/tests.ml to the $SOURCES var.
21:06
<
vincenz >
yeah but...
21:07
<
mellum >
What's the advantage over using a plain Makefile?
21:07
<
dylan >
mellum: all the cruft is hidden in the ocamlmakefile.
21:07
<
dylan >
you just include ../OCamlMakefile in your Makefile and viola, it works.
21:08
<
mellum >
dylan: Hmm. Never really bothered me. Oh well.
21:08
<
mellum >
Probably my project are too simple :)
21:08
* dylan
notes he is writing a make replacement in ocaml.
21:09
<
dylan >
as soon as bake --write-shellscript works, I'll be able to ditch makefiles. :)
21:10
* dylan
muttres obscene things about GNU make's patterns in relation to its directed graph of dependencies.
21:11
<
mellum >
dylan: why don't you use one of the 32768 existing make replacements?
21:11
<
dylan >
Because I wanted to write a parser and suchlike
21:12
<
dylan >
and implement lexical scope, first class functions, etc.
21:12
<
vincenz >
dylan: what's wrong with this?
21:12
<
vincenz >
it won't subclean
21:12
<
dylan >
Also, for some reason most other make replacements don't seem to utilize anything from graph theory very well.
21:12
<
mellum >
dylan: what would they need to use besides topological sorting?
21:13
<
dylan >
mellum: well, sticking to the graph I should say.
21:13
<
dylan >
It seems like, for example, gnu make's patterns (%.o: %.c) don't become part of the graph
21:14
<
dylan >
ant is too slow, and... eeew. jam is ugly looking. rake requires ruby...
21:14
<
mellum >
What's this thing KDE is switching to again?
21:14
<
mellum >
something using python
21:14
<
mellum >
so what sucks about cons? ;)
21:15
<
dylan >
it's written in python.
21:15
<
dylan >
also it seems to require more boilerplate than make.
21:15
<
mellum >
*shrug* I like Python. Certainly better than Perl or something.
21:16
<
dylan >
I want something as general purpose as make, but which prevents recursive make and other abominations.
21:17
<
dylan >
really it was an excuse to: learn ocaml, use ocamlyacc et al, and learn more than I ever wanted to know about directed acyclic graphs.
21:20
mercurylala has quit ["Leaving"]
21:23
Schmurtz has joined #ocaml
21:28
<
vincenz >
makefile really sucks
21:28
<
vincenz >
it's even whitespace sensitive
21:31
Bigbang is now known as Bigb[a]ng
21:31
<
vincenz >
(libraries:%=%/%.cmxa)
21:32
<
vincenz >
it evals the second % as %
21:32
<
vincenz >
not the value
21:32
<
vincenz >
stupid stupid makefile
21:39
__DL__ has quit ["Bye Bye"]
22:35
mlh_ has joined #ocaml
22:42
* dylan
is quite impressed at how productive ocaml makes him.
22:58
mpingouin has quit []
23:01
vyvepe has left #ocaml []
23:23
vezenchio has quit ["blupp"]
23:33
mercurylala has joined #ocaml
23:37
smimou has quit ["bli"]
23:44
exa has quit [Remote closed the connection]
23:47
<
KrispyKringle >
mellum: Yes, I'm also a fan of Python. ;)
23:47
<
KrispyKringle >
(Delayed reaction, I know.)
23:58
zigong has joined #ocaml