Format todo.txt as markdown.

This commit is contained in:
Robbie Gleichman 2016-12-22 19:05:23 -08:00
parent 9523dcd609
commit f97b5a984e

View File

@ -1,30 +1,39 @@
-- TODO Now --
Consider adding binding variable names to the lambda icon and match icon. Don't display the name if it is only one character.
# Todo
-- TODO Later --
-- Add documentation.
## Todo Now
* Consider adding binding variable names to the lambda icon and match icon. Don't display the name if it is only one character.
-- Testing todos:
Fix the arrowheads being too big for SyntaxGraph drawings.
## Todo Later
* Add documentation.
-- Visual todos:
Draw bounding boxes for lambdas (use dashed lines)
### Testing todos
* Fix the arrowheads being too big for SyntaxGraph drawings.
-- Make an icon font/library with labeled ports. E.g. the apply icon would have text labels "function", "result", "arg 0", "arg 1", etc.
-- Don't rotate text and nested icons, give them rectangular bounding boxes in GraphViz. (Perhaps use a typeclass for isRotateAble)
-- Give lines a black border to make line crossings easier to see.
-- Let lines connect to ports other than the original source
-- Use different line styles (e.g. dashed, solid, wavy) in addition to colors
Use diagrams to shrink the drawing until icons start overlapping.
### Visual todos
* Draw bounding boxes for lambdas (use dashed lines)
-- Translate todos:
Allow case and guard nodes to embed simple patterns and expressions.
* Make an icon font/library with labeled ports. E.g. the apply icon would have text labels "function", "result", "arg 0", "arg 1", etc.
Fix this test so that the line colors are correct. Consider connecting the t line to the origial rhs (3,4), not the pattern result.
* Don't rotate text and nested icons, give them rectangular bounding boxes in GraphViz. (Perhaps use a typeclass for isRotateAble)
* Give lines a black border to make line crossings easier to see.
* Let lines connect to ports other than the original source
* Use different line styles (e.g. dashed, solid, wavy) in addition to colors
* Use diagrams to shrink the drawing until icons start overlapping.
### Translate todos
* Allow case and guard nodes to embed simple patterns and expressions.
* Fix this test so that the line colors are correct. Consider connecting the t line to the origial rhs (3,4), not the pattern result.
y = let {t@(_,_) = (3,4)} in t + 3
Fix applyComposeScore in Translate.hs not counting expressions that nest via reference. May need to move compose generation to after translate.
* Fix applyComposeScore in Translate.hs not counting expressions that nest via reference. May need to move compose generation to after translate.
-- Fix test case x of {0 -> 1; y -> y}.
-- Add proper RecConstr, and RecUpdate support.
-- Special case for otherwise.
* Fix test case x of {0 -> 1; y -> y}.
* Add proper RecConstr, and RecUpdate support.
* Special case for otherwise.