_urlwolf__ has quit [Read error: 110 (Connection timed out)]
<Palace>
id like to fold over a list by pairs of consecutive elements to perform changes on consecutive pairs..thought of going with a fold_left2 and using the same list except with the second one shifted left one by removing the head eleemnt..but they wouldnt match in length if i do that, any suggestions ?
<Smerdyakov>
You don't know how to write a higher-order function to capture exactly the pattern you care about?
<hcarty>
Palace: Something involving "match foo with a :: b :: tl -> ..." may get you started?
<Palace>
well i guess i could write a function which takes as input a list [a;b;c;d...] and outputs a list [(a,b);(b,c);(c,d);...]
<Palace>
hcarty, yea it could look somthing like that, is there some generic placeholder i could place at the end of the list though for the last pair ?
<hcarty>
Palace: You could build that in to the match
<Smerdyakov>
Palace, I was suggesting a higher-order function. The function you propose is not higher-order.
<hcarty>
match l with [] -> ... | [a] -> ... | a :: b :: tl -> ...
<hcarty>
I'm not sure I have the syntax for the middle match case correct...
<Smerdyakov>
Palace, I'm suggesting writing your own function with a similar interface to that of [List.fold_left].
<hcarty>
The above match should be in a recursive function to be effective, as Smerdyakov suggests
<Palace>
hmm ill take the suggestions and think about it, thanks
tar_ has joined #ocaml
<Palace>
ugh, thing is i can think of how to take [a;b;c;d] -> [(a,b);(b,c);(c,d);]...but if im left with a remainder element...wich i could toss in some generic top level type which would just be allowed in there but i could check to make sure im at the last pair...otherwise make them triples with a bool third component
asabil has quit [Read error: 110 (Connection timed out)]
asabil has joined #ocaml
jlouis has quit [Remote closed the connection]
tar_ has quit ["byebye"]
tar_ has joined #ocaml
asabil has quit ["Ex-Chat"]
Palace has quit [Client Quit]
sporkmonger has joined #ocaml
sporkmonger has quit [Read error: 54 (Connection reset by peer)]
sporkmonger has joined #ocaml
ulfdoz has quit ["deprecated"]
Amorphous has quit [Read error: 104 (Connection reset by peer)]
Amorphous has joined #ocaml
jknick has joined #ocaml
seafood_ has joined #ocaml
<palomer>
woot
seafood has quit [Connection timed out]
apples` has quit ["Leaving"]
jeddhaberstro has quit []
seafood_ has quit []
jknick has quit ["Lost terminal"]
sporkmonger has quit []
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
Mr_Awesome has joined #ocaml
sporkmonger has joined #ocaml
bkudria has joined #ocaml
<bkudria>
debian has a ocaml-native-compilers package, which provides .opt versions of the packages. the description says "For big source codes, these packages can be two to three times faster" - that applies to the compile, not the running code, right?
<bkudria>
i'm compiling poy4 btw
<thelema>
yes, that applies to the compile.
<thelema>
foo.opt is usually the natively-compiled version (non-bytecode) foo.
<thelema>
ocamlopt should produce the same result as ocamlopt.opt, only a bit slower.
<palomer>
im so excited
<palomer>
I'm about to release my application
<palomer>
open source!
<palomer>
9 months of work
<palomer>
phew
<palomer>
it's been tough
<palomer>
how do I GPL this thing?
<palomer>
:P
<thelema>
put the banner at the top of your source.
* thelema
is surprised there isn't already a script.
<thelema>
I guess it's already so easy.
<palomer>
you're right, it's a 1 liner in ruby
<bkudria>
or bash
<palomer>
so it's simply a matter of prepending "Copyright 1999 Terry Jones" at the beginning of every file?
<thelema>
and a statement of copying permission
<palomer>
but that's in the COPYING file
<thelema>
such as "Distributed under GPL license"
<thelema>
Whichever license you plan to use, the process involves adding two elements to each source file of your program: a copyright notice (such as “Copyright 1999 Terry Jones”), and a statement of copying permission, saying that the program is distributed under the terms of the GNU General Public License (or the Lesser GPL).
<bkudria>
i get a parse error attempting to compile POY4, here is the error: http://pastie.org/316600 what might be wrong?
<palomer>
ah, righto, I didn't know the wording
<palomer>
so...what's the 1 liner in bash:P?
<bkudria>
something involving find, -exec, and a pattern matching your source files...
<bkudria>
but ruby would be good too
* bkudria
knows ruby better than bash
<palomer>
I'm tempted to do Dir["*ml"].each{|x| `echo "(*Copyright 1999 Terry Jones. Distributed under the GPL*)" >> #{x}`}
<palomer>
err wait, it's better if I prepend im guessing
<thelema>
palomer: yes, put it at the beginning.
<thelema>
just do it by hand - copy and paste in emacs won't take *that* long
<palomer>
30 files?
<bkudria>
any insights on that error ^^^ ?
<thelema>
bkudria: need more info - it looks like it's expecting a ; somewhere, but I can't say more now.
<bkudria>
thelema: the single line in Loc.mli has a semicolon
<bkudria>
not sure where Sig is...
<thelema>
oh, that's your whole source? you need two ;; to end a toplevel phrase
<bkudria>
oh
<bkudria>
ok
<bkudria>
looks like a bug in debian's package, then...
<thelema>
yup.
<bkudria>
ok, now i get: Unbound module type Sig.Loc
<thelema>
are you sure that's the module name, and not just [Loc]
<bkudria>
i can paste the output of a grep for Sig in that directory - would that help?
<bkudria>
no, no clue at all
<bkudria>
it's not my code :)
<bkudria>
it's from the caml4p-extra package in debian
<rwmjones>
basically you need a BZ account and a FAS account
<rwmjones>
back in a bit
<Gionne>
hello, the same problem of yesterday. http://pastebin.ca/1259150 File "parser.mly", line 23, characters 25-35:
<Gionne>
This expression has type 'a list but is here used with type Ast.prodset. I need to return the type prodset. How do I?
<Yoric[DT]>
gildor: thanks
<Yoric[DT]>
rwmjones: ok, wildo
<Yoric[DT]>
thanks
<flux>
gionne, you need to destructure the value each time if you want to insert into a Ast.Prodset
<flux>
perhaps a few helper functions will help you do that
<flux>
prodset cannot be both Ast.t and a list
<flux>
mfp, btw, have you noticed that caml-types doesn't quite seem to find the proper places when compiled with pa_relational.cmo?
<Gionne>
mmm
<flux>
I wonder if that's a bug in pa_relational or does the process not work for some other reason.. it seems to work with other pa_-modules, though
<mfp>
flux: I don't use emacs...
<Gionne>
i have a lexer
Kerris01 has joined #ocaml
<Gionne>
how do i destructure the value?
<flux>
mfp, I guess the point is that the location information gets somehow messed up at some point
<Gionne>
i need to :: the $1 and $2 and return a type Ast.prodset
<Gionne>
but the $2 is already type Ast.prodset
<Gionne>
while the $1 is Ast.prod
<flux>
I suppose modeemi.fi/~flux/software/annotator.ml will give the same results, but I haven't tried
<mfp>
flux: probably a problem with the propagation of _loc, I guess
<flux>
gionne, I think you could either do: .. | prod prodset { $1::$2 } | prod { $1 } ..and when you refer to prodset you put the constructor around it
<Gionne>
i'll try
<flux>
gionne, or you could | prod prodset { match $2 with Ast.Prodset xs -> Ast.Prodset ($1::$2) | _ -> assert false }
<flux>
whops, that didn't go quite right, replace $2 with xs
<mfp>
maybe | "LIMIT" -> <:expr< Relational.Relations.limit >> should be | "LIMIT" -> <:expr@_loc< Relational.Relations.limit >> or something like that? (don't remember the exact syntax)
<Gionne>
uh
<flux>
I'm not familiar with camlp4 at all, so I don't know :)
<flux>
but I've been writing a small toy using relational and collecting bugs/missing features along the way, so perhaps one day I'll dig into it :)
<flux>
mfp, btw, the .annot -feature is great, you should try hooking it up with your editor ;-)
<mfp>
flux: actually, I'm already using it (in vim)
<Gionne>
it does work! thanx flux
<Gionne>
now i'll go on.
Kerris0 has quit [Read error: 110 (Connection timed out)]
ulfdoz has joined #ocaml
Camarade_Tux has quit ["Leaving"]
Kerris01 has quit [Read error: 113 (No route to host)]
_zack has joined #ocaml
OChameau has joined #ocaml
<Yoric[DT]>
gildor: did you make the tracker private?
<Yoric[DT]>
Because we just received some new spam on it.
<Yoric[DT]>
thelema: ping
<rwmjones>
anyone running 3.11.0 under Windows?
<Yoric[DT]>
rwmjones: just signed with FAS
<rwmjones>
Yoric[DT], and bugzilla?
<Yoric[DT]>
Which one?
<rwmjones>
bugzilla.redhat.com
<Yoric[DT]>
Ok, signing.
<rwmjones>
also you'll need to do the CLA stuff with FAS if you haven't done that already ... I think you have to agree to some forms
<Yoric[DT]>
Actually, I need to find my bugzilla password.
<Yoric[DT]>
It seems I've signed already.
* Yoric[DT]
hopes he's not signing with his blood to actually create the package himself.
<Yoric[DT]>
rwmjones: seems I need to do this on paper.
<Yoric[DT]>
I don't have a printer at hand right now.
<rwmjones>
I don't recall paper being involved .. maybe they've changed the process
<rwmjones>
no one has 3.11 on windows?
<Yoric[DT]>
rwmjones: no, it's just the phrasing on the site. It's somewhat ambiguous.
<Yoric[DT]>
Registration complete.
_zack has quit ["Leaving."]
<rwmjones>
Yoric[DT], next thing is to make a package then ... I can help you with this if you like.
<Yoric[DT]>
That's what I feared.
<Yoric[DT]>
Actually, I'd appreciate if someone else could do the packaging.
<Yoric[DT]>
I'm already handling the GODI package, with _zack in charge of the Debian package.
<Yoric[DT]>
(and someone yesterday posted about a archlinux package, too)
<rwmjones>
Yoric[DT], I don't really have much time ... I can help you make the original package, then you can just push out new changes whenever you like (it's a very lightweight process once the initial package is done)
s4tan has joined #ocaml
<s4tan>
hi all
<Yoric[DT]>
hi
_zack has joined #ocaml
<gildor>
Yoric[DT]: you still receive spam ?
<Yoric[DT]>
Yep.
<Yoric[DT]>
Ah, I understand now.
<Yoric[DT]>
I need to completely close the tracker.
<gildor>
the old tracker was still open to public
<gildor>
but the new "feature request" is closed to anonymous submission
<gildor>
you should not receive spam
<Yoric[DT]>
Yeah, I just understood that I was receiving stuff from the old one.
<gildor>
ok
<Yoric[DT]>
I just closed it.
Spiwack has joined #ocaml
<thelema>
Yoric[DT]: pong
<Yoric[DT]>
Hi.
<Yoric[DT]>
I see you've moved OrderedType to interfaces.mli .
damg has joined #ocaml
<Yoric[DT]>
Now, we need to put this module somewhere :)
<thelema>
isn't it in extlib?
<thelema>
oh, in the batteries heirarchy.
<thelema>
Data.Interfaces?
<Yoric[DT]>
Good for me.
<thelema>
okay, I put references into batteries_core, and the two batteries.ml -- anywhere else?
<Yoric[DT]>
batteries_core_threads
<Yoric[DT]>
(yeah, I know it's annoying)
<thelema>
can I ask why the 4 files instead of two?
<thelema>
I thought I understood the three-file structure, but now that it's 4, ...
<Yoric[DT]>
Linking issues.
<Yoric[DT]>
That's the best I managed.
<Yoric[DT]>
After release 1, we should try and improve things.
<thelema>
release 1 = 1.0?
<Yoric[DT]>
yes
<thelema>
okay.
<thelema>
can I ask what the difference between Batteries_core_threads and threads/batteries.ml is? I see that batteries.mllib has a bunch of modules listed, but...
<thelema>
Well, I guess this is your linking issues...
<thelema>
hmm, ocamldoc won't make the right cross references to Data.Interfaces, I think. It'll probably want to reference Extlib.Interfaces
<Yoric[DT]>
How did you add Data.Interfaces?
* thelema
is pushing now.
munga_ has quit ["Leaving"]
<thelema>
pushed
thelema has quit [Read error: 104 (Connection reset by peer)]
thelema has joined #ocaml
Axle has joined #ocaml
Asmadeus has quit [Read error: 60 (Operation timed out)]
Asmadeus has joined #ocaml
glondu has quit [Read error: 104 (Connection reset by peer)]
glondu has joined #ocaml
alexyk has joined #ocaml
Asmadeus_ has joined #ocaml
threeve has joined #ocaml
Asmadeus has quit [Read error: 60 (Operation timed out)]
|Jedai| has joined #ocaml
netx has joined #ocaml
Jedai has quit [Read error: 110 (Connection timed out)]
threeve has quit ["Leaving"]
threeve has joined #ocaml
willb has quit [Read error: 110 (Connection timed out)]
bluestorm has joined #ocaml
bluestorm has quit [Remote closed the connection]
<alexyk>
morning
Axle has quit ["Leaving."]
<alexyk>
time difference with France is 9 hours
Anna` has joined #ocaml
Spiwack has quit [Read error: 113 (No route to host)]
Anna` is now known as Spiwack
<Yoric[DT]>
'afternoon
willb has joined #ocaml
<alexyk>
funny how the Europeans leave at 1:30 am EDT and Americans don't show up till 10:30 am EDT
<alexyk>
programmers sleep late, FP ones no exception
<Yoric[DT]>
:)
<Smerdyakov>
I'm American, and I was here earlier (and usually am).
<alexyk>
Smerdyakov: may be I should say "start typing" instead of "show up"
<Spiwack>
you must have kids
<alexyk>
I saw a concurrent ML implementation for OCaml, ccell; how does that compare to JoCaml? Should I read the book by Reppy? Any other concurrency for OCaml? Is there a clear winner?
<alexyk>
I simply want to load BOTH cores in my MBP for now :)
<Yoric[DT]>
alexyk: other suspects: OPIS, BSML, Acute.
<alexyk>
Yoric: which ones are "mature" and used by others? BTW, I tried to checkout JoCaml for my GODI 3.10.2 and am not sure how they tag releases -- anyone knows the tag for JoCaml in sync with OCaml 3.10.2?
<alexyk>
since they share repos I assume ocaml folks might know...
<Yoric[DT]>
Sorry, I don't know.
<alexyk>
hmm -- I have 60 bookmarks tagged ocaml in delicious... noticed while adding software transactional memory for ocaml
asabil has quit [Read error: 110 (Connection timed out)]
pango has quit [Remote closed the connection]
<hcarty>
alexyk: JoCaml, according to the mailing list, has not been tracking the regular OCaml releases very closely
<hcarty>
The last message I remember reading said that the next release would likely be against 3.11.0
_zack has quit ["Leaving."]
Gionne has quit ["Leaving"]
<hcarty>
For local parallel tasks, there are several fork-based parallel functions/libraries available
mishok13 has quit [Read error: 110 (Connection timed out)]
velco has joined #ocaml
filp has quit ["Bye"]
<alexyk>
hcarty: indeed the cvs checkout of jocaml is for 3.11+
s4tan has quit [" mIRC 6.31 in Italiano by Sagitt - www.mircmania.it"]
jonafan_ is now known as jonafan
velco has quit ["Went wasting time elsewhere ..."]
Gionne has joined #ocaml
sporkmonger has quit []
glondu has left #ocaml []
<hcarty>
alexyk: Have you tried the CVS checkout? I'm curious to know how well it works at this point
glondu has joined #ocaml
<hcarty>
JoCaml seems like a potentially very useful tool, but the fact that it is out of sync with OCaml is a little unfortunate
<Yoric[DT]>
My personal problem with JoCaml is that it's not possible anymore to migrate functions.
<Yoric[DT]>
This used to be possible.
<Gionne>
# let pr1 : prodset = Prodset [Prod (Symbol "A", Body "Bcs"); Prod (Symbol "B", Body "Def")];;
<Gionne>
val pr1 : prodset =
<Gionne>
Prodset [Prod (Symbol "A", Body "Bcs"); Prod (Symbol "B", Body "Def")]
<Gionne>
# List.hd pr1;;
<Gionne>
This expression has type prodset but is here used with type 'a list
<Gionne>
how do i obtain the head of the Prod List?
<Gionne>
sorry for the paste
<flux>
match pr1 with Prodset (x::xs) -> x | _ -> assert false
asabil has quit ["Ex-Chat"]
<Gionne>
trying
<Gionne>
thanx
<flux>
although you might want to put your logic in place of x
<Yoric[DT]>
or replace [let pr1 = Prodset ...] with [let pr1 = ... ]
<flux>
instead of binding a value with that
<Gionne>
the values should come from ocamlyacc
<Gionne>
:|
<Gionne>
now i'm just making the functions that should use them
Guest71770 is now known as purple
jlouis has joined #ocaml
purple is now known as Guest21418
sporkmonger has joined #ocaml
Guest21418 is now known as purple_
filp has joined #ocaml
Spiwack has quit [Remote closed the connection]
kig has joined #ocaml
Demitar has quit ["Ex-Chat"]
vixey has joined #ocaml
marmotine has joined #ocaml
netx has left #ocaml []
<hcarty>
According to a just-posted message on the JoCaml list, JoCaml will follow OCaml releases much more closely from 3.11.0 on
<hcarty>
That's pleasant news
Camarade_Tux has joined #ocaml
itewsh has joined #ocaml
Snark has joined #ocaml
itewsh has quit ["KTHXBYE"]
OChameau has quit [Read error: 113 (No route to host)]
psnively has joined #ocaml
<psnively>
Hi folks.
bluestorm has joined #ocaml
Gionne has quit [Read error: 145 (Connection timed out)]
Gionne has joined #ocaml
<Camarade_Tux>
rwmjones, I tried what you posted on the mailing-list, but in C and get 3720 and 3723, my code may be b0rked but still...
<bluestorm>
Yoric[DT]: i realized that the syntax for modules was not right, i now use p <- List : foo instead of p <- List foo
<bluestorm>
[? List : pow p k | p <- List : 2--100; prime p; k <- Array : 1--p ]
<bluestorm>
(rationale : List foo is a legal ocaml expression)
<bluestorm>
what do you think of that ? is it not too heavy ?
<Camarade_Tux>
rwmjones, hehe, example borked, bad parens ;)
<bluestorm>
btw i've optimized the code a bit, [? List : ... | p <- List : ..; ... ] doesn't generate any intermediate Enum
* Camarade_Tux
implements -fdisable-implicit-casts in gcc
dabd has joined #ocaml
<Yoric[DT]>
bluestorm: the idea behind using [ p <- Module foo ] rather than [ p <- Module : foo ] is that you can always parenthesize if needed.
<Yoric[DT]>
That is, [p <- Module (foo bar)]
<bluestorm>
i don't get it
<bluestorm>
you mean when the expression is simple, there isn't any separator ?
<bluestorm>
(i suppose p <- Module : foo bar; would also work)
Gionne has quit ["Leaving"]
tomh- has joined #ocaml
<Yoric[DT]>
What I mean is that we can assume that the first constructor after <- is a module name.
<Yoric[DT]>
(rather than an algebraic constructor)
<bluestorm>
i think changing the meaning of valid ocaml expressions is bad practice
<Yoric[DT]>
You believe adding a new meaning for ":" is better?
<bluestorm>
i think so
<bluestorm>
we're already adding a new meanging for "|", "<-" (hackish) and ";" anyway
<Yoric[DT]>
ok
<bluestorm>
orthogonally, i'm not sure wich one of the p <- List : li; List : p <- li; (and the p : List variants) is better
<bluestorm>
i've settled on [? List : p | instead of List : [? ... | because i would like anything to be included in the bracket construct
<Yoric[DT]>
ok
<bluestorm>
List : p feels weird at first (p being an element), but you can read it "the list of p such that .." so it's rather nice actually
ofaurax has joined #ocaml
<Yoric[DT]>
Actually, this could be fully spelled.
<bluestorm>
maybe we should also use List : p <- li; for consistency
<bluestorm>
List of p ?
<Yoric[DT]>
[? List of p | p in ... ]
<bluestorm>
why not
<bluestorm>
we have choice between full-symbol [? List : p^k | p <- 1--200; prime p; k <- Foo : bar p ] , full-keywords (List of p^k for p in 1 -- 200 when prime p for k in Foo of bar p) , or a compromise [? List of p^k | p in 1 -- 200; prime p; k in Foo of bar p ]
<bluestorm>
i guess it mostly comes to a matter of taste, but i like your proposal because the "<-" parsing is an ugly hack right now
<bluestorm>
so i'd be happy to get rid of it for a real keywor instead
psnively has quit []
<Camarade_Tux>
rwmjones, since I'll anything not to do my homework, I tried again and have the same problem as you do, with a regular ocamlopt.opt.exe, in a windows box
<Camarade_Tux>
and with ocamlopt.exe too
<Camarade_Tux>
(compiled under mingw btw)
<Camarade_Tux>
and on linux too...
damg has quit [Read error: 110 (Connection timed out)]
filp has quit ["Bye"]
kennyluck has joined #ocaml
<kennyluck>
Hi everyone. Does anyone have a nice python-ocaml connection module? I tried Pycaml, but it doesn't seem to work on Python 2.5. Any Idea?
erg has joined #ocaml
<vixey>
what would it do?
<flux>
no experience with that, but perl4caml works great
<kennyluck>
Embed Python into ocaml.
<flux>
perl4caml allows one to call perl functions from within ocaml. not sure if it did the reverse.
<vixey>
why do you want to do that?
<flux>
to make use of the larger(?) body of libraries for python?
<kennyluck>
Because python has a huge library.
<kennyluck>
Yep.
<vixey>
so why not program in python?
ofaurax has quit ["Leaving"]
<kennyluck>
Because I am currently hacking HOL. Do you know that?
<flux>
perhaps only a small piece of the program requires those features..
<kennyluck>
Somehow improve that with various features.
<flux>
what's HOL?
<vixey>
I know what HOL is
<flux>
automatic reasoning?
<kennyluck>
An Interactive theorem prover.
<flux>
ah, mistook the page title
<flux>
hmm, I wonder what use is python there?
* vixey
is also wondering that
<kennyluck>
Well, because the previous work of our group is totally written in python.
<kennyluck>
I just don't want to rewrite the whole thing.
<vixey>
is that some kind of theorem prover in python?
<kennyluck>
No.
<vixey>
what is it?
<kennyluck>
It's cwm. A semantic web utility program.
ofaurax has joined #ocaml
<kennyluck>
It does forward chain reasoning, basically.
<vixey>
why do you want to hook it up with HOL?
<flux>
if the bridge module doesn't work, perhaps it can be fixed and the python/caml-programmers of the world could rejoice :)
<kennyluck>
Improve HOL with semantic web technologies. That's my project.
<vixey>
That is quite interesting
<vixey>
What is the purpose?
<kennyluck>
Decentralize the system. So that the theorem data is web-like.
<vixey>
is this anything ot do with that proof wiki?
<kennyluck>
proof wiki?
<kennyluck>
flux, I think I'll hack the module. I noticed that the pycaml work seems to be abandoned since 2004.
damg has joined #ocaml
<kennyluck>
Anyone from INRIA? I noticed that there are various semantic-web related work going on INRIA too. I am interested.
damg has quit [Read error: 54 (Connection reset by peer)]
damg1 has joined #ocaml
<balleyne>
I'm getting an error when trying to compile OCaml 3.10.2: "File "bytecomp/emitcode.ml", line 156, characters 13-17: Unbound value opEQ" anyone know what I can do to fix this?
<bluestorm>
kennyluck: you could try to reactivate pycaml, orelse use the Python-C and C-OCaml bindings
<kennyluck>
well, bluestorm, pycaml is actually just a Python-C and C-OCaml binding.
<Camarade_Tux>
bluestorm, they're not dead iirc, or at least I remember seeing working ocaml<->python quite recently
<kennyluck>
But the Python-C API is changing...
<bluestorm>
kennyluck: of course but if you have a fixed set of modules needing communication, you could use the C bridge for you things only, instead of the whole generic Pycaml work
<Camarade_Tux>
it was named camlpy, pycaml is the old one ;)
<kennyluck>
That's true.
<bluestorm>
:]
<kennyluck>
camlpy?
<kennyluck>
Hmm...My google ability must be bad.
<kennyluck>
link?
<Camarade_Tux>
kennyluck, the one I gave earlier, I've never tried it and think it lacks polishing but shouldn't be bad either
tjeckleburg has quit [Read error: 104 (Connection reset by peer)]
apples` has joined #ocaml
<balleyne>
bluestorm: thanks! I fixed it. I had received an error on that 'awk' line under opcodes, but it only happened the first time (a second try got past it). Must have not generated that file correctly though. I edited the MakeFile to use an absolute path to awk (it's /opt/bin/awk, I'm on a fairly non-standard system), and it got past that unbound error exception. Thank you!
qwr has joined #ocaml
<qwr>
uh. where could i find some combinatorial function library for ocaml?
<alexyk>
hcarty: you here?
<bluestorm>
qwr: "combinatorial function" ?
<qwr>
like haskell has (.), id etc
* qwr
thinks that somebody sure has collected them into some nice lib, so i don't rewrite them in every ocaml program I write ;)
Asmadeus_ is now known as Asmadeus
<hcarty>
alexyk: On and off, yes
<alexyk>
just wanted to report what I saw on jocaml list -- they will try to be more in sync :)
ofaurax has quit ["Leaving"]
qwr has left #ocaml []
balleyne has quit ["Leaving"]
<hcarty>
alexyk: Thanks -- I actually commented in here a little earlier about the same thing :-)
<hcarty>
It's good news
marmotine has quit ["mv marmotine Laurie"]
Snark has quit ["Ex-Chat"]
bkudria has joined #ocaml
<bkudria>
in compiling a program called POY, I run into a syntax error in Token.mli from camlp4. the line it complains about is this: http://gist.github.com/25918 . this looks like a correct functor def to me. is there somethign wrong with it that the compiler doesn't like it?
<mfp>
hmm I suppose Haskell compiled to Javascript would perform worse(?)
<Camarade_Tux>
one of their example is "Enter a decimal number, press "Enter", see the factorial calculated", must resist ;p
<bkudria>
in compiling a program called POY, I run into a syntax error in Token.mli from camlp4. the line it complains about is this: http://gist.github.com/25918 . this looks like a correct functor def to me. is there something wrong with it that the compiler doesn't like it?
<Camarade_Tux>
result : -- :)
<mfp>
ah, maybe not, if they translate directly without an extra interpreter
<mfp>
bkudria: is that revised syntax?
<mfp>
(trailing ';')
<bkudria>
mfp: no clue. it's from the camlp4-extra debian package
* Camarade_Tux
notes the yhc examples are far less advanced that obrowser's
<bluestorm>
bkudria: there is no definition
<bluestorm>
but a closing ";" so yes, it is incorrect as is
<mfp>
uh, isn't that a mere sig?
<bkudria>
bluestorm: sorry, can you clarify? you mean, it's just a sig?
<bluestorm>
hm
<bluestorm>
yes it might be a sig actually
<bkudria>
i can look for the definition...
<bkudria>
it's in a file called Token.mli
<bluestorm>
ah
<bkudria>
this line, i mean
<bluestorm>
so it's revised syntax
<bluestorm>
hence the ";"
<mfp>
yes
<bluestorm>
you must compile it with "-pp camlp4r"
<bluestorm>
(you can compile only the mli with camlp4r, ocamlc -pp camlp4r -c Token.mli, but i suppose the .ml is revised syntax too)
<bkudria>
ok, i think that might help
<bkudria>
iw ill try it
<bkudria>
but i might be back :)
<bkudria>
aah, ok, i added the -pp, now I get "Unbound module type Sig.Loc"
<bkudria>
not quite sure where that is defined
<bkudria>
i think i will just build ocaml and camlp4 myself
<bkudria>
instead of relying on what appear to be buggy debian packages
<Yoric[DT]>
bkudria: that's a weird message.
<Yoric[DT]>
It might mean that camlp4.cma is missing in your compilation.
<Yoric[DT]>
Or it's one of these incompatibilities between camlp4 and camlp5.
<bkudria>
oh, fun
<Yoric[DT]>
Either way, I'm going to call this a night.
<Yoric[DT]>
Cheers.
<bkudria>
night
Yoric[DT] has quit ["Ex-Chat"]
<kennyluck>
OMG, OBrowser is so cool.
<kennyluck>
Is there a similar thing for Haskell?
<palomer>
yes, but it runs a hundred times slower, suffers from memory leaks and takes 10 gigs of ram just to start up
<kennyluck>
Hah...
* palomer
runs
<Camarade_Tux>
and is not ready
<palomer>
speaking of new projects
<palomer>
I just released mine
<Camarade_Tux>
but I'd really like to have yhc examples that match the ones from obrowser, I'd like to compare performance