Patrick Thomson
229902a5ca
Merge remote-tracking branch 'origin/master' into rationals
2018-03-14 10:40:00 -04:00
Patrick Thomson
81aab6572e
Address Rob's changes.
2018-03-14 10:36:56 -04:00
Rob Rix
6918fb31cf
Merge branch 'master' into garbage-collecting
2018-03-14 09:39:55 -04:00
Rob Rix
5e5599c9e8
Copy my changes back.
2018-03-14 09:30:45 -04:00
Rob Rix
8d1b80e599
Define a simple passthrough Collecting analysis.
2018-03-12 14:31:24 -04:00
Rob Rix
31dae8f671
🔥 Control.Monad.Effect.GC.
2018-03-12 14:24:28 -04:00
Rob Rix
371a4ae02b
Whoops, semigroups snuck back in there.
2018-03-12 12:56:47 -04:00
Rob Rix
7794d9423b
Merge branch 'master' into re-enable-tracing-analyses
2018-03-12 12:09:13 -04:00
Patrick Thomson
46f4638497
Merge remote-tracking branch 'origin/master' into criterion
2018-03-12 10:53:50 -04:00
Patrick Thomson
8c2ffa6d8e
Merge remote-tracking branch 'origin/master' into criterion
2018-03-12 10:22:41 -04:00
Patrick Thomson
ee2cbf9423
Merge remote-tracking branch 'origin/master' into weeder-pass
2018-03-12 10:12:30 -04:00
Patrick Thomson
da2a3fc7a8
Initial pass fixing errors raised by weeder.
...
This fixes a lot of unnecessary exports in the specs, removes a couple
otiose imports (comonads and semigroups are provided by base, I beleive),
and removes a duplicated function.
2018-03-09 12:07:34 -05:00
Patrick Thomson
a883bf9ada
🔥 Control.Monad.Effect.Cache.
...
This interface has already been obsoleted—its only consumer has a
private interface for its caching functionality, and @robrix 's work
will restore a generalized version. No reason to keep this about.
2018-03-09 11:11:09 -05:00
Rob Rix
bed985d625
Merge branch 'master' into re-enable-tracing-analyses
2018-03-08 12:39:49 -05:00
Patrick Thomson
d8c482acda
Merge remote-tracking branch 'origin/master' into criterion
2018-03-08 10:20:57 -05:00
Rob Rix
089b08edb3
🔥 Control.Newtype1.
2018-03-07 21:03:46 -05:00
Patrick Thomson
1ea97534b6
print so that we know everything is evaluated
2018-03-07 19:56:54 -05:00
Patrick Thomson
0ac705b0f5
flesh out some benchmarks
2018-03-07 19:34:20 -05:00
Rob Rix
f4fcdfecf1
Stub in a module for Newtype1.
2018-03-07 19:02:16 -05:00
Josh Vera
ca5fa6d5b3
Merge branch 'master' into floats-scientific
2018-03-07 17:49:42 -05:00
Patrick Thomson
8a738a8760
Merge remote-tracking branch 'origin/master' into resuscitate-caching-analysis
2018-03-07 15:07:01 -05:00
Patrick Thomson
4a2d5bda53
necessary changes for floating-point munging
2018-03-07 14:46:26 -05:00
Rob Rix
257a068b3c
Stub in a Monoidal map module.
2018-03-07 12:22:52 -05:00
Rob Rix
c121a0665e
🔥 the dependency on pointed.
2018-03-07 12:19:27 -05:00
Rob Rix
a2c395d54b
Tracing uses a Reducer.
2018-03-07 11:27:17 -05:00
Rob Rix
ee911a0990
🔥 MonadTrace.
2018-03-06 17:14:52 -05:00
Rob Rix
c9a74da233
Re-enable the tracing analysis.
2018-03-06 17:13:58 -05:00
Patrick Thomson
37fcc4826b
Rename the Linker type/module to ModuleTable.
...
During my recent pairing with @robrix , we agreed that the name of
Linker was inaccurate—it doesn't link anything, it just keeps track of
past modules. This renames it and its module.
2018-03-06 14:17:32 -05:00
Patrick Thomson
c3d01b6602
Resuscitate the caching evaluator.
...
The caching analysis had been disabled, as it was still written in the
open-interpreter style. This patch restores it, defining a
`CachingAnalysis` newtype that uses nondeterministic but convergent
caching in its `MonadAnalysis` instance. This also defines an
`embedSubterm` helper that is useful in defining new analysis passes.
Thanks to @robrix for 🍐 !
2018-03-06 13:51:00 -05:00
Patrick Thomson
226ff88723
Rename MonadFunction to MonadValue.
2018-03-02 11:45:56 -08:00
Rob Rix
91cfe37bc7
🔥 the Analysis.Abstract.TypeInference module.
2018-03-02 10:56:04 -05:00
Rob Rix
9740758d01
Stub in a module for a type inference analysis.
2018-03-02 10:15:18 -05:00
Rob Rix
5199bebf39
Merge branch 'master' into evaluatable-simplification
2018-03-01 16:55:18 -05:00
joshvera
41a538d7e1
Merge remote-tracking branch 'origin/master' into rename-semantic
2018-03-01 10:16:35 -05:00
joshvera
e32961edde
Rename semantic-diff to semantic
2018-02-26 13:16:56 -05:00
