339 Commits

Author	SHA1	Message	Date
Ayman Nadeem	8c9c6ed7ec	need an extra type parameter for field types	2020-02-20 16:40:38 -05:00
Ayman Nadeem	6c9f3d451e	call f before constructor	2020-02-20 16:11:25 -05:00
Ayman Nadeem	615d760ff0	varT, not conT, because we have a type variable not a constructor	2020-02-20 16:11:07 -05:00
Ayman Nadeem	de828d608e	delete ty'	2020-02-20 16:10:44 -05:00
Ayman Nadeem	64cf6601c7	construct extraParameterName	2020-02-20 16:10:22 -05:00
Ayman Nadeem	7d551762bb	add extraTypeParameterName to symbolMatchinstance	2020-02-20 16:10:13 -05:00
Ayman Nadeem	acecb82e5f	add an extra arg to symbolMatchingInstance	2020-02-20 16:09:52 -05:00
Ayman Nadeem	8b27bf0cd6	change variable to make it consistent for debugging	2020-02-20 16:09:35 -05:00
Ayman Nadeem	f67e55ab66	supply f to traversableInstances definition	2020-02-20 15:34:09 -05:00
Ayman Nadeem	76ca0060bc	add an extra type parameter	2020-02-20 15:31:21 -05:00
Ayman Nadeem	1b22b0995c	f should come first cosmetically	2020-02-20 15:31:05 -05:00
Ayman Nadeem	db804ecb23	f should come first	2020-02-20 15:30:39 -05:00
Ayman Nadeem	ecdaa12345	we can supply the extra parameter to the creation of a datatype	2020-02-20 15:08:23 -05:00
Ayman Nadeem	c7ac076a59	we want an additional type parameter, so it's f a not just a	2020-02-20 15:07:59 -05:00
Ayman Nadeem	74f35e309a	rename TestHelpers for real	2020-02-20 14:53:19 -05:00
Ayman Nadeem	507f1c21a4	scope should be clear without TH.	2020-02-20 13:52:45 -05:00
Ayman Nadeem	037b03307e	use TH functions instead of constructors to standardize	2020-02-20 13:48:31 -05:00
Ayman Nadeem	9df8160df9	remove ^ from hedgehog version bound	2020-02-14 16:37:30 -05:00
Ayman Nadeem	a1a2ca1533	use TH.plainTV instead of TH.PlainTV	2020-02-14 16:29:19 -05:00
Ayman Nadeem	82a0062f3c	change AST.Test to AST.TestHelpers	2020-02-14 11:33:01 -05:00
Ayman Nadeem	6c24228187	🥕bounds	2020-02-14 11:29:25 -05:00
Ayman Nadeem	3ef135e2d1	refactor	2020-02-13 17:17:27 -05:00
Ayman Nadeem	aed2ce774f	simplify readability	2020-02-13 16:51:59 -05:00
Ayman Nadeem	4d744ffdd9	use constructor instead of String in signature	2020-02-13 16:17:26 -05:00
Ayman Nadeem	5a94fda83a	factor out repeated traversalInstances	2020-02-13 16:07:35 -05:00
Ayman Nadeem	f08e0d9dda	use mappend instead of <>	2020-02-13 16:01:25 -05:00
Ayman Nadeem	32d3b3af9e	Update semantic-ast.cabal	2020-02-07 19:36:08 -05:00
Ayman Nadeem	bffe4284fe	Update semantic-ast.cabal	2020-02-06 16:46:36 -05:00
Ayman Nadeem	db295a5b2d	Delete Test.hs	2020-02-06 16:46:32 -05:00
Ayman Nadeem	6f8e8b6b5b	Create Test.hs	2020-02-06 16:46:28 -05:00
Ayman Nadeem	b3eb124a75	Update semantic-ast.cabal	2020-02-06 16:27:26 -05:00
Ayman Nadeem	7a0f2280d5	TreeSitter.Test.Helpers is now AST.Test	2020-02-06 16:27:22 -05:00
Ayman Nadeem	36364e831a	Delete Helpers.hs	2020-02-06 16:27:00 -05:00
Ayman Nadeem	85c79821d9	rename Marshal.JSON to AST.Marshal.JSON	2020-02-06 12:36:07 -05:00
Ayman Nadeem	602642169b	move docs to semantic-ast	2020-02-04 17:36:29 -05:00
Ayman Nadeem	15c91a50f2	Update semantic-ast.cabal	2020-02-04 17:31:48 -05:00
Ayman Nadeem	fc27cf0dbe	update semantic-ast.cabal with codegen files	2020-02-04 17:26:38 -05:00
Ayman Nadeem	0324f94381	move WIP helpers from semantic-codegen to semantic-ast	2020-02-04 17:26:26 -05:00
Ayman Nadeem	22a15a7b2f	move AST.Grammar.TH to semantic-ast from semantic-codegen	2020-02-04 17:26:02 -05:00
Ayman Nadeem	1d643c5b98	move AST.Examples to semantic-ast from semantic-codegen	2020-02-04 17:25:37 -05:00
Ayman Nadeem	35c04464fc	move AST.Unmarshal to semantic-ast from semantic-codegen	2020-02-04 17:25:06 -05:00
Ayman Nadeem	8ad6585ad2	move AST.Token to semantic-ast from semantic-codegen	2020-02-04 17:24:20 -05:00
Ayman Nadeem	034d2836d7	move AST.GenerateSyntax to semantic-ast from semantic-codegen	2020-02-04 17:23:58 -05:00
Ayman Nadeem	f5eeb93813	move AST.Deserialize to semantic-ast from semantic-codegen	2020-02-04 17:23:33 -05:00
Rob Rix	223fd96fdb	Move the README to semantic-parse.	2020-02-04 14:28:18 -05:00
Rob Rix	23649d50be	🔥 the semantic-ast executable (since it has been moved to semantic-parse).	2020-02-04 14:27:37 -05:00
Rob Rix	0291afcd98	Placate hlint.	2020-02-04 14:21:38 -05:00
Rob Rix	b66974b95b	Split up AST.Traversable1 into two modules.	2020-02-04 14:18:37 -05:00
Rob Rix	7e08d781c9	Add a module header describing the organizational concerns.	2020-02-04 14:13:10 -05:00
Rob Rix	3737b2b4cf	Stub in a module for just the Traversable1 class.	2020-02-04 14:11:43 -05:00