Shallow handler typing bug about links HOT 1 CLOSED

<stdin>:2: Type error: The codomain of continuation `k' has type
    `a'
but a type compatible with
    `a'
was expected.
In expression: shallowhandle(m) { 
        case Op(k) -> h1(fun() { k(2) }) 
        case Return(x) -> x 
     }.

Raised at file "typeSugar.ml", line 374, characters 22-58
Called from file "typeSugar.ml", line 3033, characters 6-80
Called from file "list.ml", line 88, characters 24-34
Called from file "typeSugar.ml", line 3031, characters 9-268
Called from file "typeSugar.ml", line 2818, characters 20-83
Called from file "typeSugar.ml", line 3167, characters 21-68
Called from file "typeSugar.ml", line 3401, characters 37-104
Called from file "list.ml", line 88, characters 24-34
Called from file "typeSugar.ml", line 3399, characters 4-408
Called from file "typeSugar.ml", line 3587, characters 36-64
Called from file "utility.ml" (inlined), line 16, characters 23-26
Called from file "frontend.ml", line 67, characters 8-345
Called from file "utility.ml" (inlined), line 16, characters 23-26
Called from file "frontend.ml", line 67, characters 8-417
Called from file "utility.ml" (inlined), line 16, characters 23-26
Called from file "frontend.ml", line 67, characters 8-497
Called from file "utility.ml" (inlined), line 16, characters 23-26
Called from file "frontend.ml", line 67, characters 8-583
Called from file "utility.ml" (inlined), line 16, characters 23-26
Called from file "frontend.ml", line 67, characters 8-657
Called from file "utility.ml" (inlined), line 16, characters 23-26
Called from file "frontend.ml", line 67, characters 8-733
Called from file "utility.ml" (inlined), line 16, characters 23-26
Called from file "frontend.ml", line 67, characters 8-815
Called from file "utility.ml" (inlined), line 16, characters 23-26
Called from file "frontend.ml", line 67, characters 8-899
Called from file "utility.ml" (inlined), line 16, characters 23-26
Called from file "frontend.ml", line 67, characters 8-977
Called from file "utility.ml" (inlined), line 16, characters 23-26
Called from file "frontend.ml", line 67, characters 6-1023
Called from file "links.ml", line 280, characters 34-87
Called from file "links.ml", line 222, characters 20-31
Called from file "camlinternalLazy.ml", line 27, characters 17-27
Re-raised at file "camlinternalLazy.ml", line 34, characters 4-11
Called from file "errors.ml", line 114, characters 4-16