Rob Rix
09b5dd8f33
Define the identity function.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:49:28 -04:00
Rob Rix
a8c68e40b1
Define a helper to build lambdas with gensym’d names.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:49:00 -04:00
Rob Rix
a368e8d9f4
Define variable' requests.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:48:39 -04:00
Rob Rix
433aa96cd7
Define a Variable effect.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:48:31 -04:00
Rob Rix
49fe219908
Define a unit' request.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:48:21 -04:00
Rob Rix
41854f6bbc
Define a Unit effect type.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:48:11 -04:00
Rob Rix
3200ce88a7
Rename type variables to TVar.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:47:57 -04:00
Rob Rix
10cf048dfc
Specialize to m effects.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:27:34 -04:00
Rob Rix
c9d8a82f12
Define a smart constructor for Call.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:26:36 -04:00
Rob Rix
53e9daad79
Close over alloc/assign.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:24:33 -04:00
Rob Rix
8d2b48aa59
Lift handlers into Value.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:22:05 -04:00
Rob Rix
20a4ccf7f5
Handle self-referential effects lists for Types.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:14:40 -04:00
Rob Rix
fa6af66a65
Handle self-referential effects lists.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:04:49 -04:00
Rob Rix
c8a64a5693
Add a smart constructor for Lambda.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-05-23 12:04:22 -04:00
Rob Rix
531e9892ba
Hide the Delete typeclass.
2018-05-23 10:47:31 -04:00
Rob Rix
a3d4ea1140
Bump effects for https://github.com/joshvera/effects/pull/48
2018-05-23 10:46:31 -04:00
Rob Rix
115e887739
Merge branch 'master' into decompose-values
2018-05-23 09:59:16 -04:00
Patrick Thomson
e168b08adc
Merge pull request #1875 from github/fast-builds-by-default
...
Make builds run at -O0 by default, except for CI/deploy.
2018-05-22 18:05:28 -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
b38646e0e0
Merge pull request #1864 from github/add-parsing-timeout
...
Add timeout functionality for the parser
2018-05-22 17:40:13 -04:00
Patrick Thomson
c1d3a041cc
set -Werror when building release
2018-05-22 17:38:13 -04:00
Rob Rix
12cec06dfe
Remove Environment’s value parameter.
2018-05-22 17:37:35 -04:00
Rob Rix
2a46f5ea6f
Remove Exports’ value parameter.
2018-05-22 17:31:41 -04:00
Rob Rix
2e0a9fb553
Exports holds locations.
2018-05-22 17:29:37 -04:00
Rob Rix
ad8876cd77
Simplify toEnvironment.
2018-05-22 17:28:10 -04:00
Patrick Thomson
f563a2c808
forgot a do
2018-05-22 17:25:17 -04:00
Rob Rix
47f08b3254
Revert "Environment holds Addresses."
...
This reverts commit a30ebe8c38263e66ea4968c20c6f5eef7884590d.
2018-05-22 17:25:06 -04:00
Rob Rix
340904d3a9
Experimental encoding of functions/calls as an effect.
2018-05-22 17:21:11 -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
Patrick Thomson
e64d1e2d4c
Merge remote-tracking branch 'origin/master' into add-parsing-timeout
2018-05-22 16:53:18 -04:00
Patrick Thomson
949b9be418
add spec
2018-05-22 16:53:03 -04:00
Timothy Clem
e828b75099
Merge pull request #1872 from github/all-in-one-ci
...
All in one ci
2018-05-22 13:42:11 -07:00
Patrick Thomson
dd23a2c513
Seconds -> milliseconds
2018-05-22 16:38:18 -04:00
Patrick Thomson
3eb550ac62
Merge branch 'add-parsing-timeout' of github.com:github/semantic into add-parsing-timeout
2018-05-22 16:37:33 -04:00
Patrick Thomson
124866bc95
Move haskell-tree-sitter to master
2018-05-22 16:36:37 -04:00
Timothy Clem
a20ea785ec
Merge branch 'master' into all-in-one-ci
2018-05-22 13:31:17 -07:00
Rob Rix
2cb425dbb5
Merge branch 'master' into decompose-values
2018-05-22 15:43:51 -04:00
Josh Vera
28925f8e92
Merge branch 'master' into add-parsing-timeout
2018-05-22 13:30:48 -04:00
Josh Vera
66616b8716
Merge pull request #1861 from github/grpc-next-queues
...
Bump grpc-haskell to use the async server
2018-05-22 13:30:21 -04:00
joshvera
dba4cf5aa4
Merge remote-tracking branch 'origin/master' into grpc-next-queues
2018-05-22 13:18:22 -04:00
Patrick Thomson
1721c67aa5
lint
2018-05-22 13:07:36 -04:00
Josh Vera
9f9b5faaba
Merge pull request #1835 from github/grpc-server
...
Add a gRPC Server
2018-05-22 13:05:05 -04:00
Patrick Thomson
f2a55e5b0c
Switch to using timeout and running the parser asynchronously.
2018-05-22 13:03:37 -04:00
joshvera
13ea1e58ff
++grpc-haskell
2018-05-22 13:01:16 -04:00
Josh Vera
df7f14fb04
Merge branch 'master' into grpc-server
2018-05-22 12:53:04 -04:00
Patrick Thomson
1b2e9c9893
remove otiose lock and add explicit timeout
2018-05-22 12:45:07 -04:00
Timothy Clem
cdfcabd319
Move semanticd into it's own directory, update builds
2018-05-22 09:20:36 -07:00
Patrick Thomson
a933a5714d
Merge remote-tracking branch 'origin/master' into add-parsing-timeout
2018-05-22 11:54:10 -04:00