24218 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	ec65704a9b	Use the statePos field selector.	2018-06-28 13:25:06 -04:00
Rob Rix	74354b09e6	Explicitly list the exports.	2018-06-28 13:24:14 -04:00
Rob Rix	432ac62552	Assign using the usual AST type.	2018-06-28 13:21:25 -04:00
Rob Rix	d124423a98	Derive an Ord instance for Node.	2018-06-28 13:20:44 -04:00
Rob Rix	bd57b3024e	Define a TermAssigning instance for TermAssignment.	2018-06-28 12:47:45 -04:00
Rob Rix	c29cbb88e8	Rename assignEmpty to nullable.	2018-06-28 12:44:30 -04:00
Rob Rix	d2fac9b1f3	Nullability receives the State.	2018-06-28 12:43:56 -04:00
Rob Rix	634325da26	Define a helper to compute the current Record Location from the State.	2018-06-28 12:31:08 -04:00
Rob Rix	1893d6c9d1	Define a helper to compute the current Range from the State.	2018-06-28 12:30:27 -04:00
Rob Rix	6f226073e0	Specialize toTerm to Record Location.	2018-06-28 12:26:53 -04:00
joshvera	b5fe1cf208	Merge remote-tracking branch 'origin/master' into grpc-trees	2018-06-28 11:52:03 -04:00
Rob Rix	f904840046	Correct the kind of TermAssignment.	2018-06-28 11:27:51 -04:00
Rob Rix	ae798c6022	Define a TermAssignment newtype.	2018-06-28 11:26:51 -04:00
Rob Rix	403d2ec60c	Define a TermAssigning interface.	2018-06-28 11:25:31 -04:00
Rob Rix	01119e02ab	Rename the s parameter to grammar.	2018-06-28 11:24:02 -04:00
Rob Rix	c8c8ca1b6a	🔥 sym.	2018-06-28 11:22:29 -04:00
Rob Rix	4370de23fd	Define branchNode.	2018-06-28 11:21:56 -04:00
Rob Rix	6af3f6c774	runAssignment returns the final State.	2018-06-28 11:21:42 -04:00
Rob Rix	a98d1191eb	Rename invokeDet to runAssignment.	2018-06-28 11:16:16 -04:00
Rob Rix	c199a24586	Implement leafNode.	2018-06-28 11:13:32 -04:00
Rob Rix	431ad6f206	Pass some Source around.	2018-06-28 11:07:18 -04:00
Rob Rix	9606c4efed	Allow messages to be arbitrary Strings.	2018-06-28 11:04:07 -04:00
Rob Rix	6d7564ba66	Operate over AST.	2018-06-28 11:00:52 -04:00
Rob Rix	5e7c42f54a	Define an AST type.	2018-06-28 10:53:24 -04:00
Rob Rix	4467627d38	Align the State fields.	2018-06-28 10:50:16 -04:00
Rob Rix	0b3a192a56	Note some TODOs.	2018-06-28 10:33:33 -04:00
Rob Rix	0a75f0a388	Rename Delta back to Offset.	2018-06-28 10:30:00 -04:00
Charlie Somerville	b8892e731f	change Env.{pairs, unpairs} to take Bindings instead, add flatPairs	2018-06-28 13:59:03 +10:00
Charlie Somerville	d49d3ef764	add Bindings newtype representing a single scope level	2018-06-28 13:46:49 +10:00
Patrick Thomson	d008d14411	no -XLambdaCase	2018-06-27 20:52:27 -04:00
Rob Rix	6769baff22	Rename DetPar to Assignment.	2018-06-27 19:46:24 -04:00
Rob Rix	32fd7400d6	Hold a value to produce at the end of input.	2018-06-27 19:45:52 -04:00
Rob Rix	6edb93dd0e	Advance the state with advanceState.	2018-06-27 19:29:21 -04:00
Rob Rix	d6d7ce0efa	Compute the span accurately at nodes.	2018-06-27 19:26:58 -04:00
Rob Rix	4fb9a6067f	Line the lines/columns.	2018-06-27 19:24:08 -04:00
Rob Rix	86ada732f3	Rename Offset to Delta.	2018-06-27 19:21:04 -04:00
Rob Rix	be0ce7e0e8	Define a function to advance the State.	2018-06-27 19:19:58 -04:00
Rob Rix	ec8e77a9b3	Define a Semigroup instance for Offset.	2018-06-27 19:18:37 -04:00
Rob Rix	118dd47838	f determines s.	2018-06-27 19:12:16 -04:00
Rob Rix	b658356726	Swap the parameters to Assigning.	2018-06-27 19:11:28 -04:00
Rob Rix	e17c546a0a	Define a Join instance for Offset.	2018-06-27 19:08:42 -04:00
Rob Rix	ea4b61693f	Generalize Measured over the measurement type.	2018-06-27 19:06:41 -04:00
Rob Rix	e565d54509	Define a class of Measured types.	2018-06-27 19:05:36 -04:00
Rob Rix	ee8e09b20c	Get the Spans for Errors from the State.	2018-06-27 19:02:19 -04:00
Rob Rix	892985a265	Carry an Offset along with the input.	2018-06-27 19:01:18 -04:00
Rob Rix	73dbaa9794	Don’t qualify booleans.	2018-06-27 18:56:38 -04:00
Rob Rix	357e910630	Derive Eq, Ord, & Show instances for Offset.	2018-06-27 18:55:13 -04:00
Rob Rix	3fc71d3950	Define a Lower instance for Offset.	2018-06-27 18:51:26 -04:00
Rob Rix	2885a34e3a	Define a Lower instance for Pos.	2018-06-27 18:51:07 -04:00
Rob Rix	0e99b6c525	Define a datatype of Offsets.	2018-06-27 18:50:01 -04:00