search

ct-gradual-typing / Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective
10 stars 0 forks source link

REPL Let doesn't type check definitions #43

Closed heades closed 7 years ago

heades commented 7 years ago

Consider the following example:

Grady> let x = triv 3
Grady> :d
["let x = triv (3)"]
Grady> :t x
NotArrowType Unit
Grady>

However, the repl should never allow a definition that doesn't type check to be added to the queue.

michaelto20 commented 7 years ago

fixed