Rob Rix
c5f27206ab
Build the doctests with -dynamic so they can load the .dylibs for the parsers.
2018-03-19 09:23:11 -04:00
Rob Rix
5fc81f8566
Rename the fresh/nondet modules to not conflict with the effects package.
2018-03-19 09:23:11 -04:00
Rob Rix
bbb51588e5
Add a doctest component.
2018-03-19 09:23:11 -04:00
Ayman Nadeem
0a596261de
Merge remote-tracking branch 'origin' into java-assignment
2018-03-16 14:59:28 -07:00
Timothy Clem
e580051a66
Merge remote-tracking branch 'origin/master' into build-fix-em-ups
2018-03-16 13:57:37 -07:00
Patrick Thomson
5df347eb3e
Merge remote-tracking branch 'origin/master' into classes
2018-03-16 16:51:59 -04:00
Rob Rix
863d6aa428
Add a doctest component.
2018-03-16 14:34:54 -04:00
Patrick Thomson
56e7c25268
Move Exports to its own module.
2018-03-16 14:09:41 -04:00
Timothy Clem
9a84cbdd97
Align cause it's fun
2018-03-16 10:15:59 -07:00
Timothy Clem
0eb9d3be66
Try out some of lexi-lambda's recommended compiler warnings
2018-03-16 10:15:39 -07:00
Timothy Clem
0904796674
Add a specific Data.Abstract.Path with path/module name helpers
2018-03-16 09:27:08 -07:00
Timothy Clem
d6036f4165
Merge remote-tracking branch 'origin/export-wrapper' into ruby-imports
2018-03-15 15:34:06 -07:00
Rob Rix
56987f4fd2
Merge branch 'master' into jump-around,-jump-around
2018-03-15 16:10:06 -04:00
Timothy Clem
577bdcac6a
Focus on require_relative and add new Ruby specific Require syntax
2018-03-15 11:43:41 -07:00
Timothy Clem
1e276dddef
TDD FTW
2018-03-15 11:34:34 -07:00
Rob Rix
6b7bacc7d3
Merge branch 'master' into call-graph-analysis
2018-03-15 10:34:38 -04:00
Rob Rix
f575c05257
🔥 Elaborating for now.
2018-03-15 10:01:23 -04:00
Rob Rix
fcf44b5a37
Rename Store to Heap.
2018-03-14 20:42:59 -04:00
Rob Rix
3ac59ce623
Define an elaborating analysis.
2018-03-14 16:39:58 -04:00
Timothy Clem
7204debb07
Merge remote-tracking branch 'origin/master' into import-language-tour
2018-03-14 11:38:49 -07:00
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
Timothy Clem
0fd2c3eb05
Specify default-language for benchmarks target
2018-03-13 14:04:39 -07:00
Timothy Clem
af66a0c229
Merge remote-tracking branch 'origin/typescript-exports' into import-language-tour
2018-03-12 15:40:22 -07:00
Timothy Clem
5b1829e474
Some nice Go eval import specs
2018-03-12 13:52:50 -07: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
Timothy Clem
8ebcd5a864
Merge remote-tracking branch 'origin/master' into import-language-tour
2018-03-12 10:03:25 -07: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
Timothy Clem
dc96cde7cd
Test out some TypeScript imports
2018-03-09 15:54:52 -08:00
Timothy Clem
d352c66227
Test out rest of python imports, move to new dir
2018-03-09 15:16:07 -08:00
Timothy Clem
3fc7f644b2
Try my hand at a spec for analysis - test out python imports
2018-03-09 15:01:29 -08: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
Rob Rix
5e579df53f
🔥 Analysis.Abstract.CallGraph.
2018-03-06 10:53:57 -05:00
Rob Rix
91d502b553
Stub in a module for a non-abstract call graph analysis.
2018-03-06 10:36:02 -05:00
Rob Rix
711aa0529a
Stub in a call graph analysis module.
2018-03-02 15:06:49 -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
