00:00
ontologiae has joined #ocaml
00:02
nikki93 has quit [Remote host closed the connection]
00:03
contempt has quit [Ping timeout: 252 seconds]
00:04
contempt has joined #ocaml
00:05
nikki93 has joined #ocaml
00:09
contempt has quit [Ping timeout: 252 seconds]
00:10
nikki93 has quit [Remote host closed the connection]
00:11
contempt has joined #ocaml
00:16
jwatzman|work has quit [Quit: jwatzman|work]
00:16
ontologiae has quit [Ping timeout: 260 seconds]
00:20
contempt has quit [Ping timeout: 260 seconds]
00:21
contempt has joined #ocaml
00:25
nikki93 has joined #ocaml
00:27
claudiuc has quit [Remote host closed the connection]
00:29
contempt has quit [Ping timeout: 252 seconds]
00:30
nikki93 has quit [Remote host closed the connection]
00:31
contempt has joined #ocaml
00:35
nikki93 has joined #ocaml
00:40
contempt has quit [Ping timeout: 264 seconds]
00:40
nikki93 has quit [Remote host closed the connection]
00:41
contempt has joined #ocaml
00:43
mort___ has quit [Quit: Leaving.]
00:47
contempt has quit [Ping timeout: 265 seconds]
00:48
nikki93 has joined #ocaml
00:49
contempt has joined #ocaml
00:53
nikki93 has quit [Remote host closed the connection]
00:55
contempt has quit [Ping timeout: 265 seconds]
00:56
contempt has joined #ocaml
00:56
nikki93 has joined #ocaml
01:01
nikki93 has quit [Remote host closed the connection]
01:01
avsm has joined #ocaml
01:05
contempt has quit [Ping timeout: 264 seconds]
01:05
talzeus has quit [Read error: Connection reset by peer]
01:05
Simn has quit [Quit: Leaving]
01:06
avsm has quit [Ping timeout: 252 seconds]
01:07
talzeus has joined #ocaml
01:07
contempt has joined #ocaml
01:07
talzeus has quit [Remote host closed the connection]
01:08
talzeus has joined #ocaml
01:12
zarul has quit [Remote host closed the connection]
01:15
contempt has quit [Remote host closed the connection]
01:16
contempt has joined #ocaml
01:21
nikki93 has joined #ocaml
01:26
contempt has quit [Ping timeout: 252 seconds]
01:27
nikki93 has quit [Remote host closed the connection]
01:27
contempt has joined #ocaml
01:34
bicgena has joined #ocaml
01:36
contempt has quit [Ping timeout: 252 seconds]
01:36
nikki93 has joined #ocaml
01:37
madroach has quit [Ping timeout: 252 seconds]
01:38
contempt has joined #ocaml
01:45
nikki93 has quit [Remote host closed the connection]
01:47
contempt has quit [Ping timeout: 260 seconds]
01:55
avsm has joined #ocaml
01:56
contempt has joined #ocaml
01:57
struktured has quit [Ping timeout: 260 seconds]
01:57
nikki93 has joined #ocaml
01:59
avsm has quit [Ping timeout: 264 seconds]
02:02
nikki93 has quit [Remote host closed the connection]
02:04
contempt has quit [Ping timeout: 260 seconds]
02:07
contempt has joined #ocaml
02:11
nikki93 has joined #ocaml
02:16
contempt has quit [Ping timeout: 252 seconds]
02:16
nikki93 has quit [Remote host closed the connection]
02:17
contempt has joined #ocaml
02:20
nikki93 has joined #ocaml
02:22
q66 has quit [Quit: Leaving]
02:23
contempt has quit [Remote host closed the connection]
02:24
contempt has joined #ocaml
02:26
nikki93 has quit [Remote host closed the connection]
02:29
arjunguha has joined #ocaml
02:29
jao` has joined #ocaml
02:29
jao` has quit [Changing host]
02:29
jao` has joined #ocaml
02:32
contempt has quit [Ping timeout: 252 seconds]
02:33
contempt has joined #ocaml
02:36
nikki93 has joined #ocaml
02:37
yacks has joined #ocaml
02:40
contempt has quit [Ping timeout: 252 seconds]
02:41
nikki93 has quit [Remote host closed the connection]
02:45
contempt has joined #ocaml
02:47
nataren has joined #ocaml
02:49
nikki93 has joined #ocaml
02:55
contempt has quit [Ping timeout: 272 seconds]
02:55
nikki93 has quit [Remote host closed the connection]
02:56
contempt has joined #ocaml
02:57
nikki93 has joined #ocaml
03:02
nikki93 has quit [Remote host closed the connection]
03:02
yacks has quit [Ping timeout: 265 seconds]
03:06
contempt has quit [Ping timeout: 252 seconds]
03:07
contempt has joined #ocaml
03:08
nataren has quit [Remote host closed the connection]
03:14
nataren has joined #ocaml
03:14
struktured has joined #ocaml
03:16
contempt has quit [Ping timeout: 252 seconds]
03:17
nikki93 has joined #ocaml
03:18
contempt has joined #ocaml
03:18
nataren has quit [Remote host closed the connection]
03:19
shinnya has joined #ocaml
03:23
zxqdms has quit [Quit: leaving]
03:27
contempt has quit [Ping timeout: 260 seconds]
03:29
contempt has joined #ocaml
03:30
struktured has quit [Read error: Operation timed out]
03:34
contempt has quit [Ping timeout: 272 seconds]
03:35
contempt has joined #ocaml
03:39
yacks has joined #ocaml
03:43
contempt has quit [Ping timeout: 252 seconds]
03:45
contempt has joined #ocaml
03:47
zpe_ has quit [Remote host closed the connection]
03:48
zpe has joined #ocaml
03:52
nataren has joined #ocaml
03:52
zpe has quit [Ping timeout: 272 seconds]
03:53
contempt has quit [Ping timeout: 265 seconds]
03:54
contempt has joined #ocaml
03:55
Myk267 has quit [Quit: Myk267]
03:56
avsm has joined #ocaml
03:58
nataren has quit [Remote host closed the connection]
04:01
avsm has quit [Ping timeout: 265 seconds]
04:01
contempt has quit [Ping timeout: 265 seconds]
04:08
contempt has joined #ocaml
04:16
talzeus has quit [Read error: Connection reset by peer]
04:17
contempt has quit [Ping timeout: 265 seconds]
04:18
contempt has joined #ocaml
04:20
nataren has joined #ocaml
04:21
nataren has quit [Remote host closed the connection]
04:27
contempt has quit [Ping timeout: 265 seconds]
04:27
ygrek has joined #ocaml
04:29
contempt has joined #ocaml
04:38
ggole has joined #ocaml
04:38
contempt has quit [Ping timeout: 252 seconds]
04:39
contempt has joined #ocaml
04:44
nataren has joined #ocaml
04:46
contempt has quit [Ping timeout: 252 seconds]
04:48
contempt has joined #ocaml
04:49
ygrek has quit [Ping timeout: 264 seconds]
04:53
nataren has quit [Remote host closed the connection]
04:54
contempt has quit [Ping timeout: 260 seconds]
04:55
contempt has joined #ocaml
04:59
avsm has joined #ocaml
05:02
contempt has quit [Ping timeout: 252 seconds]
05:04
contempt has joined #ocaml
05:04
avsm has quit [Ping timeout: 264 seconds]
05:06
nikki93 has quit [Remote host closed the connection]
05:06
jao` has quit [Ping timeout: 272 seconds]
05:09
Guest___ has joined #ocaml
05:11
contempt has quit [Ping timeout: 265 seconds]
05:11
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
05:12
arjunguha has joined #ocaml
05:15
contempt has joined #ocaml
05:18
contempt has quit [Remote host closed the connection]
05:18
contempt has joined #ocaml
05:25
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
05:25
axiles has joined #ocaml
05:27
contempt has quit [Ping timeout: 252 seconds]
05:27
ygrek has joined #ocaml
05:28
contempt has joined #ocaml
05:32
Kakadu has joined #ocaml
05:32
arjunguha has joined #ocaml
05:33
arjunguha has quit [Client Quit]
05:34
contempt has quit [Ping timeout: 252 seconds]
05:35
contempt has joined #ocaml
05:44
contempt has quit [Ping timeout: 272 seconds]
05:46
contempt has joined #ocaml
05:54
Guest___ has quit [Quit: Computer has gone to sleep.]
05:55
Guest___ has joined #ocaml
05:55
contempt has quit [Ping timeout: 260 seconds]
05:57
contempt has joined #ocaml
06:01
nikki93 has joined #ocaml
06:02
nikki93_ has joined #ocaml
06:02
nikki93 has quit [Read error: Connection reset by peer]
06:07
contempt has quit [Ping timeout: 265 seconds]
06:09
contempt has joined #ocaml
06:13
<
Kakadu >
Guys, how to debug errors like Camlp4: Uncaught exception: Unix.Unix_error (20 | CstTag21, "connect", "") ?
06:13
<
Kakadu >
I have tried to connect with same parameters using `psql` and it works!
06:14
contempt has quit [Remote host closed the connection]
06:15
contempt has joined #ocaml
06:15
<
Kakadu >
Ah, PGHOST=localhost
06:19
contempt has quit [Ping timeout: 260 seconds]
06:21
contempt has joined #ocaml
06:28
contempt has quit [Ping timeout: 252 seconds]
06:30
contempt has joined #ocaml
06:33
Dongyancai has quit [Ping timeout: 260 seconds]
06:34
Dongyancai has joined #ocaml
06:39
contempt has quit [Ping timeout: 265 seconds]
06:53
bjorkintosh has quit [Quit: Leaving]
07:03
bjorkintosh has joined #ocaml
07:18
cyanure__ has joined #ocaml
07:31
madroach has joined #ocaml
07:33
zpe has joined #ocaml
07:36
mcclurmc has joined #ocaml
07:40
mcclurmc has quit [Ping timeout: 265 seconds]
07:45
zarul has joined #ocaml
07:51
<
rwmjones >
grrrr I hate functors
07:52
* rwmjones
gives up and uses a class instead
07:53
cyanure__ has quit [Ping timeout: 252 seconds]
07:56
Kakadu has quit [Remote host closed the connection]
07:57
Kakadu has joined #ocaml
07:58
<
mrvn >
rwmjones: hehe. I'm at that choice too.
07:58
Simn has joined #ocaml
07:58
nikki93_ has quit [Remote host closed the connection]
07:58
<
mrvn >
Functors, Objects or first class modules.
08:01
angerman has joined #ocaml
08:06
cyanure__ has joined #ocaml
08:11
bicgena has quit [Quit: Connection closed for inactivity]
08:17
dant3 has quit [Ping timeout: 265 seconds]
08:18
aurynj has joined #ocaml
08:20
zpe has quit [Remote host closed the connection]
08:21
zpe has joined #ocaml
08:22
dant3 has joined #ocaml
08:25
zpe has quit [Ping timeout: 252 seconds]
08:35
ski has joined #ocaml
08:37
mcclurmc has joined #ocaml
08:41
mcclurmc has quit [Ping timeout: 252 seconds]
08:51
<
mrvn >
Poll: [ ] module DirEntry or [ ] module Dir_entry?
08:52
<
mrvn >
or [ ] module Dir_Entry
08:53
ygrek has quit [Ping timeout: 264 seconds]
08:54
<
Qrntz >
[x] module DirEntry
08:58
<
mrvn >
I have a module type ORDERED_TYPE for a functor. Can I specify that module DirEntry must at least have sig ORDERED_TYPE but can extend it?
08:59
<
gasche >
no, but strengthening will generally do the job of making it look like "yes"
09:02
<
mrvn >
strengthening?
09:06
avsm has joined #ocaml
09:06
Guest___ has quit [Quit: Computer has gone to sleep.]
09:07
<
ggole >
Can't you module CheckIsOrderedType (Arg: ORDERED_TYPE) = struct end or something?
09:07
mort___ has joined #ocaml
09:08
<
mrvn >
ggole: A dummy functor and apply that to check the type? Sounds like a plan
09:08
<
ggole >
Bit of a hack, but it should work.
09:09
<
mrvn >
but how do I apply it? I can't apply it in the module itself.
09:09
<
ggole >
In some other convenient module, I suppose :/
09:09
<
mrvn >
I have Foo.ml and want to make sure Foo implements ORDERED_TYPE
09:10
<
mrvn >
So when I compile Foo.ml I get an error, not half an hour later when Bar.ml gets compiled.
09:10
avsm has quit [Ping timeout: 265 seconds]
09:11
<
ggole >
You could wrap the contents of Foo in an inner module: but that's pretty ugly
09:11
Guest has joined #ocaml
09:11
talzeus has joined #ocaml
09:13
<
ggole >
Have the build system compile CheckFoo.ml whenever Foo.ml is compiled?
09:13
<
companion_cube >
[x] DirEntry
09:13
<
companion_cube >
rwmjones: what's the context?
09:14
talzeus has quit [Remote host closed the connection]
09:15
talzeus has joined #ocaml
09:15
thomasga has joined #ocaml
09:19
Thooms has joined #ocaml
09:26
ulfdoz has joined #ocaml
09:30
<
rwmjones >
companion_cube: so .. what I want, I think, is to define a module signature which others can implement .. the twist is that I want to provide defaults for some functions in that module (so if they are not overriden in the "derived" modules, then they get the default impl)
09:30
<
rwmjones >
inheritence basically
09:31
<
mrvn >
module MPlus = struct include MBase let foo () = 17 end
09:31
<
rwmjones >
if a function in MBase calls foo, will it call the overridden function?
09:31
<
adrien >
it is shadowed
09:31
zpe has joined #ocaml
09:32
<
rwmjones >
i need that too
09:32
<
adrien >
forget what I said, I had misread :)
09:32
<
adrien >
but, yeah, you want objects :)
09:33
<
companion_cube >
looks so, indeed
09:33
<
mrvn >
or first class modules.
09:33
<
rwmjones >
right, except :-)
09:33
<
rwmjones >
I tried to use classes, but I also need each object to have an abstract type, like type t (hidden impl)
09:33
<
rwmjones >
I think what I need is a module with a class inside it
09:34
<
mrvn >
if it is abstract then how can users override functions?
09:35
<
rwmjones >
no I mean an abstract type t inside the class
09:35
<
rwmjones >
each class will implement t differently
09:35
<
companion_cube >
GADT + polymorphic class into the t type? ^^
09:35
<
rwmjones >
the class as a whole will be inherited from
09:35
<
rwmjones >
however classes only let me parameterize on the type, which doesn't work as I want to store objects of different types in a list
09:35
<
mrvn >
module M = struct type t let foo () = () ... class x = obecjt ... end end
09:36
<
rwmjones >
right, class in a module is what I'm doing
09:36
<
rwmjones >
it's a bit ugly, that's all
09:36
<
mrvn >
rwmjones: you need to define a base class and then cast all objects to base class for the list.
09:36
zpe has quit [Ping timeout: 265 seconds]
09:36
<
rwmjones >
for the class alone (without the module), it doesn't work if the class is parameterized
09:37
<
mrvn >
rwmjones: try: class x = let M = module ... in object ... end
09:37
<
rwmjones >
ok I don't know what that does
09:37
<
mrvn >
rwmjones: defines a first class module locally for the class
09:37
<
mrvn >
the syntax might be a bit off
09:38
<
mrvn >
As for your parameterized class. The base class must not be parameterized and you must be able to cast the parameterized class to base.
09:39
<
mrvn >
The base class can't have any method that depends on the parameterized thing.
09:39
<
mrvn >
Otherwise you need GADTs.
09:39
<
rwmjones >
unfortunately the parameter is exposed in method signatures of the base class
09:39
* rwmjones
checks out GADTs
09:40
<
mrvn >
rwmjones: Say you have class 'a foo with method add : 'a -> unit. If you put int foo and float foo into a list what would "List.iter (x#add 1) list" do?
09:44
<
mrvn >
rwmjones: can you show your classes?
09:45
<
rwmjones >
it's a bit half-arsed at the moment, give me a sec
09:46
<
rwmjones >
so 'pkg is the abstract t type I was talking about earlier
09:46
<
rwmjones >
each class will want to define its own type for that
09:47
<
rwmjones >
each
*subclass*
09:47
<
rwmjones >
get_all_requires is a function that subclasses might override if they have a more efficient way to implement it
09:47
<
rwmjones >
and i want to put several of these subclassed objects on the same lits
09:48
<
mrvn >
Why have a package_handler that works for mayn pkg names? Why not have one instance per pkg?
09:48
<
rwmjones >
mrvn: not sure I understand the question?
09:49
<
rwmjones >
well a package handler is a module with many implementations, like for rpm, dpkg et
09:49
<
mrvn >
class virtual package = object(self) method virtual to_string : string ... end
09:50
<
rwmjones >
and what does get_all_requires look like?
09:51
<
mrvn >
let get_all_requires pkgs = let deps = List.map (fun pkg -> pkg#get_requires) pkgs in let deps = List.flatten deps in ...
09:52
<
mrvn >
compare is a bit of a problem. You need to be able to compare packages from different systems. I guess you would compare a name and version
09:52
<
rwmjones >
but most modules will need to override that function, since they will have more efficient ways to implement it .. the default impl will be dog slow
09:53
<
rwmjones >
also I specifically don't want to mix packages from different systems
09:53
<
rwmjones >
that should not happen
09:54
<
mrvn >
Then you need a GADT: type deb type rpm type _ pkg_system = Deb : deb pkg_system | Rpm : rpm pkg_system
10:00
<
mrvn >
rwmjones: maybe it would be simpler to just have multiple lists. One per package system. You only have a few of them.
10:02
<
adrien >
you forgot Yypkg in your variants! ='(
10:02
Simn is now known as Simn|gone
10:16
tty56 has joined #ocaml
10:31
arjunguha has joined #ocaml
10:37
<
flux >
it's being run in isolation, not during other transactions?
10:38
mcclurmc has joined #ocaml
10:39
tty56 has quit [Quit: tty56]
10:43
mcclurmc has quit [Ping timeout: 265 seconds]
10:49
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
10:51
ygrek has joined #ocaml
10:52
arjunguha has joined #ocaml
11:02
Guest has quit [Quit: Computer has gone to sleep.]
11:07
q66 has joined #ocaml
11:07
<
mrvn >
type leaf = Leaf type 'a node = Node type _ tree = | LeafNode : leaf tree | InnerNode : 'a tree -> 'a node tree;;
11:07
<
mrvn >
Error: In this definition, a type variable has a variance that is not reflected by its occurrence in type parameters.
11:07
<
mrvn >
What's is wrong with that?
11:07
<
companion_cube >
type 'a node = Node, I guess
11:07
<
companion_cube >
you need type 'a node = Node : 'a node;; I think
11:08
<
mrvn >
It complains about the last type.
11:08
avsm has joined #ocaml
11:08
<
mrvn >
companion_cube: ok. What's the difference?
11:08
<
companion_cube >
the second definition is a GADT
11:08
<
companion_cube >
but I'm not even sure you really can do it, because the type variable is free
11:09
<
bernardofpc >
strangely, separating in two lines it works for me
11:09
<
mrvn >
type 'a node = Node of 'a works too. Why not just Node?
11:10
<
bernardofpc >
(doing leaf and 'a node , then ;;, then type _ tree = .. ;; after)
11:10
<
bernardofpc >
(utop 1.11 / Ocaml 4.01)
11:10
<
mrvn >
OCaml version 4.00.1
11:11
<
bernardofpc >
but I don't see exactly what you're trying to do
11:12
<
mrvn >
bernardofpc: I want to create a tree structure where the height of the tree is encoded in a GADT and not in the data of the tree itself.
11:12
<
companion_cube >
mrvn: what would the type of let x = Node;; be?
11:12
<
mrvn >
companion_cube: '_a node
11:12
avsm has quit [Ping timeout: 252 seconds]
11:12
<
flux >
hmm, the original version works for me?
11:13
<
mrvn >
flux: version?
11:15
<
flux >
does someone know how to add an accelerator in LablGTK2 to a button? (not a menu entry)
11:15
<
mrvn >
time to update then
11:15
<
flux >
I think my problem is finding a value of type (widget, unit -> unit) GtkSignal.t
11:16
<
flux >
I only have ([`button), unit -> unit) GtkSignal.t available via GtkButtonProps.S.activate
11:17
<
flux >
ie: quit_button#misc#add_accelerator ~sgn:GtkButtonProps.Button.S.activate ~group:accel_group GdkKeysyms._q
11:20
<
adrien >
13:15 flux : I only have ([`button), unit -> unit) GtkSignal.t available via GtkButtonProps.S.activate
11:20
<
adrien >
that's [`button] or [>`button] ?
11:20
<
Kakadu >
flux: yeah, it seems it is in isolation
11:20
<
mrvn >
Hmm, another GADT question: Given an integer x how do I produce the type (InnerNode : leaf node node node ... <x times> ... node tree)?
11:21
pminten has joined #ocaml
11:21
<
flux >
GtkButtonProps.Button.S: val activate : ([> `button ], unit -> unit) GtkSignal.t
11:21
<
Kakadu >
flux: the problem is that I don't understand how to rewrite in PGOCaml something like 'SELECT id, name, path FROM employees WHERE path && ARRAY[2]'
11:21
<
Kakadu >
So, I'm going to do some unsafe magic
11:22
thomasga has quit [Quit: Leaving.]
11:24
<
companion_cube >
mrvn: recursively, I'd say
11:24
<
flux >
adrien, my problem is 'solved' with Obj.magic as well :). but there is probably some cast functionality I'm missing..
11:24
<
companion_cube >
with a successor function
11:24
<
companion_cube >
but the integer has to be known at compile time, for the lack of dependent types
11:25
<
mrvn >
companion_cube: the integer is read from disk.
11:25
<
companion_cube >
aww.
11:26
<
companion_cube >
well then you can build a _ tree, I guess
11:26
<
adrien >
flux: I'm wondering if the type is right
11:27
tty56 has joined #ocaml
11:27
<
adrien >
flux: maybe it should be [`button|widget]
11:27
<
flux >
maybe the type should be somehow parametrized?
11:27
<
flux >
it comes through the #misc method of a widget
11:27
<
mrvn >
companion_cube: the question is how. I can't write a function int -> _ tree, that won't type.
11:27
<
adrien >
I'm really not sure and still wondering
11:28
<
adrien >
#misc returns a GObj.widget iirc
11:28
<
companion_cube >
mrvn: you need to wrap _ tree into an existential
11:28
<
adrien >
or some "base" type like that
11:28
<
companion_cube >
type some_tree : SomeTree : 'a tree -> some_tree
11:28
<
companion_cube >
and then you can return this type from an int
11:28
<
mrvn >
companion_cube: I think I need to change the read_node function to take the depth and return a tuple of ('a tree, 'a)
11:28
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
11:29
<
companion_cube >
a GADT then
11:29
<
mrvn >
'a tree is a GADT
11:29
<
adrien >
flux: you wanted to send the signal "activate" to quit_button when pressing M-q ?
11:29
<
companion_cube >
because you can't decide which 'a it is based on a runtime value
11:29
<
mrvn >
supposed to be the witness type for the depth of the tree.
11:29
<
companion_cube >
mrvn: yes, but another GADT, I think
11:29
<
companion_cube >
mrvn: type some_tree : 'a tree * 'a -> some_tree
11:29
<
companion_cube >
oops, forgot the constructor
11:30
<
companion_cube >
type some_tree = SomeTree : 'a tree * 'a -> some_tree
11:30
<
mrvn >
hmm. maybe. Will see once 4.01 is installed.
11:30
<
companion_cube >
because you need to existentially quantify on 'a
11:30
<
companion_cube >
"there is a 'a such that the function returns a 'a tree"
11:31
<
mrvn >
companion_cube: I need that to store the result of the read_node function. But the read_node can return ('a tree, 'a) I think.
11:31
<
flux >
adrien, I swept the problem under a rug with let cast_button_signal_as_widget_signal (x : ([`button], unit -> unit) GtkSignal.t) : (Gtk.widget, unit -> unit) GtkSignal.t = Obj.magic x
11:31
<
companion_cube >
i don't think so, but you can try :)
11:31
<
adrien >
flux: can you mention your issue on the lablgtk mailing-list? I have a few other things going on right now and
11:31
<
flux >
can I send it without being a subscriber?
11:31
<
adrien >
flux: I believe your workaround is safe btw
11:32
<
adrien >
well, try it and I'll tell you it it works :P
11:32
<
adrien >
(if not, I'll forware the email)
11:32
<
flux >
adrien, what's the address?
11:32
<
adrien >
good question :D
11:33
<
adrien >
lablgtk-list@lists.forge.ocamlcore.org
11:39
mcclurmc has joined #ocaml
11:42
<
flux >
I even wrote a complete self-containing test case!
11:43
* flux
gives a brownie-point for himself
11:44
mcclurmc has quit [Ping timeout: 260 seconds]
11:49
darkf has quit [Quit: Leaving]
11:53
<
mrvn >
companion_cube: Any idea how to convince ocaml that the pattern at the end ist exhaustive?
11:53
<
companion_cube >
ah, it can't be a leaf because n > 2 ?
11:54
<
mrvn >
companion_cube: exactly.
11:54
<
companion_cube >
I think you need to write the case and put a assert false
11:54
<
companion_cube >
arithmetic is beyond what the type checker knows...
12:03
<
flux >
adrien, "You mail.. " "..Is being held until the list moderator can review it for approval."
12:04
<
adrien >
flux: thanks, I'll wait a bit to see if it gets approved (not something I can do myself) and if not, I'll send it myself
12:05
troydm has quit [Ping timeout: 252 seconds]
12:08
troydm has joined #ocaml
12:08
Simn|gone is now known as Simn
12:16
pminten has quit [Quit: Leaving]
12:21
pminten has joined #ocaml
12:21
milosn has quit [Ping timeout: 265 seconds]
12:22
ygrek has quit [Ping timeout: 260 seconds]
12:24
ontologiae has joined #ocaml
12:33
milosn has joined #ocaml
12:34
madroach has quit [Quit: leaving]
12:38
csakatoku has joined #ocaml
12:39
Dongyancai has quit [Quit: leaving]
12:43
ulfdoz has quit [Quit: kernel upgrade]
12:45
ontologiae has quit [Ping timeout: 252 seconds]
12:48
ulfdoz has joined #ocaml
12:48
<
mrvn >
if only one could write: # type _ foo = D : 0 -> int foo | D : n -> float foo;;
12:49
csakatoku has quit [Remote host closed the connection]
12:57
arjunguha has joined #ocaml
12:59
pyon has quit [Quit: zzz]
13:05
watermind has joined #ocaml
13:06
ygrek has joined #ocaml
13:11
thomasga has joined #ocaml
13:14
smerz_ has joined #ocaml
13:14
smerz has joined #ocaml
13:14
tty56 has quit [Quit: tty56]
13:15
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
13:20
Sim_n has joined #ocaml
13:21
njcomsec has joined #ocaml
13:22
japesina- has joined #ocaml
13:24
NoNNaN has quit [Ping timeout: 240 seconds]
13:24
rgrinberg has quit [Ping timeout: 272 seconds]
13:24
dRbiG has quit [Ping timeout: 272 seconds]
13:24
marky_ has joined #ocaml
13:24
yastero has joined #ocaml
13:24
maurer has quit [Ping timeout: 272 seconds]
13:24
caligula_ has quit [Ping timeout: 272 seconds]
13:24
dinosaure has quit [Ping timeout: 272 seconds]
13:24
Armael_ has quit [Ping timeout: 272 seconds]
13:24
s4muel has quit [Ping timeout: 272 seconds]
13:24
bholst_ has joined #ocaml
13:24
ulfdoz_ has joined #ocaml
13:25
dinosaure has joined #ocaml
13:25
r0b4 has joined #ocaml
13:26
mort___1 has joined #ocaml
13:26
yastero_ has quit [Ping timeout: 260 seconds]
13:26
marky has quit [Ping timeout: 260 seconds]
13:26
gargawel has quit [Ping timeout: 260 seconds]
13:26
j0sh_ has quit [Ping timeout: 260 seconds]
13:26
cross has quit [Ping timeout: 260 seconds]
13:26
chris2 has quit [Ping timeout: 260 seconds]
13:26
tristero has quit [Ping timeout: 260 seconds]
13:26
julm has quit [Ping timeout: 260 seconds]
13:26
brendan has quit [Ping timeout: 260 seconds]
13:26
hnrgrgr_ has quit [Ping timeout: 260 seconds]
13:26
caligula__ has joined #ocaml
13:26
WraithM has quit [Ping timeout: 260 seconds]
13:26
hyperboreean has quit [Ping timeout: 260 seconds]
13:26
cross has joined #ocaml
13:26
smondet has quit [Ping timeout: 260 seconds]
13:26
tristero has joined #ocaml
13:26
axiles_ has joined #ocaml
13:26
sad0ur_ has joined #ocaml
13:27
uggwar_ has joined #ocaml
13:27
The-Mad-Pirate-2 has joined #ocaml
13:28
ousado_ has joined #ocaml
13:29
pminten has quit [*.net *.split]
13:29
talzeus has quit [*.net *.split]
13:29
mort___ has quit [*.net *.split]
13:29
cyanure__ has quit [*.net *.split]
13:29
ddosia has quit [*.net *.split]
13:29
Nahra has quit [*.net *.split]
13:29
The-Mad-Pirate has quit [*.net *.split]
13:29
rob3 has quit [*.net *.split]
13:29
siddharthv has quit [*.net *.split]
13:29
rwmjones has quit [*.net *.split]
13:29
jpdeplaix` has quit [*.net *.split]
13:29
aurynj has quit [*.net *.split]
13:29
angerman has quit [*.net *.split]
13:29
Simn has quit [*.net *.split]
13:29
hcarty has quit [*.net *.split]
13:29
srcerer has quit [*.net *.split]
13:29
japesinator has quit [*.net *.split]
13:29
_5kg has quit [*.net *.split]
13:29
jbrown has quit [*.net *.split]
13:29
olasd has quit [*.net *.split]
13:29
the-gibson has quit [*.net *.split]
13:29
whitequark has quit [*.net *.split]
13:29
tov has quit [*.net *.split]
13:29
pedagand has quit [*.net *.split]
13:29
jzelinskie_ has joined #ocaml
13:29
dRbiG has joined #ocaml
13:32
gasche has quit [Ping timeout: 272 seconds]
13:32
passiveobserver has quit [Ping timeout: 272 seconds]
13:32
bholst has quit [Ping timeout: 272 seconds]
13:32
kerneis has quit [Ping timeout: 272 seconds]
13:32
mfp has quit [Ping timeout: 272 seconds]
13:32
ulfdoz has quit [*.net *.split]
13:32
axiles has quit [*.net *.split]
13:32
rom1504 has quit [*.net *.split]
13:32
jzelinskie has quit [*.net *.split]
13:32
gereedy has quit [*.net *.split]
13:32
leifw has quit [*.net *.split]
13:32
_habnabit has quit [*.net *.split]
13:32
bitbckt has quit [*.net *.split]
13:32
andreypopp has quit [*.net *.split]
13:32
via has quit [*.net *.split]
13:32
Ptival has quit [*.net *.split]
13:32
Cypi has quit [*.net *.split]
13:32
tnguyen has quit [*.net *.split]
13:32
yroeht2 has quit [*.net *.split]
13:32
ccasin has quit [*.net *.split]
13:32
robink has quit [*.net *.split]
13:32
so has quit [*.net *.split]
13:32
dlat has quit [*.net *.split]
13:32
Leonidas has quit [*.net *.split]
13:32
NaCl has quit [*.net *.split]
13:33
ulfdoz_ is now known as ulfdoz
13:34
jzelinskie_ is now known as jzelinskie
13:34
Khady1 has joined #ocaml
13:35
axiles_ has quit [Quit: Quitte]
13:35
dinosaure has quit [*.net *.split]
13:35
Sim_n has quit [*.net *.split]
13:35
njcomsec has quit [*.net *.split]
13:35
demonimin has quit [*.net *.split]
13:35
lopex has quit [*.net *.split]
13:38
leifw has joined #ocaml
13:38
mdenes1 has joined #ocaml
13:38
whitequa1k has joined #ocaml
13:38
andreypopp has joined #ocaml
13:38
ccasin has joined #ocaml
13:38
robink has joined #ocaml
13:38
so has joined #ocaml
13:38
dlat has joined #ocaml
13:38
Leonidas has joined #ocaml
13:38
NaCl has joined #ocaml
13:38
robink has quit [Max SendQ exceeded]
13:40
robink has joined #ocaml
13:40
Ptival has joined #ocaml
13:40
pedagand_ has joined #ocaml
13:40
bjorkintosh is now known as 17WAA57PG
13:40
bjorkintosh has joined #ocaml
13:41
srcerer has joined #ocaml
13:42
uggwar has quit [*.net *.split]
13:42
vbmithr has quit [*.net *.split]
13:45
smerz has quit [Ping timeout: 245 seconds]
13:46
smerz_ has quit [Ping timeout: 264 seconds]
13:48
mort___1 has quit [Quit: Leaving.]
13:49
chris2 has joined #ocaml
13:49
tov has joined #ocaml
13:50
talzeus has joined #ocaml
13:50
Cypi has joined #ocaml
13:50
thomasga has quit [*.net *.split]
13:50
watermind has quit [*.net *.split]
13:50
zarul has quit [*.net *.split]
13:50
17WAA57PG has quit [*.net *.split]
13:50
sad0ur has quit [*.net *.split]
13:50
Khady has quit [*.net *.split]
13:50
adrien has quit [*.net *.split]
13:50
mrvn has quit [*.net *.split]
13:50
jdoles has quit [*.net *.split]
13:50
jave has quit [*.net *.split]
13:50
dkg has quit [*.net *.split]
13:50
ousado has quit [*.net *.split]
13:50
nickmeha1ry has quit [*.net *.split]
13:50
kristi_k1dare has quit [*.net *.split]
13:50
samebchase has quit [*.net *.split]
13:50
mdenes has quit [*.net *.split]
13:50
mrvn has joined #ocaml
13:51
hyperboreean has joined #ocaml
13:51
arjunguha has joined #ocaml
13:51
watermind has joined #ocaml
13:51
julm has joined #ocaml
13:51
kerneis has joined #ocaml
13:51
_5kg has joined #ocaml
13:52
pminten has joined #ocaml
13:52
jdoles has joined #ocaml
13:52
the-gibson has joined #ocaml
13:52
the-gibson has quit [Changing host]
13:52
the-gibson has joined #ocaml
13:52
ddosia has joined #ocaml
13:52
gasche has joined #ocaml
13:52
dkg has joined #ocaml
13:52
via has joined #ocaml
13:52
s4muel has joined #ocaml
13:53
cyanure__ has joined #ocaml
13:57
dRbiG has quit [Ping timeout: 248 seconds]
13:57
clog has quit [Ping timeout: 248 seconds]
14:02
clog_ has joined #ocaml
14:03
sgnb has quit [Ping timeout: 260 seconds]
14:04
maurer has joined #ocaml
14:04
zarul has joined #ocaml
14:04
kristi_kodare has joined #ocaml
14:04
talzeus_ has joined #ocaml
14:04
rks_ has joined #ocaml
14:04
Brocoli_ has joined #ocaml
14:04
BiDOrD_ has joined #ocaml
14:04
rixed_ has joined #ocaml
14:04
zarul has quit [Max SendQ exceeded]
14:04
Nahra has joined #ocaml
14:04
hcarty_ has joined #ocaml
14:04
andreypopp_ has joined #ocaml
14:04
Nahra has quit [Changing host]
14:04
Nahra has joined #ocaml
14:04
leifw_ has joined #ocaml
14:04
ulfdoz has quit [Ping timeout: 252 seconds]
14:04
the-gibs1n has joined #ocaml
14:04
dkg has quit [Ping timeout: 252 seconds]
14:04
cyanure__ has quit [Ping timeout: 252 seconds]
14:04
tov has quit [Ping timeout: 252 seconds]
14:04
bjorkintosh has quit [Ping timeout: 252 seconds]
14:04
tnguyen has joined #ocaml
14:04
vbmithr has joined #ocaml
14:04
dlat_ has joined #ocaml
14:04
willb1 has joined #ocaml
14:04
leifw has quit [Ping timeout: 245 seconds]
14:04
andreypopp has quit [Ping timeout: 245 seconds]
14:04
Leonidas has quit [Ping timeout: 245 seconds]
14:04
ccasin has quit [Ping timeout: 245 seconds]
14:04
jdoles has quit [Ping timeout: 245 seconds]
14:04
dlat has quit [Ping timeout: 245 seconds]
14:04
NaCl has quit [Ping timeout: 245 seconds]
14:04
passiveobserver has joined #ocaml
14:04
mdenes1 has quit [Ping timeout: 245 seconds]
14:04
caligula has joined #ocaml
14:04
sgnb` has joined #ocaml
14:04
Cypi_ has joined #ocaml
14:04
pango_ has joined #ocaml
14:04
tlockney_ has joined #ocaml
14:04
alex_nx has joined #ocaml
14:04
rom1504 has joined #ocaml
14:04
dkg_ has joined #ocaml
14:04
rwmjones has joined #ocaml
14:04
leifw_ is now known as leifw
14:04
andreypopp_ is now known as andreypopp
14:04
dRbiG has quit [Ping timeout: 248 seconds]
14:04
clog has quit [Ping timeout: 248 seconds]
14:04
iZsh has quit [Ping timeout: 248 seconds]
14:04
rks has quit [Ping timeout: 248 seconds]
14:04
Cypi has quit [Ping timeout: 248 seconds]
14:04
talzeus has quit [Ping timeout: 248 seconds]
14:04
nicoo has quit [Ping timeout: 248 seconds]
14:04
ivan\ has quit [Ping timeout: 248 seconds]
14:04
rixed has quit [Ping timeout: 248 seconds]
14:04
vpm has quit [Ping timeout: 248 seconds]
14:04
rs0 has quit [Ping timeout: 248 seconds]
14:04
xaimus has quit [Ping timeout: 248 seconds]
14:04
mrvn has quit [Ping timeout: 248 seconds]
14:04
jlouis has quit [Ping timeout: 248 seconds]
14:04
Asmadeus has quit [Ping timeout: 248 seconds]
14:04
via has quit [Ping timeout: 248 seconds]
14:04
_5kg has quit [Ping timeout: 248 seconds]
14:04
arjunguha has quit [Ping timeout: 248 seconds]
14:04
nicoo has joined #ocaml
14:04
mrvn has joined #ocaml
14:04
nicoo has quit [Changing host]
14:04
nicoo has joined #ocaml
14:04
uggwar has joined #ocaml
14:04
hnrgrgr has joined #ocaml
14:04
iZsh_ has joined #ocaml
14:04
mdenes1 has joined #ocaml
14:04
jdoles has joined #ocaml
14:04
angerman has joined #ocaml
14:04
cross has quit [Ping timeout: 260 seconds]
14:04
sad0ur_ has quit [Ping timeout: 260 seconds]
14:04
kerneis has quit [Ping timeout: 260 seconds]
14:04
saarin has quit [Ping timeout: 260 seconds]
14:04
uggwar_ has quit [Ping timeout: 260 seconds]
14:04
tristero has quit [Ping timeout: 260 seconds]
14:04
caligula__ has quit [Ping timeout: 260 seconds]
14:04
pminten has quit [Ping timeout: 260 seconds]
14:04
jpdeplaix has joined #ocaml
14:04
dRbiG has joined #ocaml
14:04
saarin_ has joined #ocaml
14:04
saarin_ is now known as saarin
14:04
bjorkintosh has joined #ocaml
14:04
trystero has joined #ocaml
14:04
ivan\ has joined #ocaml
14:04
gargawel has joined #ocaml
14:04
kerneis has joined #ocaml
14:04
cdidd has joined #ocaml
14:04
cyanure__ has joined #ocaml
14:04
cross has joined #ocaml
14:05
struktured has joined #ocaml
14:06
siddharthv has joined #ocaml
14:06
zarul has joined #ocaml
14:06
vpm has joined #ocaml
14:06
_5kg has joined #ocaml
14:06
dinosaure1 has joined #ocaml
14:07
asmanur has joined #ocaml
14:07
jave has joined #ocaml
14:08
orbitz has joined #ocaml
14:08
NaCl has joined #ocaml
14:08
NaCl has quit [Changing host]
14:08
NaCl has joined #ocaml
14:08
smondet has joined #ocaml
14:08
wolfnn has joined #ocaml
14:08
adrien_oww has joined #ocaml
14:09
testcocoon has joined #ocaml
14:09
rks has joined #ocaml
14:09
Nahra_ has joined #ocaml
14:09
maurer_ has joined #ocaml
14:09
rixed has joined #ocaml
14:09
julm_ has joined #ocaml
14:09
hcarty has joined #ocaml
14:09
tov has joined #ocaml
14:10
j0sh has joined #ocaml
14:10
Sim_n has joined #ocaml
14:10
demonimin has joined #ocaml
14:10
lopex has joined #ocaml
14:11
sad0ur has joined #ocaml
14:12
smerz has joined #ocaml
14:12
smerz_ has joined #ocaml
14:12
Dongyancai has joined #ocaml
14:12
mort___1 has joined #ocaml
14:12
kristi_k1dare has joined #ocaml
14:12
rs0 has joined #ocaml
14:13
struktured has quit [Ping timeout: 260 seconds]
14:14
the-gibs1n has quit [*.net *.split]
14:14
hcarty_ has quit [*.net *.split]
14:14
Nahra has quit [*.net *.split]
14:14
rixed_ has quit [*.net *.split]
14:14
BiDOrD_ has quit [*.net *.split]
14:14
Brocoli_ has quit [*.net *.split]
14:14
rks_ has quit [*.net *.split]
14:14
talzeus_ has quit [*.net *.split]
14:14
kristi_kodare has quit [*.net *.split]
14:14
maurer has quit [*.net *.split]
14:14
gasche has quit [*.net *.split]
14:14
s4muel has quit [*.net *.split]
14:14
ddosia has quit [*.net *.split]
14:14
julm has quit [*.net *.split]
14:14
n0v has quit [*.net *.split]
14:14
IbnFirnas_ has quit [*.net *.split]
14:14
pango_ has quit [*.net *.split]
14:14
alex_nx has quit [*.net *.split]
14:14
tlockney_ has quit [*.net *.split]
14:14
Cypi_ has quit [*.net *.split]
14:14
sgnb` has quit [*.net *.split]
14:14
caligula has quit [*.net *.split]
14:14
hyperboreean has quit [*.net *.split]
14:14
whitequa1k has quit [*.net *.split]
14:14
so has quit [*.net *.split]
14:14
leifw has quit [*.net *.split]
14:14
andreypopp has quit [*.net *.split]
14:14
chris2 has quit [*.net *.split]
14:14
rossberg has quit [*.net *.split]
14:14
lopho has quit [*.net *.split]
14:14
Drup has quit [*.net *.split]
14:14
thorsten` has quit [*.net *.split]
14:14
ohama has quit [*.net *.split]
14:14
patronus has quit [*.net *.split]
14:14
flux has quit [*.net *.split]
14:14
cthuluh has quit [*.net *.split]
14:14
amiller has quit [*.net *.split]
14:14
wormphlegm has quit [*.net *.split]
14:14
mal`` has quit [*.net *.split]
14:14
diethyl has quit [*.net *.split]
14:14
jzelinskie has quit [Changing host]
14:14
jzelinskie has joined #ocaml
14:14
passiveobserver has quit [Changing host]
14:14
passiveobserver has joined #ocaml
14:15
hto has joined #ocaml
14:18
passiveobserver has quit [Ping timeout: 252 seconds]
14:18
jave_ has joined #ocaml
14:18
watermind has joined #ocaml
14:19
vpm has quit [Ping timeout: 252 seconds]
14:19
dlat_ has quit [Ping timeout: 252 seconds]
14:19
vbmithr has quit [Ping timeout: 252 seconds]
14:19
madroach has joined #ocaml
14:19
mrvn_ has joined #ocaml
14:19
cdidd has quit [Read error: Operation timed out]
14:19
rom1504 has quit [Write error: Broken pipe]
14:19
hnrgrgr has quit [Read error: Operation timed out]
14:19
jave has quit [Write error: Broken pipe]
14:19
pippijn has joined #ocaml
14:19
rks has quit [Ping timeout: 252 seconds]
14:19
pippijn has quit [Changing host]
14:19
pippijn has joined #ocaml
14:19
mrvn has quit [Ping timeout: 248 seconds]
14:22
saarin has quit [Ping timeout: 260 seconds]
14:22
dRbiG has quit [Ping timeout: 260 seconds]
14:22
clog_ has quit [Ping timeout: 260 seconds]
14:27
clog has joined #ocaml
14:27
sad0ur has joined #ocaml
14:30
asmanur has joined #ocaml
14:30
zarul has quit [Ping timeout: 245 seconds]
14:30
kristi_kodare has joined #ocaml
14:30
kristi_kodare has left #ocaml []
14:30
jbrown has quit [Ping timeout: 245 seconds]
14:32
zarul has joined #ocaml
14:33
gasche has joined #ocaml
14:34
rs0 has joined #ocaml
14:41
mcclurmc has joined #ocaml
14:43
mort___ has quit [Read error: Connection reset by peer]
14:46
xaimus has joined #ocaml
14:46
mcclurmc has quit [Ping timeout: 245 seconds]
15:14
clog has joined #ocaml
15:14
maurer has joined #ocaml
15:14
mrvn_ has joined #ocaml
15:14
hyperboreean is now known as Guest33356
15:14
sad0ur has joined #ocaml
15:14
julm has joined #ocaml
15:14
jdoles has joined #ocaml
15:14
pippijn_ has joined #ocaml
15:14
olasd has joined #ocaml
15:15
BiDOrD has quit [Write error: Broken pipe]
15:15
tlockney has joined #ocaml
15:16
jave has joined #ocaml
15:16
rks has quit [Write error: Broken pipe]
15:16
via has quit [Write error: Broken pipe]
15:17
kakadu__ has joined #ocaml
15:18
nicoo has joined #ocaml
15:18
cross has quit [Remote host closed the connection]
15:18
alex_nx has joined #ocaml
15:20
flx_ has joined #ocaml
15:20
Nahra has joined #ocaml
15:20
Nahra has quit [Changing host]
15:20
Nahra has joined #ocaml
15:20
pippijn has quit [*.net *.split]
15:20
avsm has quit [*.net *.split]
15:20
willb1 has quit [*.net *.split]
15:20
devn has quit [*.net *.split]
15:20
Dongyancai has quit [*.net *.split]
15:20
dkg_ has quit [*.net *.split]
15:20
tnguyen has quit [*.net *.split]
15:20
Ptival has quit [*.net *.split]
15:20
pedagand_ has quit [*.net *.split]
15:20
the-gibs1n has joined #ocaml
15:20
flx_ is now known as Guest22508
15:20
watermind has joined #ocaml
15:23
alex_nx has quit [Ping timeout: 260 seconds]
15:23
clog has quit [Ping timeout: 260 seconds]
15:23
clog_ has joined #ocaml
15:25
gargawel_ has joined #ocaml
15:25
watermind has quit [Ping timeout: 272 seconds]
15:25
vbmithr has quit [Ping timeout: 272 seconds]
15:25
kerneis has joined #ocaml
15:25
Cypi_ has joined #ocaml
15:25
smondet has joined #ocaml
15:25
rixed_ has joined #ocaml
15:25
jave has joined #ocaml
15:26
rks has quit [Write error: Broken pipe]
15:26
via has quit [Write error: Broken pipe]
15:26
kakadu__ has joined #ocaml
15:27
zarul has joined #ocaml
15:28
ivan\ has joined #ocaml
15:28
nicoo has joined #ocaml
15:28
cross has quit [Remote host closed the connection]
15:29
alex_nx has joined #ocaml
17:15
clog_ has quit [^C]
17:22
clog has joined #ocaml
17:22
jdoles has joined #ocaml
17:24
philtor has joined #ocaml
17:25
uggwar_ has joined #ocaml
17:25
ddosia has joined #ocaml
17:25
pippijn has quit [*.net *.split]
17:25
Asmadeus has quit [*.net *.split]
17:25
asmanur has quit [*.net *.split]
17:25
njcomsec has quit [*.net *.split]
17:25
nicoo has quit [*.net *.split]
17:25
kakadu__ has quit [*.net *.split]
17:25
Guest50168 has quit [*.net *.split]
17:25
chris2 has quit [*.net *.split]
17:25
jzelinskie has quit [*.net *.split]
17:25
j0sh has quit [*.net *.split]
17:25
Simn has quit [*.net *.split]
17:25
demonimin has quit [*.net *.split]
17:25
lopex has quit [*.net *.split]
17:31
bicgena has joined #ocaml
17:31
zarul has joined #ocaml
17:33
sad0ur has quit [Quit: leaving]
17:36
Asmadeus_ has quit [*.net *.split]
17:36
nicoo_ has quit [*.net *.split]
17:36
Cypi has quit [*.net *.split]
17:36
iZsh has quit [*.net *.split]
17:57
ulfdoz has joined #ocaml
17:58
cthuluh has joined #ocaml
17:59
gargawel1 has joined #ocaml
17:59
cesar_ has joined #ocaml
18:00
cesar_ is now known as Guest41744
18:00
rgrinberg has joined #ocaml
18:17
Guest41744 has quit [Remote host closed the connection]
18:23
tane has joined #ocaml
18:38
cesar_ has joined #ocaml
18:39
mcclurmc has joined #ocaml
18:39
cyanure__ has joined #ocaml
18:39
cesar_ is now known as Guest31094
18:40
Cypi has joined #ocaml
18:43
watermind has joined #ocaml
18:46
angerman has quit [Quit: Gone]
18:46
olasd has joined #ocaml
18:50
Asmadeus has joined #ocaml
18:50
yacks has quit [Ping timeout: 252 seconds]
18:53
axiles has joined #ocaml
18:53
_5kg has joined #ocaml
18:53
kakadu__ has joined #ocaml
18:53
Guest50168 has joined #ocaml
18:53
chris2 has joined #ocaml
18:53
jzelinskie has joined #ocaml
18:53
j0sh has joined #ocaml
18:53
Simn has joined #ocaml
18:53
demonimin has joined #ocaml
18:53
lopex has joined #ocaml
18:54
groovy2shoes has joined #ocaml
18:55
amiller has joined #ocaml
18:55
alex_nx has joined #ocaml
18:55
rwmjones has joined #ocaml
18:55
asmanur has joined #ocaml
18:55
nikki93 has joined #ocaml
18:55
ccasin has joined #ocaml
18:55
maurer has joined #ocaml
18:55
gasche has joined #ocaml
18:55
cross has joined #ocaml
18:55
mal`` has joined #ocaml
18:55
NaCl has joined #ocaml
18:55
willb1 has joined #ocaml
18:55
devn has joined #ocaml
18:55
Dongyancai has joined #ocaml
18:55
dkg_ has joined #ocaml
18:55
tnguyen has joined #ocaml
18:55
Ptival has joined #ocaml
18:55
pedagand_ has joined #ocaml
18:55
Nahra has joined #ocaml
18:55
Nahra has quit [Changing host]
18:55
Nahra has joined #ocaml
18:55
rand000 has joined #ocaml
18:55
vbmithr has joined #ocaml
18:56
NaCl is now known as Guest32183
18:56
amiller is now known as Guest27600
18:56
nicoo has joined #ocaml
18:56
jbrown has joined #ocaml
18:57
ggherdov has quit [Ping timeout: 245 seconds]
19:00
dinosaure has joined #ocaml
19:00
japesina- has quit [Quit: Goodbye.]
19:03
japesinator has joined #ocaml
19:05
dinosaure1 has joined #ocaml
19:05
|jbrown| has joined #ocaml
19:07
wormphlegm has joined #ocaml
19:11
dinosaure has quit [*.net *.split]
19:11
jbrown has quit [*.net *.split]
19:14
ggherdov has joined #ocaml
19:16
arjunguha has joined #ocaml
19:16
rom1504 has joined #ocaml
19:18
groovy2shoes has quit [Ping timeout: 264 seconds]
19:21
ulfdoz has quit [Ping timeout: 252 seconds]
19:23
iZsh has joined #ocaml
19:28
amiller_ has joined #ocaml
19:29
groovy2shoes has joined #ocaml
19:30
77CABK8L7 has joined #ocaml
19:30
77CABK8L7 has quit [Changing host]
19:30
77CABK8L7 has joined #ocaml
19:31
alex_nx_ has joined #ocaml
19:32
mcclurmc has quit [Remote host closed the connection]
19:33
Guest27600 has quit [Read error: Operation timed out]
19:33
asmanur has quit [Ping timeout: 252 seconds]
19:35
asmanur has joined #ocaml
19:36
nicoo has quit [*.net *.split]
19:36
iZsh has quit [*.net *.split]
19:36
kakadu__ has quit [*.net *.split]
19:36
Guest50168 has quit [*.net *.split]
19:36
chris2 has quit [*.net *.split]
19:36
jzelinskie has quit [*.net *.split]
19:36
j0sh has quit [*.net *.split]
19:36
Simn has quit [*.net *.split]
19:36
demonimin has quit [*.net *.split]
19:36
lopex has quit [*.net *.split]
19:37
iZsh has joined #ocaml
19:43
alex_nx has quit [*.net *.split]
19:43
rwmjones has quit [*.net *.split]
19:43
nikki93 has quit [*.net *.split]
19:43
ccasin has quit [*.net *.split]
19:43
maurer has quit [*.net *.split]
19:43
gasche has quit [*.net *.split]
19:43
cross has quit [*.net *.split]
19:43
Guest32183 has quit [*.net *.split]
19:43
mal`` has quit [*.net *.split]
19:43
willb1 has quit [*.net *.split]
19:43
devn has quit [*.net *.split]
19:43
Dongyancai has quit [*.net *.split]
19:44
dkg_ has quit [*.net *.split]
19:44
tnguyen has quit [*.net *.split]
19:44
Ptival has quit [*.net *.split]
19:44
pedagand_ has quit [*.net *.split]
19:44
tlockney has left #ocaml []
19:47
ousado is now known as IMNSHO
19:48
IMNSHO is now known as ousado
19:55
nikki93 has joined #ocaml
19:55
ccasin has joined #ocaml
19:55
maurer has joined #ocaml
19:55
gasche has joined #ocaml
19:55
cross has joined #ocaml
19:55
mal`` has joined #ocaml
19:55
Guest32183 has joined #ocaml
19:55
willb1 has joined #ocaml
19:55
devn has joined #ocaml
19:55
Dongyancai has joined #ocaml
19:55
dkg_ has joined #ocaml
19:55
tnguyen has joined #ocaml
19:55
Ptival has joined #ocaml
19:55
pedagand_ has joined #ocaml
19:56
77CABK8L7 has quit [*.net *.split]
20:03
<
adrien >
I love the screenshots
20:03
passiveobserver has joined #ocaml
20:03
<
adrien >
basically they show how static analysis can find leaks in a code and langage which use reference-counting :)
20:03
jlouis has joined #ocaml
20:10
The-Mad-Pirate-2 has quit [Read error: Connection reset by peer]
20:12
struktured has quit [Ping timeout: 272 seconds]
20:16
yroeht2 has joined #ocaml
20:18
nikki93 has quit [*.net *.split]
20:18
ccasin has quit [*.net *.split]
20:18
maurer has quit [*.net *.split]
20:18
gasche has quit [*.net *.split]
20:18
cross has quit [*.net *.split]
20:18
Guest32183 has quit [*.net *.split]
20:18
mal`` has quit [*.net *.split]
20:18
willb1 has quit [*.net *.split]
20:18
devn has quit [*.net *.split]
20:18
Dongyancai has quit [*.net *.split]
20:18
dkg_ has quit [*.net *.split]
20:18
tnguyen has quit [*.net *.split]
20:18
Ptival has quit [*.net *.split]
20:18
pedagand_ has quit [*.net *.split]
20:37
cyanure__ has quit [Remote host closed the connection]
20:37
tlockney_away has joined #ocaml
20:37
tlockney_away is now known as tlockney
20:39
Thooms has quit [Ping timeout: 252 seconds]
20:40
<
mrvn >
I wonder why there is no Lazy.un_force
20:41
<
adrien >
what would be the use?
20:42
cyanure__ has joined #ocaml
20:42
Guest31094 has quit [Remote host closed the connection]
20:42
<
mrvn >
I have a function to read values from disk. I would like to make lazy values from that function. So Lazy.force would read the value from disk the first time and return the cached value on the second. Then when ram gets tight I would like to un_force it so the memory gets freed and the next access reads the value again.
20:43
<
adrien >
although that's unpredictable
20:44
angerman has joined #ocaml
20:44
<
Drup >
mrvn: I wouldn't reimplement that on top of lazy, it sounds easy to do with an internal reference
20:45
<
adrien >
it sounds like that would be trying to use lazy for too many things
20:45
<
adrien >
and Lazy is already enough magic; it's not unlikely this wouldn't fit
20:45
<
adrien >
I think this sums it up well: external force : 'a t -> 'a = "%lazy_force";;
20:45
<
Drup >
purple magic \o/
20:46
<
adrien >
there should be a "unicorn" module in OCaml
20:46
<
mrvn >
The force probably destroys the closure that computes the value.
20:46
<
mrvn >
adrien: There is. But it is pink and invisible.
20:46
<
adrien >
I knew this unicorn was around! \o/
20:47
<
adrien >
probably fighting with the flying spaghetti monster for control of the universe
20:47
jpdeplaix` has joined #ocaml
20:49
<
mrvn >
Disk based BTree that is.
20:50
<
ousado >
mrvn: is that part of a bigger project?
20:50
<
mrvn >
ousado: yes.
20:51
<
ousado >
mrvn: what is it?
20:51
<
mrvn >
It's going to be a filesystem using fuse.
20:52
cyanure__ has quit [Remote host closed the connection]
20:52
<
ousado >
open source?
20:53
<
ousado >
any special features, encryption perhaps?
20:53
AdmiralBumbleBee has joined #ocaml
20:54
milosn has quit [Read error: No route to host]
20:54
<
mrvn >
Special feature: No special features. None at all. totaly KISS.
20:54
watermind has quit [Remote host closed the connection]
20:57
watermind has joined #ocaml
21:00
<
mrvn >
The desing Idea for the BTree is that you write a Leaf module and then call BTree.Make(Leaf) to make all the rest of the BTree.
21:05
arjunguha has quit [Ping timeout: 264 seconds]
21:06
axiles has quit [Remote host closed the connection]
21:07
Guest50168 has joined #ocaml
21:07
chris2 has joined #ocaml
21:07
jzelinskie has joined #ocaml
21:07
j0sh has joined #ocaml
21:07
Simn has joined #ocaml
21:07
demonimin has joined #ocaml
21:07
lopex has joined #ocaml
21:10
leifw_ has quit [Ping timeout: 245 seconds]
21:17
Guest50168 has quit [*.net *.split]
21:17
chris2 has quit [*.net *.split]
21:17
jzelinskie has quit [*.net *.split]
21:17
j0sh has quit [*.net *.split]
21:17
Simn has quit [*.net *.split]
21:17
demonimin has quit [*.net *.split]
21:17
lopex has quit [*.net *.split]
21:21
milosn has joined #ocaml
21:23
nikki93_ has joined #ocaml
21:26
devn has joined #ocaml
21:29
mal`` has joined #ocaml
21:32
maurer has joined #ocaml
21:32
Dongyancai has joined #ocaml
21:35
smerz_ has quit [Ping timeout: 245 seconds]
21:35
smerz has quit [Ping timeout: 245 seconds]
21:35
ccasin has joined #ocaml
21:39
Ptival has joined #ocaml
21:39
cdidd has joined #ocaml
21:39
willb1 has joined #ocaml
21:40
tnguyen has joined #ocaml
21:40
philtor has quit [Ping timeout: 264 seconds]
21:43
tane has quit [Quit: Verlassend]
21:44
nk0 has quit [Ping timeout: 252 seconds]
21:48
q66 has quit [Ping timeout: 252 seconds]
22:00
angerman has quit [Quit: Gone]
22:08
q66 has joined #ocaml
22:15
jpdeplaix` is now known as jpdeplaix
22:19
nikki93_ has quit [Remote host closed the connection]
22:20
watermind has quit [Quit: Konversation terminated!]
22:22
watermind has joined #ocaml
22:30
<
andreypopp_ >
would it be a good idea to write ocaml to javascript compiler using typed tree as a starting point?
22:32
Drup has left #ocaml []
22:32
Drup has joined #ocaml
22:32
<
Drup >
andreypopp_: why the typedtree ?
22:33
<
andreypopp_ >
Drup: I want to follow closely JS semantics, I think
22:33
<
andreypopp_ >
so AST to AST transform would be the simplest thing
22:33
<
andreypopp_ >
I'd get also readable output (to some extent)
22:34
<
andreypopp_ >
yes, didn't investigate it much though
22:34
<
Drup >
I'm not sure what is your goal, but you should
22:34
<
andreypopp_ >
the most important goal is to learn ocaml
22:35
<
Drup >
learning ocaml by doing a compiler from it may not be the most easy way =)
22:36
<
Drup >
andreypopp_: in general, the "good" way to do a compiler from OCaml to something is to start from the bytecode
22:36
<
andreypopp_ >
Drup: because it optimization passes already applied?
22:36
<
Drup >
because the ocaml compiler as already done some optimization, it's quite simple and it's very stable and
22:36
nk0 has joined #ocaml
22:37
<
Drup >
and because the type-checking is out of the way
22:37
<
andreypopp_ >
I guess typedtrees are also typed checked
22:37
<
Drup >
sure, but you still have a lot of type informations
22:37
q66 has quit [Quit: Leaving]
22:38
<
Drup >
and it's not very documented, nor garanted to be as stable as the bytecode
22:38
<
adrien >
andreypopp_: there was ocamljs earlier on
22:38
<
andreypopp_ >
ok, I think bytecode to js would be much faster than ast to ast
22:38
<
adrien >
but keeping up with the changes in the compiler ast was too much work
22:38
rwmjones has joined #ocaml
22:38
nikki93 has joined #ocaml
22:38
dkg has joined #ocaml
22:38
pedagand has joined #ocaml
22:38
gasche has joined #ocaml
22:38
NaCl has joined #ocaml
22:38
<
adrien >
bytecode, especially for the ocaml vm, is far less work
22:38
<
Drup >
andreypopp_: another (big) advantage of starting from the bytecode, is that you don't have to "recompile" all the libray
22:39
<
andreypopp_ >
because ocaml programs tend to "allocate" a lot which optmization passes remove
22:39
<
adrien >
I don't think anything in the compiler tries to optimize allocations away
22:39
<
Drup >
andreypopp_: you can just use the bytecode library (.cma/.cmo) and you're good to go =)
22:39
<
andreypopp_ >
i mean it inlines function calls
22:40
<
andreypopp_ >
probably I'd just use js_of_ocaml then
22:40
<
Drup >
js_of_ocaml is really nice :p
22:40
<
andreypopp_ >
thought ast to ast compiler would be useful but now I see it'd not
22:40
<
andreypopp_ >
thank you
22:40
<
Drup >
it's very hard to maintain
22:41
<
andreypopp_ >
I thought typedtree is also a stable interface
22:41
<
andreypopp_ >
ocp-index seems to use it
22:41
NaCl is now known as Guest42303
22:41
<
adrien >
but not updated in years
22:41
<
andreypopp_ >
adrien: I've seen this, it's also a lot of code
22:41
<
Drup >
trough compiler_libs, I suppose
22:42
<
andreypopp_ >
what about js_of_ocaml performance of generated code?
22:42
<
adrien >
can be faster than bytecode on ocamlrun
22:43
<
adrien >
and there's quite a lot of work behind it so it gets faster over time
22:43
<
Drup >
thanks to crazy optimized javascript JIT stuff, it's quite fast =)
22:46
<
andreypopp_ >
js_of_ocaml looks cool
22:46
<
andreypopp_ >
but I guess it doesn't generate source maps for code
22:47
<
Drup >
huum, let me dig into the git log, I've seen a patch about it
22:47
cross has joined #ocaml
22:47
Guest50168 has joined #ocaml
22:47
chris2 has joined #ocaml
22:47
jzelinskie has joined #ocaml
22:47
j0sh has joined #ocaml
22:47
demonimin has joined #ocaml
22:47
lopex has joined #ocaml
22:48
ulfdoz has joined #ocaml
22:49
<
andreypopp_ >
anyway, I'm going to try js_of_ocaml
22:50
<
Drup >
also, do note that the code generated by js_of_ocaml is not meant to be looked at, even with the -pretty option :p
22:50
<
andreypopp_ >
Drup: yep, I expect this from low-level to high-level lang compiler
22:50
<
andreypopp_ >
this is why I want source maps
22:51
<
andreypopp_ >
any attempts to make it self hosted? (besides I/O of course)
22:51
<
Drup >
self-hosted ?
22:51
<
Drup >
you mean, compile js_of_ocaml is js ?
22:51
<
andreypopp_ >
wrong term but yeah
22:52
<
Drup >
not exactly that, but close enough :p
22:52
<
andreypopp_ >
Drup: thanks!
22:59
ulfdoz has quit [*.net *.split]
22:59
cross has quit [*.net *.split]
22:59
Guest50168 has quit [*.net *.split]
22:59
chris2 has quit [*.net *.split]
22:59
jzelinskie has quit [*.net *.split]
22:59
j0sh has quit [*.net *.split]
22:59
demonimin has quit [*.net *.split]
22:59
lopex has quit [*.net *.split]
23:02
ulfdoz has joined #ocaml
23:03
mcclurmc has joined #ocaml
23:05
mcclurmc has quit [Remote host closed the connection]
23:06
tov has joined #ocaml
23:09
darkf_ has joined #ocaml
23:10
darkf_ is now known as darkf
23:14
seliopou has joined #ocaml
23:14
rand000 has quit [Quit: leaving]
23:20
rwmjones has quit [*.net *.split]
23:20
nikki93 has quit [*.net *.split]
23:20
dkg has quit [*.net *.split]
23:20
pedagand has quit [*.net *.split]
23:20
gasche has quit [*.net *.split]
23:20
Guest42303 has quit [*.net *.split]
23:35
madroach has quit [Ping timeout: 252 seconds]
23:37
mcclurmc has joined #ocaml
23:42
madroach has joined #ocaml
23:45
arj has joined #ocaml
23:53
mcclurmc has quit [Remote host closed the connection]
23:56
ulfdoz has quit [Ping timeout: 252 seconds]