Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Updated TODOs.

  • Loading branch information...
commit d987ae9d1f8c862ea1b4880562858fb58fa9da02 1 parent 18315f2
@leepike authored
Showing with 12 additions and 0 deletions.
  1. +12 −0 TODO.md
View
12 TODO.md
@@ -45,6 +45,18 @@ TODO
* Args to optionally extrapolate and contructor extrapolate.
+* Generalize extrapolate/Replace --- same iter function used in both.
+
+* I don't think I need ReplaceSubs --- Chop will work. I just want to prevent
+ recurring in a substs tree.
+
+* Make sure that foldM (extractResult prop) FailedPreCond res in SmartGen fails
+ eagerly.
+
+* Add option to bound depth of reducing.
+
+* BUGs: too many variable names for constructors. Also, change forall order.
+
Won't Do / Can't Do
-----------------------------------------------
* Use shrink instances as default for base types.
Please sign in to comment.
Something went wrong with that request. Please try again.