kenichi-asai/ocaml-blockly

OCaml visual programming editor based on Blockly.

ocaml-blockly's Issues

レコードに値を入れようとすると流れてしまう

type a_t = {a : int; b : float}
let b = {a = ?; b = ?}

で、0 を最初の ? に入れようとすると、ブロックがつーっと流れてしまう。

スコープお砂場に置いたブロックの型

let f x = 0
let a = ?

で a のスコープお砂場を開き、f をお砂場に置くと、型が 'a -> 'b になってしまっている。（ブロックをつなぐと型推論が動いて正しい型になる。）

let 文の変数の型のバグ

let f x = ?

というブロックを出して f をドラッグして変数を取り出し、それをそのまま捨てると let 文の f の本体部分の型が f の型と同じになる。
　関連するかも知れない問題として、上の let ブロックで、f の型は出した直後は型変数になってしまう。その後、他のブロックをつないだりすると正しく関数の型になる。これは、最初から関数の型になってほしい。

スコープのバグ

let a = ?
let b = ?
let c = a

で b のスコープお砂場を開き、そこに let c = a を移動した後 b の下に戻すと落ちる。

let の引数から、レコードのフィールドに入れようとしても入らない

type a_t = {a : int}
let f x = {a = ?}

で、スコープお砂場から ? には x を入れられるけど、引数から直接は入れられない。

type a_t = {a : int}
let f x = ?

の場合は、引数からでも入れられる。

レコードを type 文のレコード名から作るとエラー

type a_t = { a : int; b : float }
let b = ?

で、a_t から ? にドラッグすると落ちる。フィールドの型がすべて ? だと大丈夫。また、スコープお砂場からのドラッグでも大丈夫。