From e071045ed5c71833e495eaf2636be4bf4a242c27 Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay.mccarthy@gmail.com>
Date: Sat, 28 Nov 2015 13:02:47 -0500
Subject: [PATCH] Notes

---
 remix/README           |  2 ++
 remix/stx0.rkt         |  2 ++
 remix/tests/simple.rkt | 20 +++++++++++++-------
 3 files changed, 17 insertions(+), 7 deletions(-)

diff --git a/remix/README b/remix/README
index f8f4f3c..39af3b4 100644
--- a/remix/README
+++ b/remix/README
@@ -196,6 +196,8 @@ transformer (can change define to define-syntax/etc) vs expander
 functions!
 --- See https://mail.google.com/mail/u/0/#inbox/1513f480b3313fb2
 
+TODO how to make sure cases of cond/etc are complete?
+
 TODO operator overloading definitions of + and ones that check the
 types for float/int/fixnum/etc
 
diff --git a/remix/stx0.rkt b/remix/stx0.rkt
index 46f30bb..6fbcfe8 100644
--- a/remix/stx0.rkt
+++ b/remix/stx0.rkt
@@ -306,7 +306,9 @@
          (for-syntax gen:def-transformer
                      gen:def*-transformer)
          (rename-out [def ≙]
+                     [def :=]
                      [def* ≙*]
+                     [def* :=*]
                      [def* nest])
          (rename-out [remix-λ λ]
                      [remix-cond cond]
diff --git a/remix/tests/simple.rkt b/remix/tests/simple.rkt
index 0713c64..134fac9 100644
--- a/remix/tests/simple.rkt
+++ b/remix/tests/simple.rkt
@@ -7,8 +7,9 @@
 (module+ test
   ;; This introduces ≡ as a testing form
 
-  ;; XXX Maybe drop this and add a test macro like rackunit/chk that
-  ;; looks for comparison forms.
+  ;; XXX Drop this and instead have a macro for writing down
+  ;; properties that communicates with boolean forms, etc. Supports ∀,
+  ;; etc.
   (require remix/test0))
 
 ;; define is replaced with def
@@ -46,7 +47,10 @@
 ;; make any code in between clauses go in between the `if`s that pop
 ;; out of the cond macro. finally, cond REQUIRES a #:else clause.
 ;;
-;; XXX potentially make an (impossible!) macro that is a useful
+;; XXX Robby does not like requiring else, but does want a default
+;; error.
+;;
+;; XXX make an (impossible!) macro that is a useful
 ;; default #:else
 (def (g x)
   (cond
@@ -147,11 +151,13 @@
 (module+ test
   {v11c ≡ 11})
 
-;; ≙ is a synonym for def, and because of the {} rules, is a binary
-;; operator.
-{v33 ≙ 33}
+;; ≙ and := are synonyms for def, and because of the {} rules, is a
+;; binary operator.
+{v33a ≙ 33}
+{v33b := 33}
 (module+ test
-  {v33 ≡ 33})
+  {v33a ≡ 33}
+  {v33b ≡ 33})
 
 (def v28
   {(f x) ≙ x + x}