mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
Yoric[DT] has quit ["Ex-Chat"]
filp has quit ["Bye"]
david_koontz has joined #ocaml
crathman has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.8/2007100816]"]
piggybox has joined #ocaml
lola22 has joined #ocaml
bluestorm_ has quit [Remote closed the connection]
seafood_ has joined #ocaml
lola22 has quit []
yminsky has joined #ocaml
CRathman has joined #ocaml
yminsky has quit []
yminsky has joined #ocaml
yminsky has quit []
yminsky has joined #ocaml
salierix has joined #ocaml
CRathman has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.8/2007100816]"]
smimou has quit ["bli"]
mordaunt has joined #ocaml
yminsky has quit []
mvitale_ has quit [Read error: 110 (Connection timed out)]
jlouis_ has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
ita has quit [Read error: 104 (Connection reset by peer)]
jlouis has quit [Read error: 110 (Connection timed out)]
robozni has quit [Read error: 104 (Connection reset by peer)]
robozni has joined #ocaml
authentic has joined #ocaml
<salierix> What are bigarrays used for?
<flux> for using arrays larger than 16M, for accessing C or Fortran arrays when you have such libraries linked in and for memory mapped files
<salierix> thanks.
robozni has quit ["leaving"]
david_koontz has quit []
<flux> interesting pattern matching extensions: http://code.google.com/p/ocaml-patterns/
<salierix> How do I convert a "value" type in a C function to an unsigned int?
<salierix> The C function is passed an int32
<flux> there's a macro do do that, I don't remember its name
<flux> but I'm sure it's described in the manual section describing interoperating with C..
<flux> int_val or somesuch
<flux> you could find it from the header files too
mordaunt has quit [Read error: 104 (Connection reset by peer)]
joshcryer has quit [Connection reset by peer]
asmanur has joined #ocaml
joshcryer has joined #ocaml
joshcryer has quit [Read error: 104 (Connection reset by peer)]
joshcryer has joined #ocaml
filp has joined #ocaml
Nutssh has quit ["Client exiting"]
salierix has quit ["Leaving"]
joshcryer has quit [Read error: 104 (Connection reset by peer)]
joshcryer has joined #ocaml
seafood_ has quit []
smimou has joined #ocaml
seafood_ has joined #ocaml
bluestorm_ has joined #ocaml
seafood_ has quit []
joshcryer has quit [Read error: 110 (Connection timed out)]
seafood_ has joined #ocaml
Yoric[DT] has joined #ocaml
buluca has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
pango_ has quit [Remote closed the connection]
pango_ has joined #ocaml
bluestorm_ has quit [Remote closed the connection]
seafood__ has joined #ocaml
piggybox has quit [Read error: 110 (Connection timed out)]
mvitale_ has joined #ocaml
seafood_ has quit [Read error: 110 (Connection timed out)]
filp has quit ["Bye"]
bluestorm_ has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
piggybox has joined #ocaml
unfo- is now known as unfo
unfo is now known as unfo-
pango_ has quit [Remote closed the connection]
pango_ has joined #ocaml
jlouis has joined #ocaml
gim has quit [Remote closed the connection]
gim has joined #ocaml
jlouis_ has quit [Read error: 110 (Connection timed out)]
seafood__ has quit []
Tetsuo has joined #ocaml
filp has joined #ocaml
asmanur has quit [Remote closed the connection]
asmanur has joined #ocaml
screwt889 has quit [Read error: 104 (Connection reset by peer)]
Abo-Marwan68 has quit [Read error: 104 (Connection reset by peer)]
pango_ has quit [Remote closed the connection]
buluca has joined #ocaml
screwt889 has joined #ocaml
screwt889 has quit [Remote closed the connection]
pango_ has joined #ocaml
Abo-Marwan68 has joined #ocaml
screwt889 has joined #ocaml
Le-Chuck_ITA has joined #ocaml
<Le-Chuck_ITA> hi there. I can't use record types in "with type" constraints for module signatures
<Le-Chuck_ITA> is this known?
<flux> hm, sounds strange, do you have an example?
<Le-Chuck_ITA> yes
<Le-Chuck_ITA> (typing)
<Le-Chuck_ITA> # module type A = sig type 'a t end;;
<Le-Chuck_ITA> module type A = sig type 'a t end
<Le-Chuck_ITA> # module B : (A with type 'a t = 'a list) = struct type 'a t = 'a list end;;
<Le-Chuck_ITA> module B : sig type 'a t = 'a list end
<Le-Chuck_ITA> # module B : (A with type 'a t = {l : 'a list} ) = struct type 'a t = { l : 'a l# module B : (A with type 'a t = {l : 'a list} ) = struct type 'a t = { l : 'a list } end;;
<Le-Chuck_ITA> Syntax error: ')' expected, the highlighted '(' might be unmatched
<Le-Chuck_ITA> #
<Le-Chuck_ITA> the second "module B" should be accepted
<Le-Chuck_ITA> ok it's better to paste on pastebin.ca :)
<flux> I think the problem is that you can't define a record type there
<flux> similarly you can't write: let a (b:{ i : int }) = ...
<flux> so perhaps you can define the record earlier
<Le-Chuck_ITA> yes but I need to create a new name for it
<Le-Chuck_ITA> anyway I came here just to ask: there seems to be no true reason for this
<flux> true
<Le-Chuck_ITA> is there a known reason?
<flux> I don't think so
<flux> well, perhaps, atleast in certain contexts
<flux> for example consider this: type t = Foo of { i : int } | Bar of { j : int }
<flux> now if we have code like match .. with Foo t -> (* what is the type of t? (=
<flux> uh, *)
<flux> but I suppose that doesn't need to be a problem; the compiler could generate anonymous labels for such types
<Le-Chuck_ITA> hmm isn't it just { i : int }?
<Le-Chuck_ITA> ah
<flux> right, but you never get that type for an expression, if you look what the compiler generates into the annotation file
<bluestorm_> i think that would be flawed
<bluestorm_> how could you possibly say
<bluestorm_> "{ i : int; j : int } alreay exist so you can't use { i : int }" ?
<bluestorm_> hm
<Le-Chuck_ITA> yes I see, if I write type t = { a : int}, the type of { a = 3 } is "t", not { a : int }
<Le-Chuck_ITA> however I might have more luck with the object system
<Le-Chuck_ITA> or just use plain tuples :)
<bluestorm_> but
<bluestorm_> why can't you declare the type before defining the module
<bluestorm_> and use an alias ?
<Le-Chuck_ITA> I wanted to declare it as private
<bluestorm_> hm
<Le-Chuck_ITA> however that's lots contrived, I might just provide accessors
<Le-Chuck_ITA> in fact, if I use tuples or objects, I can't make them private
Torment has joined #ocaml
david_koontz has joined #ocaml
Jedai has quit [Read error: 110 (Connection timed out)]
Le-Chuck_ITA has quit [Read error: 110 (Connection timed out)]
filp has quit ["Bye"]
ita has joined #ocaml
filp has joined #ocaml
filp has quit [Read error: 104 (Connection reset by peer)]
Yoric[DT] has quit [Remote closed the connection]
Yoric[DT] has joined #ocaml
david_koontz_ has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
david_koontz has quit [Read error: 110 (Connection timed out)]
crathman has joined #ocaml
c is now known as camren
camren is now known as carmen
filp has joined #ocaml
ita has quit [Read error: 104 (Connection reset by peer)]
Tetsuo has quit ["Leaving"]
asmanur has quit [Remote closed the connection]
filp has quit ["Bye"]
crathman has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.8/2007100816]"]
david_koontz_ has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has quit ["Ex-Chat"]
david_koontz has joined #ocaml