kaustuv changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html
<yziquel> palomer: via ocamlbuild
<yziquel> "phi.ml": pkg_calendar, pkg_netclient, pkg_csv, pkg_pgocaml.statements, syntax_camlp4o
<yziquel> palomer in the _tags file
<yziquel> ah! they changed "statements" in "syntax"...
alexyk has joined #ocaml
jm has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
jm is now known as julm
alexyk has quit []
seafood_ has quit []
<palomer> hah, sorry
<palomer> was concentrating on something else
ulfdoz has quit [Read error: 110 (Connection timed out)]
alexyk has joined #ocaml
Ched has quit [Read error: 60 (Operation timed out)]
Mr_Awesome has joined #ocaml
Ched has joined #ocaml
<yziquel> palomer: no you were right. it's in the META file that "statement" became "syntax"...
alexyk has quit []
Associat0r has joined #ocaml
psnively has joined #ocaml
psnively has left #ocaml []
alexyk has joined #ocaml
<palomer> Ast.TyDcl (_loc,"foo",[],<:ctyp< Bar of int >> ,[]) <--- this gives me the error Failure: "type1 of type2 not allowed here", why oh why?
mpwd has quit []
<jeff_s_> palomer - you're the camlp4 expert in here now
<jeff_s_> say, if you find out how to extend the lexer lemme know, that's something I watned to do a long time ago
<jeff_s_> I forget why now, though.
<palomer> err
<palomer> that's not very hard, is it?
<palomer> just add a quotation
<palomer> oh wait, nevermind
<palomer> actually, I would like to extend the lexer too
<julm> palomer: it worked well for me : http://ocaml.pastebin.com/d32b0b98
<palomer> http://pastebin.com/m7667cf15 <--here's the source
<palomer> it works in ocaml for some reason
<palomer> but not ocamlc
<palomer> oh wait, silly me
<palomer> camlp4 accepts it
<julm> % ocamlc -i -I +camlp4 -pp camlp4orf palomer.ml
<julm> val bar : Camlp4.PreCast.Syntax.Ast.loc -> unit -> Camlp4.PreCast.Syntax.Ast.str_item
<palomer> but ocaml doesn't
<julm> works well
<palomer> julm, it compiles, but then when you try to preprocess code with it ocamlc complains
<palomer> (like in my example)
<palomer> ocamlc -pp 'camlp4o -I . test.cmo' test_in.ml <--this is what I'm using to run it
<palomer> (where test_in.ml is a file which contains the string "foobar" )
<julm> yep yep I figured out ;)
<palomer> err, made some progress
<palomer> (I think)
<palomer> [ Bar of int ] seems to work
mfp has quit [Read error: 110 (Connection timed out)]
<julm> ah
<julm> you used the revised syntax
<julm> that's why
<palomer> it's camlp4! not much of a choice
<julm> simply use camlp4of instead of camlp4orf
<palomer> camlp4of parses old syntax?
<julm> yep
<palomer> I'm using camlp4o
<julm> should too
<palomer> I was under the impression that camlp4o still uses revised syntax (but outputs old syntax)
<julm> whenever the revised syntax is used there is a 'r' in the name
elehack has quit ["Leaving"]
<palomer> oh, you're right
olivierp has quit []
hjpark has joined #ocaml
<hjpark> what is the Y combinator?
alexyk has quit []
<hjpark> Y combinator of "constant" is "constant"?
alexyk has joined #ocaml
<julm> hjpark: what do you mean by « Y combinator of "constant" » ?
<hjpark> kind of "Y 2"
<hjpark> When I evaluate something like "Y F 4", I find the expression Y 1.
<thelema> the y combinator takes a (usually non-recursive) function and a value as arguments
<julm> since [fix] has type (('a -> 'b) -> 'a -> 'b) -> 'a -> 'b you cannot do [fix 2]
<thelema> "Y 2" doesn't seem to fit that
<hjpark> oh
<hjpark> maybe my hand write evaluation was fault. I'll try again.
<palomer> Y is cool
<palomer> I've actually found a use for it, once
<hjpark> hmm... anyone can guess what the result of "Y (¥ëf.¥ëz.(z (f z) x)) (¥ëx.¥ëy.y)" ?
<hjpark> actually I diving into lambda calculus theory..
<palomer> x is free in there
<julm> y (fun f z x -> z (f z) x) (fun y -> y);;
<julm> - : '_a -> 'b = <fun>
<palomer> positive variables are ungeneralizable?
<julm> what does it mean "positive"?
<julm> covariant?
<palomer> errr
<palomer> I believe so
<palomer> "positive occurence"
<palomer> I can't find any references though
<julm> I just know that in OCAML one could write a type with a covariant parameter with a "+": [type +'a t]
<julm> and a "-" for contravariant
<palomer> lemme look harder for a reference...
<julm> IIRC this has found an utility at least in LablGTK somewhere with polymophic variant types
<palomer> I always thought it was to make type errors clearer
<julm> IIRC it's there used to do some downcast with :>
<palomer> automagically?
<palomer> ugh, can't find it
<palomer> anyways, it seems that ocaml generalizes some variables in non-values
mpwd has joined #ocaml
<palomer> (the negative occuring variables, methinks)
* palomer is off!
<julm> see you _o/
mpwd has quit []
alexyk has quit []
ikaros has joined #ocaml
Alpounet has joined #ocaml
hjpark has quit [Remote closed the connection]
rmrfchik has left #ocaml []
Associat0r has quit []
Lomono has joined #ocaml
eevar2 has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
Yoric[DT] has joined #ocaml
barismetin has joined #ocaml
hkBst has joined #ocaml
mishok13 has joined #ocaml
Lomono has quit []
Ched has quit [Read error: 60 (Operation timed out)]
Yoric[DT] has quit ["Ex-Chat"]
Alpounet has quit ["Quitte"]
Camarade_Tux has joined #ocaml
animist has quit [Remote closed the connection]
animist has joined #ocaml
komar_ has joined #ocaml
komar_ has quit [Remote closed the connection]
Lomono has joined #ocaml
yziquel has quit [Remote closed the connection]
mpwd has joined #ocaml
Ched has joined #ocaml
mpwd has quit []
jeanbon has joined #ocaml
komar_ has joined #ocaml
komar_ has quit [Client Quit]
Snark has joined #ocaml
ulfdoz has joined #ocaml
Camarade_Tux has quit ["Leaving"]
<ulfdoz> Schwer verdächtig, das Lambda hält doch auch als Logo für ein Killerspiel her.
<ulfdoz> ewin
Lomono has quit []
Spiwack has joined #ocaml
Associat0r has joined #ocaml
matt__ has quit [Read error: 110 (Connection timed out)]
<kaustuv> gildor: idle question, but why is fusionforge better than gforge?
<kaustuv> Oho, it can use mediawiki. That's pretty good.
komar_ has joined #ocaml
komar_ has quit [Client Quit]
komar_ has joined #ocaml
komar_ has quit [Remote closed the connection]
munga_ has joined #ocaml
seafood has joined #ocaml
sporkmonger has quit []
alexyk has joined #ocaml
sporkmonger has joined #ocaml
seafood has quit []
Lomono has joined #ocaml
mpwd has joined #ocaml
Yoric[DT] has joined #ocaml
willb has quit ["Leaving"]
_andre has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
LeCamarade|Away has quit ["Gone."]
<gildor> kaustuv: fusionforge is an enhancement of gforge
<gildor> kaustuv: it is a fork with some additional functionnalities
willb has joined #ocaml
LeCamarade has joined #ocaml
ikaros has joined #ocaml
alexyk has quit []
jeanbon has quit ["blah"]
ikaros has quit ["Leave the magic to Houdini"]
alexyk has joined #ocaml
eevar2 has quit ["This computer has gone to sleep"]
mpwd has quit []
alexyk has quit []
alexyk has joined #ocaml
alexyk has quit [Client Quit]
Anna` has joined #ocaml
Spiwack has quit [Read error: 54 (Connection reset by peer)]
elehack has joined #ocaml
mpwd_ has joined #ocaml
Anna` has left #ocaml []
alexyk has joined #ocaml
alexyk has quit []
alexyk has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: 101 (Network is unreachable)]
ulfdoz_ is now known as ulfdoz
barismetin has quit [Remote closed the connection]
munga_ has quit [Read error: 113 (No route to host)]
LeCamarade is now known as LeCamarade|Away
alexyk has quit []
angerman has joined #ocaml
ikaros has joined #ocaml
psnively has joined #ocaml
psnively has left #ocaml []
angerman has quit []
sporkmonger has quit ["Poof!"]
matt__ has joined #ocaml
mfp has joined #ocaml
jeff_s_1 has joined #ocaml
sporkmonger has joined #ocaml
jeff_s_ has quit [Read error: 110 (Connection timed out)]
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
<jeff_s_1> palomer - could you point me a few places you looked that helped most with camlp4? Not the revised syntax, the other stuff. also I forgot if you said if you saw how to fuss with the lexer.
Snark has quit ["Ex-Chat"]
<palomer> jeff_s_1, I looked at the sexplib source. also, the json-static source is enormously helpful
<palomer> and I asked this channel:P
angerman has joined #ocaml
Alpounet has joined #ocaml
<flux> perhaps #ocaml should make a co-investment and join the ocaml consortium, and hope that Someone(TM) would write proper documentation for it :-)
<hcarty> flux: I've wondered if that would be a reasonable idea... particularly if xleroy and the rest would agree to a "failsafe" license for the community - if OCaml went unmaintained for some period of time, the community could continue maintenance under an easier license, something like LGPL throughout
<hcarty> It may be worth proposing
<hcarty> I don't know how the OCaml folks would respond to the idea though
<flux> I doubt it's only about Xleroy's opinion how that goes
<flux> university environment etc
<hcarty> flux: Indeed
<hcarty> Not to mention the "full" consortium members
<flux> I suppose the best way would be to convince one's company (should it make use of O'Caml) to join the consortium. you know, keep the funding going.
<flux> which has 10 members at present. I suppose that makes atleast 30k USD a year, then.
<flux> which indeed correlates with the message that there's someone 50% allocated to caml by INRIA?
Ched has quit [Remote closed the connection]
<hcarty> flux: That works for the company in question, but not for the OCaml community at large
<hcarty> It's something of a non-issue though at this time
Ched has joined #ocaml
Ched has quit [Client Quit]
Ched has joined #ocaml
Camarade_Tux has joined #ocaml
julm has quit [Read error: 113 (No route to host)]
hcarty has quit [Remote closed the connection]
<Alpounet> flux, interesting idea but I think there's now way, in practice, to do something like that
lesshaste has joined #ocaml
<lesshaste> hi all
streblo has joined #ocaml
streblo has left #ocaml []
<Alpounet> brb
Alpounet has quit ["Ex-Chat"]
angerman has quit []
hcarty has joined #ocaml
Lomono has quit ["Don't even think about saying Candlejack or else you wi"]
Alpounet has joined #ocaml
elehack has quit ["Leaving"]
willb has quit ["Leaving"]
willb has joined #ocaml
_andre has quit ["don't portuguese out on me"]
alexyk has joined #ocaml
stan has joined #ocaml
sporkmonger has quit [Read error: 110 (Connection timed out)]
stan has quit [Client Quit]
slash_ has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
sporkmonger has joined #ocaml
seafood has joined #ocaml
lesshaste has quit ["Leaving"]
bombshelter13_ has quit []
Camarade_Tux has quit ["Leaving"]
hkBst has quit [Read error: 104 (Connection reset by peer)]
seafood has quit []
willb has quit [Read error: 110 (Connection timed out)]
coopf has joined #ocaml
sporkmonger has quit []
alexyk has quit []