29223 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	b658804193	Test the coverage of source values. ... Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>	2019-08-06 16:38:27 -04:00
Rob Rix	0af81b1fef	Label using classify. ... Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>	2019-08-06 16:29:01 -04:00
Rob Rix	3beda88f32	Move the label call into summarize. ... Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>	2019-08-06 16:23:35 -04:00
Rob Rix	698497b1a0	Tidy up the sourceLineRanges tests using prop. ... Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>	2019-08-06 16:22:38 -04:00
Rob Rix	becf320762	Merge pull request #219 from github/re-name ... Rename User to Name	2019-08-06 15:18:50 -04:00
Rob Rix	fc2233feea	Merge branch 'master' into re-name	2019-08-06 15:12:32 -04:00
Patrick Thomson	f04a69af24	Merge pull request #211 from github/scope-graphs ... Scope graphs	2019-08-06 15:12:16 -04:00
Rob Rix	d3726fa9e2	Merge branch 'scope-graphs' into re-name	2019-08-06 15:08:56 -04:00
Rob Rix	0515d7c11d	Let-bind the function extending each value in the cell.	2019-08-06 15:05:15 -04:00
Rob Rix	c30e5ff473	Merge branch 'master' into scope-graphs	2019-08-06 14:55:39 -04:00
Patrick Thomson	3f77dd6507	Merge pull request #209 from github/generalize-analyses-over-the-term-type ... Generalize analyses over the term type	2019-08-06 14:48:35 -04:00
Rob Rix	8ad510d274	Merge branch 'master' into generalize-analyses-over-the-term-type	2019-08-06 14:38:30 -04:00
Patrick Thomson	5521d7da94	Merge pull request #208 from github/factor-annotations-out-of-core ... Factor annotations out of Core	2019-08-06 14:31:59 -04:00
Rob Rix	514703dc3f	Merge branch 'master' into factor-annotations-out-of-core	2019-08-06 14:09:35 -04:00
Rob Rix	735340beb1	Merge pull request #216 from github/the-point-of-no-carriage-return ... Source generators produce multiline strings	2019-08-06 14:09:12 -04:00
Rob Rix	f0ab3f1c91	Merge branch 'master' into factor-annotations-out-of-core	2019-08-06 14:07:22 -04:00
Rob Rix	f7547ce911	Merge branch 'master' into the-point-of-no-carriage-return	2019-08-06 14:01:53 -04:00
Rob Rix	368fc7b6df	Merge pull request #204 from github/sequence-values-in-the-abstract-domain ... Sequence values in the abstract domain	2019-08-06 14:00:05 -04:00
Rob Rix	c2e620ac6f	Haddock doesn’t like this.	2019-08-06 13:52:32 -04:00
Patrick Thomson	4aaf92fa66	Merge branch 'master' into the-point-of-no-carriage-return	2019-08-06 13:48:21 -04:00
Rob Rix	8d08b1a26a	Merge branch 'master' into sequence-values-in-the-abstract-domain	2019-08-06 13:45:57 -04:00
Rob Rix	7482c84d9b	Merge pull request #220 from github/module-laws ... Module laws	2019-08-06 13:45:49 -04:00
Rob Rix	d600246663	📝 the Semigroup instance for Concrete.	2019-08-06 13:44:21 -04:00
Rob Rix	82cb7e49b0	📝 the Semigroup instance for Term Monotype a.	2019-08-06 13:43:37 -04:00
Rob Rix	559a7aa59c	📝 the Semigroup use.	2019-08-06 13:41:45 -04:00
Rob Rix	dbf894163a	Merge branch 'master' into sequence-values-in-the-abstract-domain	2019-08-06 13:37:20 -04:00
Rob Rix	5d47b21977	Merge branch 'master' into module-laws	2019-08-06 13:34:36 -04:00
Patrick Thomson	d2d1869d08	No orphans in this file anymore!	2019-08-06 13:33:18 -04:00
Rob Rix	fb1c27b595	Merge pull request #203 from github/records ... Records	2019-08-06 13:32:56 -04:00
Patrick Thomson	6fe27108a3	No need to pull in QC; Hedgehog's label can do this.	2019-08-06 13:27:58 -04:00
Rob Rix	372ed98b5e	Avoid rolling our own string literal parser. ... 🎩 @patrickt.	2019-08-06 12:25:05 -04:00
Rob Rix	78bd32e0b0	Don’t prefix :<-.	2019-08-06 12:23:01 -04:00
Rob Rix	b80dd5381a	Pull the rhs into a where clause.	2019-08-06 12:18:34 -04:00
Rob Rix	28404ae11e	foldrWithKey. ... 🎩 @patrickt.	2019-08-06 12:12:11 -04:00
Rob Rix	dd6d9a0209	Type application.	2019-08-06 12:07:01 -04:00
Rob Rix	0d2f05a8c7	📝 the parameters to unprefixEither.	2019-08-06 12:05:22 -04:00
Rob Rix	7c686d1ccb	📝 unprefixEither.	2019-08-06 12:04:22 -04:00
Rob Rix	eb2ede6d1d	Subterm.	2019-08-06 12:02:47 -04:00
Rob Rix	e2ec37ebdb	📝 unprefix’s parameters.	2019-08-06 12:01:30 -04:00
Rob Rix	ab07e5a0d6	📝 unprefix’s purpose.	2019-08-06 11:59:20 -04:00
Rob Rix	7b0a4155da	📝 unprefix.	2019-08-06 11:57:10 -04:00
Rob Rix	93eba20619	Rename un/unEither to unprefix/unprefixEither.	2019-08-06 11:55:43 -04:00
Rob Rix	93eba1d946	📝 the practical takeaway.	2019-08-06 11:47:35 -04:00
Rob Rix	c09e465efb	📝 RightModule and its laws.	2019-08-06 11:40:15 -04:00
Rob Rix	f141319f84	Rename User to Name.	2019-08-06 11:18:54 -04:00
Rob Rix	bd575002a3	Merge branch 'master' into the-point-of-no-carriage-return	2019-08-06 11:16:05 -04:00
Rob Rix	339585f4ba	Merge branch 'master' into records	2019-08-06 11:15:11 -04:00
Rob Rix	3617455ad2	Merge pull request #202 from github/gen-x ... 🔥 Naming, Name, & Gensym	2019-08-06 11:14:53 -04:00
Rob Rix	a1e0e64204	Merge branch 'master' into the-point-of-no-carriage-return	2019-08-02 17:12:28 -04:00
Rob Rix	5ea3f651e0	Spacing.	2019-08-02 16:45:48 -04:00