#lang typed/racket

;;; Tests for dds/utils.

(require typed/rackunit "utils.rkt")

(test-begin
  (test-case "auto-hash-ref/explicit"
    (let ([mytable #hash((a . 3) (b . 4))])
      (check-equal? (auto-hash-ref/explicit (mytable b a)
                                            (* a b))
                    12))
    (let ([ht #hash((a . #t) (b . #f))])
      (check-equal? (auto-hash-ref/explicit (ht a b)
                                            (and (not a) b))
                    #f))))