github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-18 20:31:55 +03:00
Code Issues Projects Releases Wiki Activity
24,782 Commits 19 Branches 16 Tags 46 MiB
5c7d5c5c5f
Commit Graph

24782 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
5c7d5c5c5f Simplify command parsing even further. 2018-08-02 16:33:14 -04:00
Rob Rix
42ead6357d Simplify command parsing. 2018-08-02 16:32:15 -04:00
Rob Rix
06d07230e0 Handle errors in parseCommand. 2018-08-02 16:30:37 -04:00
Rob Rix
a55d1ef822 Specialize parseString to Command. 2018-08-02 16:29:56 -04:00
Rob Rix
84024a2001 Reformat command. 2018-08-02 16:28:40 -04:00
Rob Rix
9220177d5a Run commands at every step. 2018-08-02 16:26:49 -04:00
Rob Rix
45f0f6d48c Add helpers to parse sa string and produce a result. 2018-08-02 16:15:38 -04:00
Rob Rix
f9c2cde7ba Stub in a command parser. 2018-08-02 16:13:17 -04:00
Rob Rix
b57c2df5a5 Stub in a datatype of commands. 2018-08-02 16:10:12 -04:00
Rob Rix
168345dc6f Define some instances for Parser. 2018-08-02 16:07:48 -04:00
Rob Rix
ed8c196411 Stub in a Parser newtype. 2018-08-02 16:05:00 -04:00
Rob Rix
9cdcd3c972 Depend on trifecta. 2018-08-02 14:45:55 -04:00
Rob Rix
9e8a82532a Show the current program code listing when we stop. 2018-08-02 14:41:09 -04:00
Rob Rix
eeee3105de Associate blobs with modules. 2018-08-02 13:58:57 -04:00
Rob Rix
6e86024bef 🔥 more redundant record wildcarding. 2018-08-02 13:54:14 -04:00
Rob Rix
f29b310bee 🔥 redundant type signatures. 2018-08-02 13:53:53 -04:00
Rob Rix
b8216c9557 Define parseModule locally to parsePackage. 2018-08-02 13:53:36 -04:00
Rob Rix
f0beb4116e 🔥 redundant record wildcarding. 2018-08-02 13:53:17 -04:00
Rob Rix
9ef0fc510d Export showExcerpt. 2018-08-02 11:33:33 -04:00
Rob Rix
a653a2efde Reflect the language from the proxy. 2018-08-02 10:49:01 -04:00
Rob Rix
635e971f87 Merge branch 'singleton-languages' into interactive-debugger 2018-08-02 10:47:51 -04:00
Rob Rix
73fa3f2afc Revert "Reify languages at the type level." 
This reverts commit 5968ddfbfe63f6ed3710d69622ac7ec172ae42eb.
 2018-08-02 10:39:28 -04:00
Rob Rix
ea520299de Reify languages at the type level. 2018-08-02 10:33:55 -04:00
Rob Rix
ea69b5a6d3 Only pass a proxy to evaluateProject. 2018-08-02 10:24:55 -04:00
Rob Rix
28b942d9ff Only pass a proxy to evaluateProjectWithCaching. 2018-08-02 10:22:44 -04:00
Rob Rix
58f560e4a2 Only pass a proxy to callGraphRubyProject. 2018-08-02 10:21:28 -04:00
Rob Rix
ae0dc77ead Export SLanguage. 2018-08-02 10:19:22 -04:00
Rob Rix
c7fbff8fcd Define SLanguage instances for all the languages. 2018-08-02 10:18:55 -04:00
Rob Rix
7492e3feff Define a class for language singletons. 2018-08-02 10:16:50 -04:00
Rob Rix
8d40edec04 Move the REPL effect deeper into the stack. 2018-08-02 10:10:01 -04:00
Rob Rix
00da706837 🔥 a bunch of parens. 2018-08-02 10:06:00 -04:00
Rob Rix
f6be64d77d Inline evaluatingREPL. 2018-08-02 10:03:58 -04:00
Rob Rix
1d9de20be1 Move runREPL into evaluatingREPL. 2018-08-02 10:01:50 -04:00
Rob Rix
130a25d0d3 Run Trace effects in the task effect. 2018-08-02 09:59:28 -04:00
Rob Rix
a1df475bcf Generalize REPLEff to other effectful contexts chained afterwards. 2018-08-02 09:48:45 -04:00
Rob Rix
f5e47f6601 Export rubyREPL. 2018-08-02 09:42:58 -04:00
Rob Rix
4df6983283 Add some notes about basic interactions we want to support. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 12:07:03 -04:00
Rob Rix
0ae579d7c5 Prompt before evaluating each term. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 12:05:25 -04:00
Rob Rix
7f60152896 Add boilerplate for running effectful actions. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 12:04:52 -04:00
Rob Rix
8da81469bc Define PureEffect & Effect instances for REPL. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 12:03:28 -04:00
Rob Rix
57135b99a6 Define a handler for REPL effects. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 12:03:19 -04:00
Rob Rix
90a53ff9e3 Define smart constructors for REPL. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 12:02:47 -04:00
Rob Rix
00f2c3f600 Define a REPL effect datatype. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 12:02:36 -04:00
Rob Rix
5a14067cc1 Add an export list. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 12:02:14 -04:00
Rob Rix
5d119d78b3 Derive MonadIO instances for Evaluator and TermEvaluator. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 11:46:56 -04:00
Rob Rix
fb12fc3a29 Stub in a REPL module. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 10:54:57 -04:00
Rob Rix
4b913f9e41 Extract a function to show an excerpt from a Blob. 2018-08-01 10:34:26 -04:00
Ayman Nadeem
986cc48c46 Merge pull request #2092 from github/test-java-assignment-part-2 
Test java assignment part 2
 2018-08-01 07:24:15 -04:00
Ayman Nadeem
ea11278e8b Merge branch 'master' into test-java-assignment-part-2 2018-08-01 07:03:00 -04:00
Rob Rix
629cd2748d Merge pull request #2097 from github/value-effects 
Encode functions as effects
 2018-07-27 13:37:42 -04:00