Rob Rix
a5dd989db2
Stub in separate parse/diff command modules.
2018-04-04 13:14:25 -04:00
Rob Rix
2d521ecaa6
Merge branch 'master' into task-in-eff
2018-04-04 11:58:58 -04:00
Rob Rix
ca87d9cff9
Move the Telemetry effect into its own module.
2018-04-04 11:23:32 -04:00
Rob Rix
6dd7dd78c1
Sort the modules.
2018-04-04 11:23:21 -04:00
Rob Rix
8a6d9bd879
Move Distribute into its own module.
2018-04-04 11:23:13 -04:00
Rob Rix
37cc2e36bb
🔥 Control.Effect.NonDet.
2018-04-02 10:14:57 -04:00
Rob Rix
228ec0ea59
Stub in a module for a package abstraction.
2018-03-30 11:34:42 -04:00
Rob Rix
366120bd24
Stub in a module for an Origin datatype.
2018-03-29 23:08:59 -04:00
Rob Rix
5ee3bf001e
Merge branch 'simpler-analysis-types' into symbol-resolution
2018-03-29 20:00:01 -04:00
Rob Rix
fb38332849
Stub in a module for located names/values/whatever.
2018-03-29 09:00:25 -04:00
joshvera
e8db080923
Merge remote-tracking branch 'origin/master' into less-fail
2018-03-28 13:12:20 -04:00
joshvera
9043193e13
Merge remote-tracking branch 'origin/master' into less-fail
2018-03-28 12:01:58 -04:00
Josh Vera
6bb737c18f
Merge branch 'master' into combined-state-effects
2018-03-28 11:56:17 -04:00
Josh Vera
c79f178fc1
Merge branch 'master' into matching
2018-03-28 11:45:57 -04:00
Rob Rix
5ae24ddc89
Merge branch 'master' into combined-state-effects
2018-03-28 08:33:19 -04:00
Charlie Somerville
3fe504c97e
add BadVariable analysis catching FreeVariableError
2018-03-28 12:06:33 +11:00
Patrick Thomson
034bb562d4
Introduce tree-automata DSL for filtering and matching ASTs.
...
This patch adds the `Matcher` monad, which is capable of filtering any
recursive data structure, bottom-up, yielding a list of (or an
optional) result. These functions are probably going to be used over
`Term` values, so API is provided to wrap common projection functions.
The API was more or less copied directly from that of Clang's AST
matching facilities.
There are a lot of things we can do in the future:
* Binding results yielded in matchers to associated names, for future
transformation stages to look up and modify.
* Actual transformation stages.
* Optimizations. This is not very fast.
A million thanks to @robrix , whose sage advice managed to turn my
kooky idea for an API into something really special and exciting.
2018-03-27 16:14:30 -04:00
Rob Rix
d596b0a7c6
🔥 the dependency on TH.
2018-03-27 15:01:35 -04:00
Timothy Clem
724d8f38aa
Fix up pulling out go package name for import rendering
2018-03-26 12:02:27 -07:00
joshvera
859c4702b0
Merge remote-tracking branch 'origin/master' into default-typeapplications
2018-03-26 13:18:21 -04:00
Rob Rix
58b6c5ab04
Make lenses for EvaluatingState.
2018-03-26 13:13:59 -04:00
joshvera
126cdc5285
Make typeapplications a default extension
2018-03-26 12:00:19 -04:00
Rob Rix
44f03209c4
Stub in a module for a quiet analysis.
2018-03-26 10:02:20 -04:00
Rob Rix
598c02ce21
Merge branch 'master' into imports,-graphed
2018-03-26 09:46:08 -04:00
Rob Rix
b221649b75
Merge branch 'master' into evaluate-in-the-outer-analysis
2018-03-26 09:40:42 -04:00
Rob Rix
2e228604cf
Merge branch 'master' into imports,-graphed
2018-03-24 00:35:50 -04:00
Josh Vera
745eb85ee7
Merge branch 'master' into preludes-and-subclassing
2018-03-23 15:26:41 -04:00
Rob Rix
85650c06df
Merge branch 'master' into imports,-graphed
2018-03-23 15:26:11 -04:00
Rob Rix
9c0b5f7ab6
Merge branch ' 🔥 -ghc-mod' into imports,-graphed
2018-03-23 10:26:13 -04:00
Josh Vera
7792356012
Merge branch 'master' into default-extensions
2018-03-22 15:43:31 -04:00
Patrick Thomson
1e2fc5f6d3
Merge remote-tracking branch 'origin/master' into preludes-and-subclassing
2018-03-22 12:50:16 -04:00
Josh Vera
3ef6366649
Merge branch 'master' into php-namespaces
2018-03-22 12:23:57 -04:00
joshvera
f2169e09a9
Move MultiParamTypeClasses, StandaloneDeriving, and DataKinds to default-extensions
2018-03-22 12:23:11 -04:00
Patrick Thomson
6f0f20deea
thread default environments properly throughout the stack
2018-03-22 12:03:17 -04:00
Rob Rix
f476eb22bd
Stub in a Data.Abstract.Module module.
2018-03-21 17:59:16 -04:00
Rob Rix
56dbd8b6a1
Copy the CallGraph stuff into a new module.
2018-03-21 17:58:47 -04:00
Rob Rix
0b2b27ff21
Stub in an AppMerge semigroup.
2018-03-21 16:40:56 -04:00
Timothy Clem
7fdc5e2fda
Write a small spec for evaluating PHP includes
2018-03-19 14:42:31 -07:00
Patrick Thomson
dd1e1c555d
Merge remote-tracking branch 'origin/master' into classes
2018-03-19 15:45:43 -04:00
Rob Rix
95f13be61f
Merge branch 'master' into doctests
2018-03-19 12:35:14 -04:00
Patrick Thomson
d419ad8bf6
Merge remote-tracking branch 'origin/master' into classes
2018-03-19 12:31:34 -04:00
Rob Rix
f720c86e1f
Build with as many cores as we can muster.
2018-03-19 10:20:10 -04:00
Rob Rix
476286834f
Set -threaded on the doctests.
...
This is intended as a workaround for https://github.com/commercialhaskell/stack/issues/3807
2018-03-19 10:19:48 -04:00
Rob Rix
b7bb4ccf72
Link QuickCheck in until we integrate LeanCheck.
2018-03-19 09:53:21 -04:00
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
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
