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