debugging - functor適用後にpolymlでジェネリックの特殊化/サブタイプを表示する

Question

次のプログラムでは、 がジェネリック型valStr.value のサブタイプを想定していることがわかります。しかし、私がそれをタイプで調べると、 として示されています。に特化したインタプリタで見る方法はありますか？pairtpolytpolytpair

これは私が実行したときに得られるものですpoly:

> poly

Poly/ML 5.5.2 Release

> use "forum.ml";

signature PAIR =
  sig val coord : pair val getFirst : pair -> real type pair end
structure Pair :
  sig
    val coord : pair
    val getFirst : pair -> real
    type pair = real * real
  end
signature VALUE = sig type t val value : t end
functor createVal (R : PAIR) : VALUE
val extracted = 1.0: real
val main = fn: unit -> unit
structure valStr : VALUE
val it = (): unit

> valStr.value;
val it = (1.0, 2.0): valStr.t

(* I want to see that it is of type "pair" *)

それを生成するために使用されるコードは次のとおりです。

(* forum.ml *)
signature PAIR = 
  sig 
    type pair
    val coord : pair
    val getFirst : pair -> real
  end

structure Pair = 
  struct 
    type pair = real * real
    val coord = ((1.0,2.0) : pair)
    fun getFirst ((x,y) : pair):real = x
  end

signature VALUE =
  sig
    type t
    val value: t
  end

functor createVal(R : PAIR) : VALUE =
  struct
    type t = R.pair
    val value = R.coord
  end

structure valStr = createVal(Pair)

val extracted = Pair.getFirst valStr.value
fun main() = print (Real.toString extracted)