flux changed the topic of #ocaml to: Yes, inria.fr is back up! | Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.0beta1 available from http://caml.inria.fr/pub/distrib/ocaml-3.11/ | Or grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html
Yoric[DT] has quit ["Ex-Chat"]
alexyk has joined #ocaml
jlouis has quit [Remote closed the connection]
purple_ has quit [Read error: 113 (No route to host)]
<rpg__> i have a type node with 2 fields, contents and next which points to the next node
<rpg__> now i have another type queue with 2 fields, first and last. the first element points to the next element and the last points to the first creating a circle
<rpg__> i managed to have a queue with only 1 node pointing to itself
<rpg__> but how do i get an empty queue ? is it possible ?
slash_ has joined #ocaml
ulfdoz has quit ["deprecated"]
fschwidom has joined #ocaml
<fschwidom> hi
<fschwidom> if 2 typedefinitions use the same constant names how can i qualify the name of a specific tape?
<fschwidom> type
jknick has joined #ocaml
fschwidom has quit [Remote closed the connection]
Amorphous has quit [Read error: 113 (No route to host)]
Amorphous has joined #ocaml
kig has quit [Remote closed the connection]
threeve has joined #ocaml
<palomer> who wants to write a program in their (non english) native language?
<palomer> it'll be fun!
sporkmonger has quit []
sporkmonger has joined #ocaml
threeve has quit []
threeve has joined #ocaml
jeddhaberstro_ has quit []
m3ga has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
jknick has quit ["leaving"]
fschwidom has joined #ocaml
snhmib has quit ["Good riddance!"]
apples` has quit ["Leaving"]
fschwidom has quit [Remote closed the connection]
Palace_Chan has joined #ocaml
Palace_Chan has quit ["Palace goes to sleep"]
mfp has quit [Read error: 101 (Network is unreachable)]
Yoric[DT] has joined #ocaml
threeve has quit []
Yoric[DT] has quit ["Ex-Chat"]
mishok13 has joined #ocaml
Jedai has quit [Read error: 110 (Connection timed out)]
Jedai has joined #ocaml
_urlwolf___ has joined #ocaml
toyvo has joined #ocaml
_urlwolf__ has quit [Read error: 110 (Connection timed out)]
Jedai has quit [Read error: 104 (Connection reset by peer)]
toyvo has quit [Read error: 104 (Connection reset by peer)]
Jedai has joined #ocaml
Jedai has quit [Connection reset by peer]
Jedai has joined #ocaml
filp has joined #ocaml
asabil_ has quit ["Ex-Chat"]
ulfdoz has joined #ocaml
code17 has joined #ocaml
MeanSpencer has joined #ocaml
MeanSpencer has left #ocaml []
MeanSpencer has joined #ocaml
MeanSpencer has left #ocaml []
OChameau has joined #ocaml
asabil has joined #ocaml
toyvo has joined #ocaml
asabil has quit ["Ex-Chat"]
asabil has joined #ocaml
composer_ has joined #ocaml
_zack has joined #ocaml
toyvo` has joined #ocaml
toyvo has quit [Read error: 104 (Connection reset by peer)]
mfp has joined #ocaml
vixey has joined #ocaml
Snark has joined #ocaml
fschwidom has joined #ocaml
code17 has quit [Remote closed the connection]
itewsh has joined #ocaml
<fschwidom> if 2 typedefinitions use the same constant names how can i qualify the name of a specific type?
<flx> fschwidom, you can't
<gildor> fschwidom: you should prefix it with module name
<flx> fschwidom, workarounds: use different names, use submodules
<flx> right, I assumed the definitions were in the same module
<fschwidom> thx
<flx> in ocaml the term 'constructor names' might be more appropriate, btw.
toyvo`` has joined #ocaml
toyvo` has quit [Read error: 104 (Connection reset by peer)]
mikiael has joined #ocaml
mikiael has left #ocaml []
vixey has quit [Remote closed the connection]
robocop1 has joined #ocaml
mikiael has joined #ocaml
mikiael has left #ocaml []
<robocop1> Hello.
<flx> hello.
OChameau has quit [Read error: 113 (No route to host)]
Snark has quit [Read error: 113 (No route to host)]
<fschwidom> there are line comments in ocaml?
<flx> no
<flx> (* this is the only way to comment *)
<flx> well, barring syntax extensions
<fschwidom> thx
<flx> one could write a syntax extension for another comment syntax
robocop has joined #ocaml
threeve has joined #ocaml
<robocop> Hello :)!
<robocop> I've got a problem with an ocaml's code.
<robocop> I don't now why this code always send a empty list : http://pastebin.com/m573d3b1c
<robocop> possibilitees 9 [1;2;3;4;5;6;7;8;9];;
<robocop> - : (int * int list) list = []
<robocop> PS : sorry for my bad english, I'm french.
<flx> robocop, I just opened the source and may come up with further suggestions, but may I suggest you to try out the #trace command in ocaml toplevel?
<flx> it might help if you take the path-function out from possibilitees
<flx> (and aux)
<flx> for doing the tracing that is
<robocop> Okey.
<robocop> I'm going to seach how use #trace :p
<flx> I wonder if it's what you mean, when you say (decompose n l) instead of (decompose n liste) inside the function poss
<flx> #trace functionname;; in the toplevel
<flx> and then run the function
<robocop> okey, thanks :).
itewsh has quit [Read error: 60 (Operation timed out)]
<robocop> Oh, yes, you right!
<robocop> I thinks is now good.
<robocop> Thanks a lot.
threeve_ has joined #ocaml
<robocop> But, I don't understand why the type of path is int * int list...
<robocop> possibilitees 3 [1;2;3];;
<robocop> - : (int * int list) list = [(3, []); (2, [3]); (1, [2; 3])]
<robocop> Why is not int list ?
<robocop> And why the result is not [1;2;3] ?
<flx> robocop, you're aware the decompose returns a list of ('a * 'a list) ?
threeve has quit [Read error: 60 (Operation timed out)]
threeve_ is now known as threeve
tomh has joined #ocaml
robocop has quit ["Leaving."]
itewsh has joined #ocaml
robocop has joined #ocaml
<robocop> Oh. I found the problem.
robocop1 has left #ocaml []
<robocop> Sorry for all.
robocop has left #ocaml []
snhmib has joined #ocaml
robocop has joined #ocaml
toyvo`` has quit [Read error: 54 (Connection reset by peer)]
<flx> hmph, ocamldep is giving me "Ocaml and preprocessor have incompatible versions"
<flx> I can't understand how it can find a wrong version..
<robocop> I've got a new problem in ocaml :p. I don't understand why this code : http://pastebin.com/m390ed0dc send this error : "This expression has type 'a list but is here used with type 'a list list".
<robocop> The error is on "::(aux n paths y)" in aux.
<flx> ..but strace reveals that it indeed does find ocamldep.opt from the wrong directory, even though it isn't in the path
<flx> robocop, the left side probably is already a list
<flx> robocop, so the right side of :: must be a list list
<robocop> Thank you again, you're great :p.
_zack has quit ["Leaving."]
<robocop> I replace :: by @.
<robocop> But now, the result is [2; 1; 1; 2].
<robocop> How I can make separator, like [[2; 1]; [1; 2]] .
<robocop> ?
<flx> well, you need to have lists inside lists
<robocop> But, if I write : [poss (n-1) (a::paths) b]@(aux n paths y) , I've got the same error.
<robocop> I found it. Thank you again.
robocop has left #ocaml []
_zack has joined #ocaml
velco has joined #ocaml
itewsh has quit ["KTHXBYE"]
purple_ has joined #ocaml
mishok13 has quit [Read error: 110 (Connection timed out)]
purple_ has quit [Read error: 110 (Connection timed out)]
purple_ has joined #ocaml
<flx> mbac, btw, just reading 3.11 beta0 changes: Num: added conversions between big_int and int32, nativeint, int64.
<mbac> sweet
<mbac> thanks
<fschwidom> is it possible to match a recursive datastructure with an unknown recursion level? for instance: match x with | I( 1 , I( 2, ... I( n, Empty) ... ))
<flx> no
<fschwidom> thx
<flx> you could use guards for similar effect
<flx> mathc with | x when has_empty_leaf_node x -> ..
<flx> but you wouldn't be able to get the match directly that way, which is a shame
<fschwidom> ok
<fschwidom> then i have to program a recursive function
<fschwidom> which can handle a recursive description
<fschwidom> of the pattern
pango has quit [Remote closed the connection]
vixey has joined #ocaml
pango has joined #ocaml
<mbac> functional programming is so cool
<mbac> you just slap a monolithic blob of code on the page and then look for common expressions and factor them out
<mbac> and BAM, instant software architecture
code17 has joined #ocaml
tomh has quit ["http://www.mibbit.com ajax IRC Client"]
threeve_ has joined #ocaml
bla has quit [Read error: 60 (Operation timed out)]
bla has joined #ocaml
willb has joined #ocaml
tomh has joined #ocaml
threeve has quit [Read error: 110 (Connection timed out)]
alexyk_ has joined #ocaml
asabil has quit ["Ex-Chat"]
threeve_ is now known as threeve
Camarade_Tux has joined #ocaml
alexyk has quit [Read error: 110 (Connection timed out)]
OChameau has joined #ocaml
zerny has joined #ocaml
jlouis has joined #ocaml
filp has quit ["Bye"]
fschwidom has quit [Remote closed the connection]
velco has quit ["Went wasting time elsewhere ..."]
Snark_ has joined #ocaml
Camarade_Tux has quit ["Leaving"]
_zack has quit ["Leaving."]
Camarade_Tux has joined #ocaml
Camarade_Tux has quit ["Leaving"]
Yoric[DT] has joined #ocaml
apples` has joined #ocaml
love-pingoo has joined #ocaml
velco has joined #ocaml
Demitar has quit [Remote closed the connection]
OChameau has quit [Read error: 113 (No route to host)]
johnnowak has joined #ocaml
Tankado has joined #ocaml
hkBst has joined #ocaml
tomh has quit ["http://www.mibbit.com ajax IRC Client"]
ygrek has joined #ocaml
<palomer> yo
<Yoric[DT]> yo
<palomer> Yoric[DT], try out my app?
<palomer> I'm looking for someone to translate sqrt-english
<palomer> won't take more than 5 minutes!
<palomer> actually, you speak french
<palomer> I can do the french one:O
<palomer> oh wait, the accents always kill me
<Yoric[DT]> Downloaded, but can't compile it.
<palomer> eh?
<palomer> missing dependencies?
<Yoric[DT]> I'll be willing to translate once I've finished my review.
code17 has quit [Remote closed the connection]
<Yoric[DT]> Let me try again and I'll give you the output.
<Yoric[DT]> yoric@Blefuscu:/tmp/east-read-only$ make
<Yoric[DT]> omake
<Yoric[DT]> *** omake: reading OMakefiles
<Yoric[DT]> *** omake error:
<Yoric[DT]> File OMakeroot: line 32, characters 2-14
<Yoric[DT]> can't open IR: /usr/lib/omake/build/C.om
<Yoric[DT]> make: *** [compile] Error 123
<Yoric[DT]> palomer: ?
<palomer> try make
<palomer> but that's a really strange error
<palomer> do you have the latest version?
<Yoric[DT]> Well, I tried make.
<Yoric[DT]> Of omake?
<Yoric[DT]> OMake 0.9.8.5 (release 3):
<palomer> same as mine
<palomer> comment out line 32 of OMakeroot
<Yoric[DT]> One minute, I'm still finishing a review.
<palomer> or, just grab it back from svn
<Yoric[DT]> Well, more 30 minutes :)
<flx> almost the same for me, except: File OMakeroot: line 33, characters 15-31 can't open IR: /usr/lib/omake/build/OCaml.om
<flx> OMake 0.9.8.5 (release 3)
<flx> (self-built)
<flx> (perhaps my build is missing something?)
<flx> hm, actually
<flx> oh, I do have that directory
<palomer> try locate OCaml.om
alexyk_ has quit []
<flx> but my omake is installed to /opt/stow/omake
<palomer> oh my
<flx> I do have /usr/lib/omake/build/OCaml.omc, but my OCaml.om is at /opt/stow/godi/lib/omake/build/OCaml.om
<flx> I don't know what /usr/lib/omake/build is, some work directory?
<palomer> the file was autogenerated by omake
<palomer> strange
<flx> I solved the problem
<flx> by removing the *.omc-files
<flx> they shouldn't be in the repository..
<palomer> ahh, righto!
<flx> new issue: Files /opt/stow/godi/lib/ocaml/pkg-lib/lablgtk2/lablgtk.cmxaand /opt/stow/godi/lib/ocaml/pkg-lib/lablgtk2/lablgtk.cmxaboth define a module named Glib
<palomer> that's easy to fix
<palomer> remove lablgtk.cmxa from OCAMLFLAGS
<palomer> in the OMakefile
<flx> I just copypasted what it echoed to me and removed those
<flx> the ml-files seem to have executable permissions
<flx> for no I reason, I suppose?
<Yoric[DT]> Ok, review complete.
<palomer> none
<flx> yeah, it runs \o/
<flx> but now I'm off to sleep ;)
<palomer> night
<Yoric[DT]> Now, back to dinner :)
<flx> had to run the binary though first - I have no idea how I'd work with it :)
<flx> clicking everywhere and entering text apparently does nothing
jeddhaberstro has joined #ocaml
<palomer> flx, you see the top box?
<palomer> click on it
<palomer> then click on "open"
<palomer> then click "hello_world"
Snark_ has quit ["Ex-Chat"]
<palomer> polynomials is another cool one
<flx> ok..
<flx> can I run it or something?
<palomer> sure
<palomer> click on the top box
<palomer> then select "compile"
<palomer> however, I forgot to delete the omc files in the temp directory
<flx> right, next I'd need to fix the makefile
<flx> but now I'll be off to sleep
<flx> good night
<palomer> night!
<palomer> ok, fixed
<Yoric[DT]> Files /home/yoric/usr/local/godi/lib/ocaml/pkg-lib/lablgtk2/gtkInit.cmx
<Yoric[DT]> and /home/yoric/usr/local/godi/lib/ocaml/pkg-lib/lablgtk2/gtkInit.cmx
<Yoric[DT]> both define a module named GtkInit
<Yoric[DT]> ok, fixed
* Yoric[DT] is now trying to understand how to translate stuff.
zerny has quit [Remote closed the connection]
love-pingoo has quit ["Connection reset by pear"]
* Yoric[DT] is attempting to define average.
<Yoric[DT]> How do I produce "and"?
<det> GODI packages for lablgtk2 link in gtkInit.cmx by default
<det> While Debian packages do not
<det> GODI also does GtkThread,GTKThInit (or similar names), maybe some other modules, if threads are enabled
<det> Debian does not
<det> kind of annoying, requires a configuration step
<det> like the zip/camlzip issue
<Yoric[DT]> palomer: ping
alexyk has joined #ocaml
* Yoric[DT] just can't understand how to introduce infix names in East.
alexyk_ has joined #ocaml
Tankado has quit []
ygrek has quit [Remote closed the connection]
alexyk has quit [Read error: 110 (Connection timed out)]
alexyk_ has quit []
alexyk has joined #ocaml
alexyk_ has joined #ocaml
alexyk has quit [Read error: 104 (Connection reset by peer)]
holoed has joined #ocaml
holoed has left #ocaml []
Camarade_Tux has joined #ocaml
fschwidom has joined #ocaml
threeve has quit ["Leaving"]
velco has quit ["Ex-Chat"]
hkBst has quit [Remote closed the connection]
seafood has joined #ocaml
alexyk_ has quit []
Yoric[DT] has quit ["Ex-Chat"]
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
vixey has quit ["Ex-Chat"]
alexyk has joined #ocaml
Mr_Awesome has joined #ocaml