typed-racket icon indicating copy to clipboard operation
typed-racket copied to clipboard

math/matrix printing exposes internal representation

Open samth opened this issue 8 years ago • 3 comments

[samth@hermes:~/work/papers/trpp-pldi-2016 (master) plt] r
Welcome to Racket v6.3.0.4.
-> (require typed/racket)
-> (require math)
-> (define-values (L U)
       (matrix-lu (matrix [[4 3] [6 3]])))
-> (values L U)
- : (values (Array Real) (Array Real))
(mutable-array #[#[1 0] #[3/2 1]])
(mutable-array #[#[4 3] #[0 -3/2]])
-> (matrix* L U)
- : #(struct:#<syntax:/home/samth/sw/plt/racket/share/pkgs/math-lib/math/private/array/typed-array-struct.rkt:49:13 Array>
      (Indexes Index (Boxof Boolean) (-> Void) (-> Indexes Real)))
(array #[#[4 3] #[6 3]])

Something is getting overly-resolved in the type prior to printing.

samth avatar Nov 22 '15 15:11 samth