joshvera
84c3bef78e
Add Identity and Product
2018-05-24 16:19:58 -04:00
joshvera
131ffe0fad
Depend on proto3-suite and derive Named instances for Empty and Identifier
2018-05-24 13:43:51 -04:00
Rob Rix
ab3b353a0d
Stub in a module for the Options.
2018-05-24 08:49:30 -04:00
Rob Rix
87b31ff772
Merge branch 'master' into pretty,-pretty-colours
2018-05-24 08:45:13 -04:00
Rick Winfrey
7bc88d088c
Boilerplate and minimal syntax for Haskell assignment
2018-05-23 11:32:15 -07:00
Rob Rix
54a4f289f7
Produce colour output with the Show serializer.
2018-05-23 09:00:29 -04:00
Patrick Thomson
2edafbf1d1
Merge branch 'master' into fast-builds-by-default
2018-05-22 17:52:18 -04:00
Patrick Thomson
1f26db7a5e
-O2 is ridiculously slow, let's hold off for now
2018-05-22 17:48:07 -04:00
Patrick Thomson
c1d3a041cc
set -Werror when building release
2018-05-22 17:38:13 -04:00
Patrick Thomson
88d7d19bb8
Make builds run at -O0 by default, except for CI/deploy.
...
It's always been easy to forget the `--fast` flag. With the introduction of
`semanticd`, forgetting that carries a significant speed hit, as GHC
optimizes the resulting executable very thoroughly, which entails a
significant uptick in time spent building. For our collective sanity's
sake, this patch makes `stack build` operate without optimizations. CI
and deploy jobs pass `--flag semantic:release` to `stack`, which
specifies the `-O2` level of optimizations.
Timing `stack clean && stack build` (which rebuilds the tree-sitter
packages) went from 6m17s to 3m04s on my machine. When building just
`semantic` by itself, standard builds take 1m06s, whereas builds with
`--flag semantic:release` take 4m12s. (GHC does a lot of
optimizations!)
2018-05-22 17:18:03 -04:00
Patrick Thomson
c8d5a8d231
add test for cancelling in-flight parsers
2018-05-22 17:01:17 -04:00
Timothy Clem
42af0faae6
New approach for linting
2018-05-21 08:17:11 -07:00
Timothy Clem
8fe6f7e959
Bump the version so we can tell these are new style builds
2018-05-18 13:31:05 -07:00
Rob Rix
e9238d0ec7
Merge branch 'master' into package-dot-json-parsing
2018-05-16 19:12:08 -04:00
Rob Rix
b2e5ee6d31
The tests depend on hashable.
2018-05-16 16:19:08 -04:00
Timothy Clem
a60ed7bc16
Merge remote-tracking branch 'origin/master' into package-dot-json-parsing
2018-05-16 12:07:13 -07:00
Timothy Clem
f81ea4bff5
s/File/Project b/c that makes more sense to me
2018-05-16 08:38:00 -07:00
Rob Rix
2dd557064d
Merge branch 'master' into fix-abstract-semantics
2018-05-16 09:20:00 -04:00
Rob Rix
ae74957342
🔥 the unused call graph analysis.
2018-05-16 09:08:07 -04:00
Timothy Clem
3e5b4d5dbb
Merge remote-tracking branch 'origin/master' into package-dot-json-parsing
2018-05-15 15:58:19 -07:00
Rob Rix
47e92a766f
Merge remote-tracking branch 'origin/master' into fix-abstract-semantics
2018-05-15 18:47:47 -04:00
Timothy Clem
4ef324f512
Merge remote-tracking branch 'origin/master' into package-dot-json-parsing
2018-05-15 15:04:13 -07:00
Rob Rix
70c28fa288
Stub in a module for term evaluators.
2018-05-15 11:40:10 -04:00
Rob Rix
16f07a17d1
🔥 Output.
2018-05-14 18:40:22 -04:00
Rob Rix
8d190c2930
Factor the ts-parse command into its own module.
2018-05-14 14:57:19 -04:00
Rob Rix
02e14169e9
🔥 Rendering.SExpression.
2018-05-14 10:59:47 -04:00
Rob Rix
68df562f23
Stub in a module for serializing to s-expressions.
2018-05-11 14:41:10 -04:00
Rob Rix
539c769ecc
Stub in a module for the details of DOT serialization.
2018-05-11 14:07:53 -04:00
Rob Rix
eb82239f8d
Stub in a module for serialization formats.
2018-05-11 13:27:09 -04:00
Rob Rix
ffd787a762
Rename Rendering.DOT to Rendering.Graph.
2018-05-11 12:57:20 -04:00
Rob Rix
53fab62a0e
Stub in a module for graphs.
2018-05-11 12:04:26 -04:00
Rob Rix
db185d5e47
Move Located into Data.Abstract.Address.
2018-05-11 00:09:17 -04:00
Rob Rix
2abfd92678
Bump effects for https://github.com/joshvera/effects/pull/43
2018-05-10 18:27:10 -04:00
Timothy Clem
8e67479d09
Merge remote-tracking branch 'origin/master' into package-dot-json-parsing
2018-05-10 10:01:01 -07:00
Rob Rix
2b1d976f6a
Rename Control.Abstract.ModuleTable to Control.Abstract.Modules.
2018-05-08 16:59:25 -04:00
Rob Rix
52cfb56f54
Rename the Label module to Goto.
2018-05-08 10:37:50 -04:00
Rob Rix
c427be3670
Stub in a spec for Evaluator.
2018-05-07 14:21:05 -04:00
Rob Rix
29c755a8dc
Sort the test modules.
2018-05-07 14:20:56 -04:00
Rob Rix
eabb3b79a1
Move the evaluated module table accessors into their own module.
2018-05-07 12:20:23 -04:00
Rob Rix
f2288e3d69
Move the Environment accessors into their own module.
2018-05-07 12:17:32 -04:00
Rob Rix
3c73571b0c
Move currentModule/currentPackage into their own module.
2018-05-07 12:14:14 -04:00
Rob Rix
de5a46dc6c
Move JumpTable, Label, label, and goto into their own module.
2018-05-07 12:12:11 -04:00
Rob Rix
0d1b025823
Move the Exports accessors into their own module.
2018-05-07 12:04:12 -04:00
Rob Rix
5d91cfd843
Move the roots functionality into its own module.
2018-05-07 11:58:30 -04:00
Rob Rix
531f941692
Provide a module re-exporting all the various abstract interpretation machinery.
2018-05-07 11:51:56 -04:00
Rob Rix
57ddf31ec5
Move the Heap accessors into their own module.
2018-05-07 11:49:59 -04:00
Rob Rix
920ddd893f
Move the configuration accessor into its own module.
2018-05-07 11:49:47 -04:00
Rob Rix
2a1c7f17b3
🔥 microlens.
2018-05-07 08:46:40 -04:00
Rob Rix
4f69f5e3de
Merge branch 'master' into scope-effects-to-evaluation
2018-05-06 22:50:04 -04:00
Rob Rix
f9ed9766fb
Link the tests against fastsum.
2018-05-06 17:22:32 -04:00
