cjeris changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/
malc_ has quit ["leaving"]
mikeX has quit ["leaving"]
bzzbzz has joined #ocaml
mbishop has quit ["Leaving"]
tautologico has joined #ocaml
shawn_ has joined #ocaml
Smerdyakov has quit ["Leaving"]
mbishop has joined #ocaml
Z4rd0Z has joined #ocaml
bluestorm_ has joined #ocaml
bluestorm_ has quit ["Konversation terminated!"]
tautologico has quit []
Z4rd0Z has quit []
Submarine has quit ["Leaving"]
benny_ has joined #ocaml
kowey has joined #ocaml
benny has quit [Read error: 110 (Connection timed out)]
joshcryer has joined #ocaml
love-pingoo has joined #ocaml
kowey has quit []
johnnowak has quit []
love-pingoo has quit ["Connection reset by pear"]
Mr_Awesome has quit ["...and the Awesome level drops"]
jlouis has quit [Remote closed the connection]
love-pingoo has joined #ocaml
dark_light has joined #ocaml
<dark_light>
is there a way to make a module type compatible with its own definition? like in http://ocaml.1t2.us/390
<dark_light>
i tried module Celula with type t = int * int and some other variations, but the manual seems to say only about the functor type compatibility
jacobian has joined #ocaml
<flux>
hmm
<flux>
Set.Make.exists has signature val exists : (elt -> bool) -> t -> bool
<flux>
you're using it t -> int * int -> bool ?
<flux>
are you thinking Set.Make.mem?
<flux>
let f g = Vida.mem (1, 2) g works
<flux>
I don't know what you're trying :)
malc_ has joined #ocaml
mikeX has joined #ocaml
oscar_h has quit ["leaving"]
shawn_ has quit [Read error: 110 (Connection timed out)]
Z4rd0Z has joined #ocaml
<dark_light>
flux, oh. you are right :) i just misread the Set.Make.exists
malc_ has quit ["leaving"]
<dark_light>
i completed a really simple conway's game of life simulator. if someone wants to play with it, http://ocaml.1t2.us/391 (unfortunately there is no gui)