From 1508f007b506c9750a2c6450fc765f0c173791d3 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Thu, 5 Mar 2015 15:28:53 -0800 Subject: [PATCH] further clarification --- quad/ocm-typed.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/quad/ocm-typed.rkt b/quad/ocm-typed.rkt index 975ca7e7..5f5766e2 100644 --- a/quad/ocm-typed.rkt +++ b/quad/ocm-typed.rkt @@ -3,7 +3,7 @@ (require racket/list sugar/debug racket/function racket/vector "logger-typed.rkt") (define-logger ocm) -(provide smawky? Entry->Value-Type Value-Type No-Value-Type Index-Type Matrix-Proc-Type make-ocm reduce reduce2 concave-minima (prefix-out ocm- (combine-out min-entry min-value min-index))) +(provide smawky? Entry->Value-Type Value-Type No-Value-Type Entry-Type Index-Type Matrix-Proc-Type OCM-Type make-ocm reduce reduce2 concave-minima (prefix-out ocm- (combine-out min-entry min-value min-index))) (: select-elements ((Listof Any) (Listof Index-Type) . -> . (Listof Any))) (define (select-elements xs is) @@ -198,7 +198,7 @@ (define-type Value-Type Flonum) (define-type No-Value-Type Symbol) (define-type Finished-Value-Type Index-Type) -(define-type Matrix-Proc-Type (Index-Type Index-Type . -> . Value-Type)) +(define-type Matrix-Proc-Type (Index-Type Index-Type . -> . Entry-Type)) (define-type Entry->Value-Type (Entry-Type . -> . Value-Type)) (struct $ocm ([min-entrys : (Vectorof Entry-Type)] [min-row-indices : (Vectorof (U Index-Type No-Value-Type))] [finished : Finished-Value-Type] [matrix-proc : Matrix-Proc-Type] [entry->value : Entry->Value-Type] [base : Index-Type] [tentative : Index-Type]) #:transparent #:mutable)