Commit Graph

92 Commits

Author SHA1 Message Date
Robbie Gleichman
ff761f8db8 Make the embedMap a Map. 2019-07-31 12:01:37 -07:00
Robbie Gleichman
aa63e6107a Use a Set instead of a list for lambda enclosed nodes. 2019-07-25 23:52:14 -07:00
Robbie Gleichman
164d837a10 Change emEmbedded in Embedder from a list to a Set. 2019-07-25 00:45:20 -07:00
Robbie Gleichman
6e04814723 Use Embedder for case and multi-if. 2019-07-19 00:35:31 -07:00
Robbie Gleichman
b1fad71a0c Wrap all SyntaxNodes in an Embedder type which has the names of that node's embedded nodes. 2019-07-18 02:40:09 -07:00
Robbie Gleichman
b63cdef55e Replace NamedIcons with NodeNames in some Icon constructors. 2019-06-28 23:10:20 -07:00
Robbie Gleichman
c1e1682b1d Undo embed literal lambda bodies since collapseAnnotatedGraph is buggy. 2019-06-16 13:02:42 -07:00
Robbie Gleichman
11fbdfebd8 Embed literal lambda bodies. 2019-05-10 23:10:57 -07:00
Robbie Gleichman
96be8aa835 Simplify and rename SyntaxNodes. 2019-02-25 01:48:17 -08:00
Robbie Gleichman
21e0091743 Refactor GraphAlgorithms.hs. 2019-02-19 03:21:13 -08:00
Robbie Gleichman
54ed0dda18 Rename guard to multiIf. 2019-01-12 00:55:13 -08:00
Robbie Gleichman
b82e5f3b93 Support MultiWayIf. 2019-01-08 21:29:51 -08:00
Robbie Gleichman
10fe364e76 Support data declarations. 2019-01-04 15:34:03 -08:00
Robbie Gleichman
e2f6f472cb Cleanup VisualTranslateTests. 2019-01-03 15:51:27 -08:00
Robbie Gleichman
ee53213252 Remove state from matchesToCase. 2018-12-08 16:03:29 -08:00
Robbie Gleichman
9e7d01ab82 Cleanup and improve formatting. 2018-11-11 23:13:19 -08:00
Robbie Gleichman
5b8d4d598c Fix warnings in VisualRenderingTests.hs. 2018-11-11 17:15:04 -08:00
Robbie Gleichman
9d9862539d Draw bounding boxes for lambdas. 2018-11-11 03:17:06 -08:00
Robbie Gleichman
484bba5cee Refactor NestedPApp and NestedPatternApplyNode. 2018-11-06 01:52:39 -08:00
Robbie Gleichman
17f1679015 Fix warnings. 2018-11-04 22:54:17 -08:00
Robbie Gleichman
33eac07c59 Remove non-nested apply and compose icons. 2018-11-04 12:20:19 -08:00
Robbie Gleichman
bc5ac3fa80 Remove context dependent coloring for text boxes in apply icons. 2018-11-04 02:51:01 -08:00
Robbie Gleichman
6f18d5f96d Extract the TransformableDia parameters to TransformParams. 2018-11-02 01:52:26 -07:00
Robbie Gleichman
7a854d9679 Simplify EdgeOption and EdgeEnd. 2018-10-30 00:53:36 -07:00
Robbie Gleichman
ccee42c23e Refactor the NestedApply Icon. 2018-10-28 02:16:17 -07:00
Robbie Gleichman
4b99c862a7 Update stackage. Replace (NodeName, Icon) with NamedIcon. 2018-10-28 00:25:31 -07:00
Robbie Gleichman
71f6d55df3 Use customRenderSVG in Main.hs. Change font to monospace. Use optparse-applicative for Main. 2017-01-04 01:22:08 -08:00
Robbie Gleichman
69589f7d24 Make a custom version of renderSVG that includes the xml:space=preserve attribute. This preveres whitespace in svg text. 2017-01-03 18:43:33 -08:00
Robbie Gleichman
4b0d32d034 Add pattern names to PApp. 2017-01-02 00:37:27 -08:00
Robbie Gleichman
9702cabc29 Add parameter names to lambda icon. 2017-01-01 17:43:00 -08:00
Robbie Gleichman
dc3b0c5875 Refactor evalRightSection and evalTuple to use applicative instead of monad. 2016-12-31 22:32:57 -08:00
Robbie Gleichman
ece4578b4d Add tuple sections. 2016-12-31 19:11:51 -08:00
Robbie Gleichman
3ed4c846bb Remove hardcoded port numbers from Translate.hs. 2016-12-29 00:15:17 -08:00
Robbie Gleichman
f2f54d9c3b Turn SgNamedNode into a data type. 2016-12-27 01:32:51 -08:00
Robbie Gleichman
7ab8d2d442 Make GraphAndRef a data type. 2016-12-27 00:37:59 -08:00
Robbie Gleichman
771f9a7cc3 For SyntaxGraph, rename sgSources to sgBinds, and use a data type (SgBind) instead of a tuple. 2016-12-26 16:37:10 -08:00
Robbie Gleichman
c426ff422a Fix @ (as patterns). 2016-12-25 21:45:58 -08:00
Robbie Gleichman
e876c6c401 Don't allow guards to embed PApps. 2016-12-25 17:24:26 -08:00
Robbie Gleichman
4ca53c58c4 Allow case icon to embed apply and pattern apply icons. 2016-12-24 14:46:53 -08:00
Robbie Gleichman
160d66a452 Delete generalGuardIcon. 2016-12-22 20:28:49 -08:00
Robbie Gleichman
fa67d61e84 Delete ResultIcon. 2016-12-22 19:51:22 -08:00
Robbie Gleichman
9523dcd609 Case and guard icons can now embed literals. 2016-12-19 20:27:31 -08:00
Robbie Gleichman
0185257444 Fix some instances of <$> not being converted to fmap. 2016-12-18 21:15:59 -08:00
Robbie Gleichman
dd43ebd994 Delete BranchIcon and BranchNode. 2016-12-17 17:13:36 -08:00
Robbie Gleichman
04787c62ff Remove coerceExpressionResult from evalPatAndRhs. This removes branch icons from cases. 2016-12-17 15:25:10 -08:00
Robbie Gleichman
7ac515ceaa Rename and refactor exported translation functions in Translate.hs. 2016-12-15 22:58:19 -08:00
Robbie Gleichman
00f6d4bd31 Turn some lambda tests into unit tests. 2016-12-15 17:12:16 -08:00
Robbie Gleichman
ec0bf8adf7 Add pattern unit tests. 2016-12-14 01:10:18 -08:00
Robbie Gleichman
f2fd136ac9 Move enum and negate tests into UnitTests. Update .cabal. 2016-12-14 00:30:03 -08:00
Robbie Gleichman
5d5074cced Reduce warnings. 2016-12-13 23:21:34 -08:00