github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Code Issues Projects Releases Wiki Activity
25,749 Commits 19 Branches 16 Tags 46 MiB
cfe5527023
Commit Graph

3733 Commits

Author SHA1 Message Date
Rob Rix
5c2dac35e8 Merge branch 'master' into first-order-closures 2018-09-27 13:37:25 -05:00
Timothy Clem
35d77b505e Revert tableOfContentsBy removal of extra Maybe 2018-09-27 13:05:11 -05:00
Timothy Clem
2d1a8cc7e7 Express this a bit more elegantly 2018-09-26 16:55:34 -05:00
Timothy Clem
44b8e9249a Align the things 2018-09-26 16:54:48 -05:00
Timothy Clem
c8dfe57a48 Remove Data.Record entirely 2018-09-26 14:05:29 -05:00
Timothy Clem
1913277e74 Replace the annotation necessary for toc 
Includes span in Declaration, refactors toc functions to remove a layer of maybe
 2018-09-26 13:54:16 -05:00
Timothy Clem
f6f556fb32 TOC is the only thing with a custom annotation right now 2018-09-25 17:09:43 -05:00
Timothy Clem
a6ad3f7f59 Reduce usage of DiffAnnotation 2018-09-25 16:52:40 -05:00
Rob Rix
0653832d9d Swap the order of the parameters to Value. 2018-09-25 16:38:05 -05:00
Rob Rix
6affc61d26 The tests pass. That’s all that matters. 2018-09-25 15:17:06 -05:00
Rob Rix
2db44ac715 Fix the eval spec. 2018-09-25 14:41:57 -05:00
Timothy Clem
505c61959e This goes back to throwing now 2018-09-25 14:04:58 -05:00
Rob Rix
f3c20a8fad ConcreteEff is no more. 2018-09-25 13:40:07 -05:00
Timothy Clem
5e2241ffe9 Don't need to know about Record here either 2018-09-25 11:20:57 -05:00
Timothy Clem
278e6890cd Fix up the tests 2018-09-25 11:18:51 -05:00
Rob Rix
c6769d2e01 Resume using a first-order definition of functions. 2018-09-21 14:42:57 -04:00
Timothy Clem
a481f2ac2e TypeOperators required 2018-09-21 09:47:36 -07:00
Timothy Clem
dfe8c842ed Term doesn't need to know about Record 2018-09-21 09:42:24 -07:00
Rob Rix
038b56970e Parameterize Evaluator by the term type. 2018-09-20 12:43:59 -04:00
Patrick Thomson
ba18287311 Merge branch 'master' into reprinting-pipeline-rename 2018-09-19 13:08:52 -04:00
Patrick Thomson
8e1ca410bb Remove Hungarian-style T- prefix from tokens and scopes. 
Prefixes on data constructors are generally an antipattern in Haskell:
if you're concerned about name collisions, have clients use qualified
imports for whatever modules they need. As such, this removes the T-
prefixes from the `Token` and `Context` types. This also renames
Context to Scope, which is a more exact and readable name.
 2018-09-19 12:38:48 -04:00
Patrick Thomson
22cf72c20f Merge branch 'master' into term-rewriting-mk2 2018-09-19 11:51:28 -04:00
Patrick Thomson
2998c8f8cc last few changes 2018-09-19 11:03:59 -04:00
Timothy Clem
20ccdc19de Merge branch 'master' into javascript-parse-examples 2018-09-19 07:54:52 -07:00
Timothy Clem
253975164a Test out JavaScript parse-examples 2018-09-18 15:32:56 -07:00
Patrick Thomson
d68c7975d7 Merge branch 'master' into new-take-on-parse-examples 2018-09-18 17:51:22 -04:00
Patrick Thomson
efb0b0a0f7 Change Rule to RuleM and PureRule to Rule. 2018-09-18 17:33:01 -04:00
Timothy Clem
6817193cbc Mark assignment timeouts as pending 2018-09-18 13:00:31 -07:00
Patrick Thomson
3d1bccc3f4 cleaner tests 2018-09-18 15:45:17 -04:00
Patrick Thomson
2dc8bb0041 Merge branch 'master' into term-rewriting-mk2 2018-09-18 15:18:21 -04:00
Timothy Clem
a25e848c9f Fix assigning comments with multiple elif in Python 2018-09-18 10:43:18 -07:00
Patrick Thomson
6e65f9060d Merge remote-tracking branch 'origin/master' into term-rewriting-mk2 2018-09-18 13:31:58 -04:00
Patrick Thomson
9eb7fe5cd8 reenable all the tests 2018-09-18 13:18:31 -04:00
Josh Vera
8d9c627579 Merge branch 'master' into scopes-and-frames 2018-09-18 13:14:27 -04:00
Timothy Clem
fdfb8228b6 Only python to start 2018-09-18 08:36:48 -07:00
Timothy Clem
d83630443b Rename 2018-09-18 08:36:40 -07:00
Timothy Clem
31ca888da7 Introduce datatype for these language examples 2018-09-17 16:46:45 -07:00
Timothy Clem
15f7e57571 First pass at doing parse-examples in haskell and hspec 2018-09-17 15:49:18 -07:00
Timothy Clem
344873f0f7 Go corpus back the other way? 2018-09-17 11:26:47 -07:00
Timothy Clem
64c9d20826 Error span changed 2018-09-17 09:56:39 -07:00
Timothy Clem
c97d43aaca Refinement of types is Go 2018-09-17 09:56:31 -07:00
Timothy Clem
883d4586c0 TypeScript fixes for more type identifiers 2018-09-17 09:48:47 -07:00
Timothy Clem
80dfd75635 Ruby corpus changes 2018-09-17 09:30:03 -07:00
joshvera
5c96b3d6d7 Merge remote-tracking branch 'origin/master' into scopes-and-frames 2018-09-17 12:08:27 -04:00
Patrick Thomson
f6f2476641 fix tests 2018-09-17 11:17:10 -04:00
Patrick Thomson
ec7ee9da62 improve JSON formatting so the diff doesn't whine 2018-09-17 10:52:28 -04:00
joshvera
eb71b512b3 Fix test type errors 2018-09-14 18:04:08 -04:00
Patrick Thomson
d1cc400dc0 add spec file 2018-09-14 13:10:22 -04:00
Patrick Thomson
7129435dc8 Merge remote-tracking branch 'origin/master' into simplify-reprinter 
also incorporates a number of changes. oops.
 2018-09-12 12:14:01 -04:00
Patrick Thomson
d6eaae9555 further cleanup and refinement of tests 2018-09-12 11:46:41 -04:00