76 Commits

Author	SHA1	Message	Date
Robbie Gleichman	078a3305bf	Add and embedding Map to SyntaxGraph.	2016-12-06 18:39:38 -08:00
Robbie Gleichman	5e1d724418	Change node identifier from string to Int. Now, data NameAndPort = NameAndPort NodeName (Maybe Port), where NodeName and Port are both Int newtypes.	2016-12-06 17:02:54 -08:00
Robbie Gleichman	9fd08c7432	Add test for improper pattern nesting.	2016-12-05 17:14:54 -08:00
Robbie Gleichman	989a8f520e	Refactor Rendering.hs to use IngSyntaxGraph instead of Drawing. Eliminate warnings in AllTests.	2016-11-30 20:45:50 -08:00
Robbie Gleichman	02446b5b15	Reduce GHC warnings.	2016-11-27 17:25:30 -08:00
Robbie Gleichman	533392f3c1	Fix bind names not having special colors by adding BindNameNode.	2016-11-26 13:46:05 -08:00
Robbie Gleichman	4dafd8ea7e	Use the new collapseNodes algorithm when rendering. Still need to do embedding for patterns.	2016-11-21 19:18:08 -08:00
Robbie Gleichman	deb999a71b	Delete/remove IconGraph.	2016-11-21 13:57:53 -08:00
Robbie Gleichman	e19deaaa2d	Convert SyntaxGraph to an FGL graph, and render it.	2016-07-02 14:43:18 -07:00
Robbie Gleichman	58a757d41a	Add SyntaxGraph. Replace IconGraph with SyntaxGraph in Translate.hs.	2016-06-18 13:17:09 -07:00
Robbie Gleichman	21727bc9f1	Use nested function apply icon even when the function is not text.	2016-05-29 00:55:09 -07:00
Robbie Gleichman	e083af823a	Add special case for otherwise.	2016-05-28 23:29:01 -07:00
Robbie Gleichman	242aa8225d	Move render tests from app/Main.hs to test/AllTests.hs	2016-05-11 23:08:18 -07:00
Robbie Gleichman	973674054e	Remove (&) and (#), add tests.	2016-05-09 23:45:37 -07:00
Robbie Gleichman	3d939f9644	Fix $ adding an extra apply icon.	2016-04-09 18:59:40 -07:00
Robbie Gleichman	dd758a38ad	Translate nested icons. Fix nested icons missing edges in GraphViz graph.	2016-04-08 23:54:59 -07:00
Robbie Gleichman	287b477d1b	Simplify types.	2016-03-27 16:49:58 -07:00
Robbie Gleichman	299886c450	Give top level bind text boxes special colors.	2016-03-22 22:15:29 -07:00
Robbie Gleichman	3852a8a492	Integrated text for tuples and sections.	2016-03-21 19:11:19 -07:00
Robbie Gleichman	692577138d	Integrate text with apply icons.	2016-03-21 17:36:02 -07:00
Robbie Gleichman	c3bdc52b38	Apply0 -> ApplyA. Fix error with match to case translation.	2016-03-21 15:42:32 -07:00
Robbie Gleichman	ceb361f693	Lambdas now use a simple icon, not nested Drawings.	2016-03-21 02:00:04 -07:00
Robbie Gleichman	5818f286e6	Add NegExp, List patterns, changes for bootstrapping.	2016-03-05 22:26:03 -08:00
Robbie Gleichman	1de078336e	Do translation.	2016-03-05 18:01:35 -08:00
Robbie Gleichman	2d7833abbf	Handle all cases in EvalQName.	2016-03-05 00:12:55 -08:00
Robbie Gleichman	582140eff3	Translate list constructor.	2016-03-04 23:49:48 -08:00
Robbie Gleichman	69bacafdbd	Translate sections.	2016-03-04 21:35:23 -08:00
Robbie Gleichman	7b59edc49d	Special case for $.	2016-03-04 20:03:36 -08:00
Robbie Gleichman	3be7edd2b4	Add more than one comma to tuple string where appropriate.	2016-03-04 19:00:45 -08:00
Robbie Gleichman	73ad26168a	Add enums	2016-03-04 18:49:02 -08:00
Robbie Gleichman	f886a945e5	As patterns translated.	2016-03-04 13:24:09 -08:00
Robbie Gleichman	ea99c9bfe4	Extract types and functions that do not use Language.Haskell.Exts into TranslateCore.	2016-02-26 22:58:49 -08:00
Robbie Gleichman	8817c7712b	Dont' tuple and untuple when there is only one pattern.	2016-02-26 15:58:50 -08:00
Robbie Gleichman	b2a9427e57	Give edges in patterns a special color.	2016-02-25 18:37:04 -08:00
Robbie Gleichman	ce31dfa29a	Case and guard icon changes.	2016-02-25 17:10:12 -08:00
Robbie Gleichman	f33908ffdf	Remove spurious apply icon for unary patterns.	2016-02-24 15:10:06 -08:00
Robbie Gleichman	9e146a8cfb	Convert matches to case.	2016-02-24 14:46:49 -08:00
Robbie Gleichman	ec0a5c0843	Tuples	2016-02-23 23:14:00 -08:00
Robbie Gleichman	c4d0832ad0	Case translation.	2016-02-23 20:47:08 -08:00
Robbie Gleichman	7fee403b80	Refactor evalLambda to share code with evalMatch.	2016-02-22 22:01:03 -08:00
Robbie Gleichman	eed23189f2	New evalMatch handles complex patterns.	2016-02-22 16:13:53 -08:00
Robbie Gleichman	52e34df6b4	Fix app/Translate.hs so FunBind works.	2016-02-22 15:45:53 -08:00
Robbie Gleichman	dddb45ebb9	Complex patterns work for pattern bind.	2016-02-22 13:26:47 -08:00
Robbie Gleichman	8762a6a584	EvalPattern returns a GraphAndRef in preperation for complex patterns.	2016-02-21 20:26:12 -08:00
Robbie Gleichman	133bb74e0a	Where bindings work.	2016-02-21 19:34:33 -08:00
Robbie Gleichman	ef9ad167cd	Let expressions work.	2016-02-21 15:15:16 -08:00
Robbie Gleichman	3846945e28	Add edges for recursive usage of pattern binds.	2016-02-21 00:57:08 -08:00
Robbie Gleichman	b164ce54f0	Cycles in references now ignored instead of causing an infinite loop.	2016-02-21 00:38:06 -08:00
Robbie Gleichman	d31eb5e880	Let: Edges inside the binds.	2016-02-20 23:34:48 -08:00
Robbie Gleichman	6142910b5b	Let: Edges for rhs graph.	2016-02-20 23:07:46 -08:00