232 Commits

Author	SHA1	Message	Date
Ayman Nadeem	e648302a44	remove -Wno-unused-top-binds; unused top bindings are a signal of dead code	2020-01-16 15:35:00 -05:00
Ayman Nadeem	c380908a2a	no longer relevant since we're directly marshaling in Main now	2020-01-16 14:00:39 -05:00
Ayman Nadeem	12a126c60b	add TODO to venture beyond python	2020-01-16 14:00:16 -05:00
Ayman Nadeem	2b23609d4a	add this back as per Rob's approval	2020-01-16 09:30:22 -05:00
Ayman Nadeem	8befed9940	🔥comments	2020-01-13 10:46:59 -05:00
Ayman Nadeem	32123145a0	remove ghc-options	2020-01-13 10:46:32 -05:00
Ayman Nadeem	8bf0e031f3	🔥	2020-01-07 14:06:32 -05:00
Ayman Nadeem	f217a3cf74	improve GFields instance comment	2020-01-07 14:05:44 -05:00
Ayman Nadeem	2f1a425c11	🔥	2020-01-07 14:03:19 -05:00
Ayman Nadeem	3630edcb39	🔥this bc we've outgrown our scaffold/example	2020-01-07 13:54:46 -05:00
Ayman Nadeem	b266573ba4	clean up learning comments	2020-01-07 13:51:18 -05:00
Ayman Nadeem	759079f5da	avoid cyclic imports	2020-01-07 13:44:10 -05:00
Ayman Nadeem	7ff1b2e6fa	Fix -Wunrecognised-pragmas warning but adding -Wno-unused-top-binds warning to use in Main	2020-01-07 13:40:08 -05:00
Ayman Nadeem	e565b8c914	Deprecated: "Use Data.ByteString.Lazy.Char8.putStrLn instead	2020-01-07 13:38:27 -05:00
Ayman Nadeem	22ad567d34	The import of ‘encode’ from module ‘Data.Aeson’ is redundant	2020-01-07 13:22:08 -05:00
Ayman Nadeem	93b96462f2	Merge branch 'master' into json-output	2019-12-19 13:34:13 -05:00
Ayman Nadeem	439454c946	need aeson-pretty for encodePretty	2019-12-19 13:33:49 -05:00
Ayman Nadeem	e0b9e40c33	use encodePretty for pretty json output in console	2019-12-19 13:31:18 -05:00
Ayman Nadeem	af615d630d	lazy bytestrings r 4 lazy girls	2019-12-19 13:30:56 -05:00
Ayman Nadeem	450017447e	improve temp docs for GValue	2019-12-19 13:30:10 -05:00
Ayman Nadeem	ea364ff36e	need bytestring	2019-12-19 10:16:47 -05:00
Ayman Nadeem	a8c0b9b21e	add reminder to do this for range/span annotations properly	2019-12-19 10:11:55 -05:00
Ayman Nadeem	20eb10cf3c	call toJSON if there is an instance, or marshal, print results	2019-12-19 10:11:36 -05:00
Ayman Nadeem	31ed149850	need Marshal	2019-12-19 10:08:18 -05:00
Ayman Nadeem	a3cc20811c	import Aeson and alphabetize	2019-12-19 10:08:10 -05:00
Ayman Nadeem	c76c52757b	aeson version in semantic-ast should match semantic	2019-12-19 10:00:03 -05:00
Ayman Nadeem	936ab9493a	call marshal on Expr sum type	2019-12-19 09:59:29 -05:00
Ayman Nadeem	07560d24a1	let's use marshal on these example datatypes	2019-12-19 09:59:13 -05:00
Ayman Nadeem	f211f9ef98	copy Examples.hs from tree-sitter	2019-12-19 09:58:58 -05:00
Ayman Nadeem	be68edee65	we need undecidable instances	2019-12-19 09:58:06 -05:00
Ayman Nadeem	e82377960a	import NonEmpty to make generic value instance work	2019-12-19 09:57:57 -05:00
Ayman Nadeem	4f627026be	we can use fmap instead of having to use NonEmpty.map	2019-12-19 09:53:13 -05:00
Ayman Nadeem	1db98123c3	NonEmpty is also a type constructor represented by composition	2019-12-19 09:52:36 -05:00
Ayman Nadeem	74b14622e5	use generic composition to represent another type constructor, list	2019-12-19 09:51:49 -05:00
Ayman Nadeem	a919ee35cb	need composition for Maybe, since Maybe is a type constructor that needs to take another type	2019-12-19 09:50:56 -05:00
Ayman Nadeem	c89a80ea50	value for text	2019-12-19 09:50:08 -05:00
Ayman Nadeem	d5d7ce9dfc	explain GValue and gvalue	2019-12-19 09:49:50 -05:00
Ayman Nadeem	635c73670c	s p a c e	2019-12-19 09:49:09 -05:00
Ayman Nadeem	11d3905242	describe how to extract value out of datum using GValue introduced below	2019-12-19 09:49:04 -05:00
Ayman Nadeem	e8ee760e64	move inductive case below base case	2019-12-18 17:38:35 -05:00
Ayman Nadeem	470092b60d	WIP comment describing why we need GValue and assoc method	2019-12-18 17:26:34 -05:00
Ayman Nadeem	eede2725b7	proxy/typelits stuff no longer needed	2019-12-18 17:26:07 -05:00
Ayman Nadeem	1f2b1c3dd3	this is the base case for products	2019-12-18 17:25:34 -05:00
Ayman Nadeem	34de9472a7	move sum case below product and friends	2019-12-18 15:59:23 -05:00
Ayman Nadeem	d2319b0dcd	we need sums!	2019-12-18 15:49:06 -05:00
Ayman Nadeem	5bb2fc45f5	we can straight up use the type synonym C1 with a single param instead of promoting MetaCons constructor	2019-12-18 15:48:55 -05:00
Ayman Nadeem	4950b2ff16	move comment explaining unM1 usage to relevant line	2019-12-18 15:46:36 -05:00
Ayman Nadeem	e0fa2fe5a5	no need to provide an instance for MarshalJSON anymore	2019-12-18 15:46:13 -05:00
Ayman Nadeem	83d4007174	Let's use Examples instead of Bar	2019-12-18 15:45:58 -05:00
Ayman Nadeem	0635151394	comment to self providing analogy for example Bar datatype	2019-12-18 15:45:38 -05:00