12639 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	dc90ebf129	📝 the AssignmentParser fields.	2017-05-19 13:50:50 -04:00
Rob Rix	2f46384e74	Clarify that the parser weakens the terms.	2017-05-19 13:50:35 -04:00
Rob Rix	ff338d3684	📝 AssignmentParser.	2017-05-19 13:47:59 -04:00
Rob Rix	1fc881f1b8	📝 ASTParser.	2017-05-19 13:47:53 -04:00
Rick Winfrey	45eecfa190	Merge branch 'master' into python-assignment	2017-05-19 10:47:28 -07:00
Rob Rix	e9c27f1337	📝 Parser.	2017-05-19 13:45:26 -04:00
Rob Rix	933512afcf	Reformat the AssignmentParser constructor.	2017-05-19 13:44:35 -04:00
Rob Rix	55bcf68ba1	Rename ALaCarteParser to AssignmentParser.	2017-05-19 13:41:18 -04:00
Rob Rix	abbb846c23	ALaCarteParser does not require that the syntax include errors.	2017-05-19 13:40:45 -04:00
Rob Rix	35d8248547	🔥 a redundant import.	2017-05-19 13:40:04 -04:00
Rob Rix	b5389896de	Define a function weakening unions.	2017-05-19 13:37:49 -04:00
Rob Rix	e466214a2b	s/charIndex/byteIndex/	2017-05-19 13:33:37 -04:00
Rob Rix	44b5e2ab47	Define ALaCarteParser in terms of ASTParser.	2017-05-19 13:32:28 -04:00
Rob Rix	2239d4240c	Define an AST parser.	2017-05-19 13:31:47 -04:00
Rick Winfrey	f314e5ce7a	None -> Null; 🔥 type byteString parameter	2017-05-19 10:22:32 -07:00
Rick Winfrey	a9d73f4ed0	🔥 Unary constructor; 🔥 UPlus; UMinus -> Arithmetic Minus; UComplement -> Bitwise Complement	2017-05-19 10:16:35 -07:00
Rob Rix	2224df586d	Parameterize parseToAST with the tree-sitter language.	2017-05-19 13:06:00 -04:00
Rob Rix	9e5282e73d	Manage the document’s lifetime with bracket.	2017-05-19 13:02:37 -04:00
Rob Rix	82ec363828	Generalize ALaCarteRubyParser to a parser holding an assignment.	2017-05-19 13:01:28 -04:00
Rob Rix	71417972b2	🔥 redundant Show constraints for the grammar.	2017-05-19 12:58:26 -04:00
Rob Rix	80b9e267a1	Define a syntax functor for parse errors.	2017-05-19 12:58:09 -04:00
Rob Rix	42fece22ec	Merge branch 'master' into parser-abstraction	2017-05-19 12:29:25 -04:00
Timothy Clem	1a98dba03b	Merge pull request #1126 from github/diff-parse-stdin ... Take blob content on stdin	2017-05-19 09:26:52 -07:00
Rob Rix	c2c1b71106	Better 📝 for parserForLanguage.	2017-05-19 12:21:37 -04:00
Rob Rix	c834852a9b	🔥 a redundant import.	2017-05-19 12:19:35 -04:00
Timothy Clem	b5ad87a207	Merge branch 'master' into diff-parse-stdin	2017-05-19 09:17:45 -07:00
Rob Rix	b8d3c26759	Revert "Define Language as a GADT." ... This reverts commit e5606b132d3ded64a55f3268c978f9adb227fc4b.	2017-05-19 12:15:03 -04:00
Rob Rix	aff60ae06a	Revert "🔥 extra indentation." ... This reverts commit 4e162f800d67a00f5e99972dbf4f9d595d098b5a.	2017-05-19 12:14:49 -04:00
Rob Rix	5a291f014d	🔥 extra indentation.	2017-05-19 12:11:09 -04:00
Rob Rix	52c0de28a8	🔥 redundant parens.	2017-05-19 12:10:32 -04:00
Rob Rix	e3f95eb9a8	Define Language as a GADT.	2017-05-19 12:09:49 -04:00
Rob Rix	041f22ddca	Pass the Source to parsers.	2017-05-19 11:52:44 -04:00
Rob Rix	7a24e8fe01	Pass the Source to documentToTerm.	2017-05-19 11:50:08 -04:00
Rob Rix	13b6445309	Share the computation of the first line.	2017-05-19 11:45:51 -04:00
Rob Rix	406001f25f	Align startPos/endPos.	2017-05-19 11:44:57 -04:00
Rob Rix	96469f0bd1	📝 rangeToSourceSpan & sourceSpanToRange.	2017-05-19 11:43:10 -04:00
Rob Rix	9f847da265	Make sure the rangeToSourceSpan/sourceSpanToRange tests include newlines.	2017-05-19 11:41:16 -04:00
Rob Rix	e66122f0da	Correct the definition of rangeToSourceSpan.	2017-05-19 11:39:45 -04:00
Rob Rix	61e29e8fdb	Compute the line ranges within the range.	2017-05-19 11:20:52 -04:00
Rob Rix	71e3c1d482	sum rangeLengths.	2017-05-19 11:18:21 -04:00
Rob Rix	c89ee864ca	🔥 rangeAt.	2017-05-19 11:17:21 -04:00
Rob Rix	9ddbc5055d	s/dual to/inverse of/	2017-05-19 11:08:22 -04:00
Rob Rix	79e4a1f773	Simplify properties.	2017-05-19 10:59:33 -04:00
Rob Rix	bf5c266325	Test that rangeToSourceSpan and sourceSpanToRange are duals.	2017-05-19 10:52:12 -04:00
Timothy Clem	5d3d320eff	Individual lookup of before/after keys	2017-05-19 07:50:13 -07:00
Rob Rix	fd9a240dbb	Correct the columns in rangeToSourceSpan.	2017-05-19 10:49:03 -04:00
Rob Rix	0bb2551909	Simplify sourceSpanToRange’s handling of 1-indexed spans.	2017-05-19 10:46:53 -04:00
Rob Rix	edefb5c5fb	Compute 1-indexed totalSpans.	2017-05-19 10:45:51 -04:00
Rob Rix	8e1ba92729	Move rangeToSourceSpan up with sourceSpanToRange.	2017-05-19 10:33:10 -04:00
Rob Rix	58a2cb79d2	ALaCarteRubyParser is total (sort of).	2017-05-19 10:32:26 -04:00