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 |
|
Rob Rix
|
8ad510d274
|
Merge branch 'master' into generalize-analyses-over-the-term-type
|
2019-08-06 14:38:30 -04:00 |
|
Rob Rix
|
f0ab3f1c91
|
Merge branch 'master' into factor-annotations-out-of-core
|
2019-08-06 14:07:22 -04:00 |
|
Rob Rix
|
c2e620ac6f
|
Haddock doesn’t like this.
|
2019-08-06 13:52:32 -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
|
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 |
|
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
|
901014d6ac
|
🔥 a redundant FIXME.
|
2019-07-30 09:38:09 -04:00 |
|
Rob Rix
|
e58dea96fb
|
Factor out how we extend bindings.
|
2019-07-30 09:21:03 -04:00 |
|
Rob Rix
|
100d6a18ff
|
Extend the scope graph on assignment.
|
2019-07-30 09:14:32 -04:00 |
|
Rob Rix
|
196f2bff17
|
Add declarations to records.
|
2019-07-29 16:16:46 -04:00 |
|
Rob Rix
|
a73b267ebd
|
Rename Entry to Decl.
|
2019-07-29 16:10:09 -04:00 |
|
Rob Rix
|
ed94104e27
|
Map entries to references.
|
2019-07-29 16:08:56 -04:00 |
|
Rob Rix
|
a4066b9df6
|
Construct scope graphs on deref.
|
2019-07-29 16:07:29 -04:00 |
|
Rob Rix
|
6cb9af299e
|
Correct the Monoid instance for ScopeGraph.
|
2019-07-29 15:51:52 -04:00 |
|
Rob Rix
|
3bf6cb61fd
|
Export ScopeGraph’s constructor & field.
|
2019-07-29 15:51:38 -04:00 |
|
Rob Rix
|
34da6ada5c
|
Rename a couple of copy-pasta’d variables.
|
2019-07-29 15:36:37 -04:00 |
|
Rob Rix
|
a04ccbb08c
|
Write record fields to the heap in the abstract analyses.
|
2019-07-29 13:33:07 -04:00 |
|
Rob Rix
|
c7bee13fd4
|
Generalize scopeGraph over the term type.
|
2019-07-29 13:22:18 -04:00 |
|
Rob Rix
|
3bafa9a8b3
|
Generalize runFile over the term type.
|
2019-07-29 13:21:29 -04:00 |
|
Rob Rix
|
4296244f9e
|
Merge branch 'generalize-analyses-over-the-term-type' into scope-graphs
|
2019-07-29 13:19:51 -04:00 |
|
Rob Rix
|
bd5aea62b3
|
Fix the doctests of the concrete analysis.
|
2019-07-29 13:04:15 -04:00 |
|
Rob Rix
|
0b86f913ee
|
Clean up some language extensions.
|
2019-07-29 12:59:29 -04:00 |
|
Rob Rix
|
e9853c1a3f
|
Avoid allocating a useless cell.
|
2019-07-29 12:58:20 -04:00 |
|
Rob Rix
|
2c28e536e9
|
🔥 the FrameId reader effect.
|
2019-07-29 12:57:44 -04:00 |
|
Rob Rix
|
15e5731d93
|
Generalize concrete over the term types.
|
2019-07-29 12:55:13 -04:00 |
|
Rob Rix
|
da0d780f81
|
Generalize runFile over the term type.
|
2019-07-29 12:54:01 -04:00 |
|
Rob Rix
|
d8175305da
|
Generalize addressStyle over the term type.
|
2019-07-29 12:38:10 -04:00 |
|
Rob Rix
|
bd8f0ca4c1
|
Generalize heapAddressGraph over the term type.
|
2019-07-29 12:37:54 -04:00 |
|
Rob Rix
|
a549039dd3
|
Generalize heapValueGraph over the term type.
|
2019-07-29 12:37:39 -04:00 |
|