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>
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>
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
<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