Keigo Imai

Determinisation-based endpoint projection

1

(I do not indent this to be merged, just to indicate where it is (as we discussed about it today))

Compiler crashes when setter/getter is called

4

The following code crashes the ocamljs compiler: ``` let f o = o#_get_x 1 ``` it says: ``` Fatal error: exception Failure("bad method call") ``` while the following equivalent code...

max_int, min_int and min_float do not have the correct values

2

Pervasives.max_int and min_int have the following incorrect value, respectively: 1073741823 and 1073741824. They are apparently not maximum or minimum integer in the JavaScript. Though this might not be a bug...

[HARD] some way to declare local linear variables (temporary slots), enter the new environment, and so

1

```ocaml (* the root slot *) let root = {get=fun x->x;set=fun _ y -> y} let rev_map f s = (* declare a new temporary slot tmp and placeholder orig...

[HARD] map on slot data contents

5

Usual pattern is ```ocaml: let f s = match%lin get s with | Cons(x,#s) -> ``` This pattern uses s twice and is type error: first s has ('a linlist_...

type 'a t = V of 'a data ```ocaml match%lin exp with | V(x:int data) -> (... here x has type int) ``` so I want to remove this "data"...

for better error messages