From 83c9e7c122026d94fed76606b426d12ea392ddba Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Thu, 6 Oct 2016 14:26:09 -0400 Subject: [PATCH] remove todos in okasaki --- turnstile/examples/tests/mlish/bg/okasaki.mlish | 5 ----- 1 file changed, 5 deletions(-) diff --git a/turnstile/examples/tests/mlish/bg/okasaki.mlish b/turnstile/examples/tests/mlish/bg/okasaki.mlish index 643406e..a85e747 100644 --- a/turnstile/examples/tests/mlish/bg/okasaki.mlish +++ b/turnstile/examples/tests/mlish/bg/okasaki.mlish @@ -1,11 +1,6 @@ #lang s-exp "../../../mlish.rkt" (require "../../rackunit-typechecking.rkt") -;; TODO -;; - cannot inst polymorphic function `bq-empty` -;; - cannot inst `(BQ (Nil {A}) (Nil {A}))` -;; - cannot use bq-snoc directly in a foldl (need wrapper λ) - ;; ----------------------------------------------------------------------------- (define-type (Option A)