github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity
23,779 Commits 19 Branches 16 Tags 46 MiB
444a496899
Commit Graph

68 Commits

Author SHA1 Message Date
Rob Rix
444a496899 Assign JSON deterministically. 2018-06-28 14:08:37 -04:00
Rob Rix
e6a97a929c Add support for running deterministic assignments. 2018-06-28 14:08:27 -04:00
Rick Winfrey
03e291c52e 🔥 NBSP 2018-06-22 17:26:23 -07:00
Rob Rix
e1f6a423c9 Allow the use of a separate JS prelude. 2018-06-18 15:19:39 -04:00
Rob Rix
d39171e9d7 Determine Preludes from the language. 2018-06-18 11:09:01 -04:00
Patrick Thomson
09ffcc0af1 Bump effects version. 2018-06-15 11:12:08 -04:00
Ayman Nadeem
94e2c36657 sort deriving clauses 2018-06-05 10:28:42 -07:00
Patrick Thomson
c0f31c9531 fix warning 2018-06-04 18:46:05 -04:00
Patrick Thomson
6e273d8b6e Fix lints 2018-06-04 18:31:53 -04:00
Patrick Thomson
6abb7b9a2a tighten up some Maybes now that Unknown is a thing 2018-06-04 18:17:02 -04:00
Patrick Thomson
16066c1f7d fewer spurious changes 2018-06-04 18:10:00 -04:00
Patrick Thomson
2a8e02856b tentative commit to move from Maybe Language to Language. 
should fix a lot of issues around decoding Maybe Language fields.
 2018-06-04 14:54:30 -04:00
Ayman Nadeem
e030824d52 fix conflicts with new haskell additions 2018-05-31 15:32:10 -07:00
Rob Rix
44da174cf9 🔥 a couple more uses of Members. 2018-05-29 12:14:46 -04:00
Patrick Thomson
9b68986a93 warnings 2018-05-25 12:36:48 -04:00
Patrick Thomson
3e02366d14 don't use Eff in toAST since it's just being called from IO. 2018-05-25 12:34:04 -04:00
Patrick Thomson
b2aa29e6c6 🔥 dbg and just use trace. 2018-05-25 12:28:56 -04:00
Patrick Thomson
6bd6e71d75 Implement a correct bracket. 2018-05-25 11:37:16 -04:00
Patrick Thomson
0254ad676a WIP: this works, but doesn't bracket or rethrow correctly. 2018-05-25 10:57:19 -04:00
Rick Winfrey
7bc88d088c Boilerplate and minimal syntax for Haskell assignment 2018-05-23 11:32:15 -07:00
Patrick Thomson
dd23a2c513 Seconds -> milliseconds 2018-05-22 16:38:18 -04:00
Patrick Thomson
1721c67aa5 lint 2018-05-22 13:07:36 -04:00
Patrick Thomson
f2a55e5b0c Switch to using timeout and running the parser asynchronously. 2018-05-22 13:03:37 -04:00
Patrick Thomson
1b2e9c9893 remove otiose lock and add explicit timeout 2018-05-22 12:45:07 -04:00
Patrick Thomson
cf04b5e602 avoid possible race condition 2018-05-22 11:41:18 -04:00
Patrick Thomson
4be15ea6bc remove otiose C calls 2018-05-22 11:40:10 -04:00
Patrick Thomson
234e0bbc99 Add infrastructure for testing cancellation. 2018-05-22 11:17:04 -04:00
Patrick Thomson
d1618fe94d Add what seems like correctly-working timeout functionality. 2018-05-22 11:01:23 -04:00
Rick Winfrey
a01ed11736 Restrict import of Foreign.C.Types to CBool type 2018-05-21 16:27:43 -07:00
Rick Winfrey
ae316a3d7c Release TSTree after building the AST 2018-05-21 16:18:28 -07:00
Max Brunsfeld
1023097082 Update to use the new Tree-sitter API 
Co-Authored-By: Rick Winfrey <rewinfrey@github.com>
 2018-05-21 12:57:24 -07:00
Ayman Nadeem
9bd78b4123 add typeclasses to deal with recent merge 2018-05-17 11:08:37 -07:00
Ayman Nadeem
8aad81b775 Merge branch 'master' into java-assignment 2018-05-17 10:42:00 -07:00
Timothy Clem
72917bc3e7 Stub out JavaScript prelude 2018-05-16 10:55:58 -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
fbb7b4ef60 Strengthen the constraints on ASTParser. 2018-05-14 13:00:36 -04:00
Rob Rix
d3fa821425 Redefine SomeParser as a constructor on Parser. 2018-05-11 16:59:27 -04:00
Rob Rix
f4eb1bbc2b Define a helper to abstract over operations on SomeTerm. 2018-05-11 16:58:35 -04:00
Rob Rix
010a101de2 Define an existentially-quantified abstraction over term types. 2018-05-11 16:48:33 -04:00
Rob Rix
bcb889f85d Use type applications to supply the list of typeclasses for someParser. 2018-05-11 16:43:53 -04:00
Rob Rix
e6c665ae36 Remove a redundant quantifier. 2018-05-11 15:52:14 -04:00
Rob Rix
4f69f5e3de Merge branch 'master' into scope-effects-to-evaluation 2018-05-06 22:50:04 -04:00
Rob Rix
ebc8e01cc4 Use our own local definition of Sum. 2018-05-02 12:00:15 -04:00
Ayman Nadeem
b1c05d6755 Merge remote-tracking branch 'origin/master' into java-assignment 2018-05-01 10:57:21 -07:00
Timothy Clem
91961a6bec Support rendering raw tree-sitter ASTs 2018-05-01 09:51:34 -07:00
Timothy Clem
19157b0bcb Amazing this works for specialized tree parsing 2018-05-01 08:42:26 -07:00
Timothy Clem
4904dcda92 WIP - not compiling 2018-05-01 08:42:26 -07:00
Rob Rix
81a69905a4 Revert "Module table entries have to be non-empty." 
This reverts commit 9a5e83caec105358018b05c75095743cbbe80905.
 2018-04-30 17:13:03 -04:00
Rob Rix
7c9c975071 Module table entries have to be non-empty. 2018-04-30 17:11:34 -04:00
Timothy Clem
402172c0fb Don't carry extensions in here 2018-04-20 14:15:51 -07:00