github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00
Code Issues Projects Releases Wiki Activity
25,759 Commits 19 Branches 16 Tags 46 MiB
a66788c682
Commit Graph

25759 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Timothy Clem
0a971c4ec8 Docs and a type synonym 2018-09-25 14:00:50 -05:00
Timothy Clem
eabd5b97e2 Minor refactor so we still get errors when we want that behavior 2018-09-25 14:00:39 -05:00
Rob Rix
f3c20a8fad ConcreteEff is no more. 2018-09-25 13:40:07 -05:00
Rob Rix
06831f7f4d 🔥 some unused parametetrs. 2018-09-25 13:37:07 -05:00
Timothy Clem
14c175156d Decorator algebras in fully control of their return data 2018-09-25 12:04:25 -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
Timothy Clem
786acbdc6a Don't need any patterns here 2018-09-25 11:18:28 -05:00
Timothy Clem
0a837dfb97 Expose stripDiff 2018-09-25 11:18:10 -05:00
Timothy Clem
df7176e9a2 Don't need to know about Location here 2018-09-25 11:18:02 -05:00
Timothy Clem
9b641b4a4a The end of Record fields 2018-09-24 17:14:52 -05:00
Timothy Clem
38a4bb38f2 WIP - replace Record across the project 
Not quiet there with Diff and decorators yet
 2018-09-21 13:46:25 -07:00
Rob Rix
605687fe37 Define built-ins as part of the Function effect. 2018-09-21 16:21:27 -04: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
Timothy Clem
d656988dd0 Merge pull request #2188 from github/while-effect 
Implement while as an effect
 2018-09-21 09:33:12 -07:00
Timothy Clem
faab30add2 Don't eagerly run while bodies 2018-09-21 09:14:07 -07:00
Josh Vera
e92d9e84f0 Merge branch 'master' into while-effect 2018-09-20 16:09:04 -04:00
Rob Rix
98b1b1e16b 🔥 builtInExport. 2018-09-20 15:22:09 -04:00
Rob Rix
6993b39ab0 Define eval open-recursively. 2018-09-20 14:16:22 -04:00
Timothy Clem
4a84736162 Docs 2018-09-20 10:31:13 -07:00
Rob Rix
29532a114d Evaluate modules using open recursion. 2018-09-20 13:12:19 -04:00
Rob Rix
c75defc821 📝 Open. 2018-09-20 13:02:24 -04:00
Rob Rix
8b41c2bdfb Move the Open synonym to Evaluator. 2018-09-20 13:02:00 -04:00
Rob Rix
9f4e278b1a Use a type synonym for the open recursion. 2018-09-20 13:01:23 -04:00
Rob Rix
038b56970e Parameterize Evaluator by the term type. 2018-09-20 12:43:59 -04:00
Timothy Clem
741a3b25d6 Implement doWhile in terms of the new while effect 2018-09-20 09:42:55 -07:00
Timothy Clem
fdfc47e168 Implement runWhile for Abstract and Type semantics 2018-09-20 09:14:34 -07:00
Timothy Clem
ceead75b69 Get interpose working and an abort to our loopcontrol effect 2018-09-20 08:41:17 -07:00
Timothy Clem
0341f21901 WIP - implement while/looping as an effect 2018-09-19 15:00:51 -07:00
Timothy Clem
bc7ea051e1 Merge pull request #2186 from github/tree-sitter-bumpity-bump 
++tree-sitter, one more once
 2018-09-19 12:21:55 -07:00
Timothy Clem
953b095161 ++tree-sitter 2018-09-19 12:03:39 -07:00
Patrick Thomson
4016c6f3d8 Merge pull request #2184 from github/reprinting-pipeline-rename 
Remove Hungarian-style T- prefix from tokens and scopes.
 2018-09-19 13:30:18 -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
ee0a1170c3 Merge pull request #2174 from github/term-rewriting-mk2 
Integrate term-rewriting
 2018-09-19 12:26:43 -04:00
Patrick Thomson
22cf72c20f Merge branch 'master' into term-rewriting-mk2 2018-09-19 11:51:28 -04:00
Timothy Clem
2ced55842e Merge pull request #2183 from github/javascript-parse-examples 
Test out JavaScript parse-examples
 2018-09-19 08:11:38 -07: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
Josh Vera
13c457ec4c Merge pull request #2182 from github/new-take-on-parse-examples 
New take on parse examples
 2018-09-18 18:21:39 -04:00
Patrick Thomson
d68c7975d7 Merge branch 'master' into new-take-on-parse-examples 2018-09-18 17:51:22 -04:00
Patrick Thomson
b563774ac2 Merge remote-tracking branch 'origin/master' into term-rewriting-mk2 2018-09-18 17:46:28 -04:00
Patrick Thomson
79c29a7006 Address Tim's suggestions: things are looking way nicer. 2018-09-18 17:46:05 -04:00
Patrick Thomson
efb0b0a0f7 Change Rule to RuleM and PureRule to Rule. 2018-09-18 17:33:01 -04:00
Patrick Thomson
98bad59b26 Merge pull request #2179 from github/fix-benchmarks 
Fix linker error when running benchmarks.
 2018-09-18 16:23:54 -04:00