github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-29 18:06:14 +03:00
Code Issues Projects Releases Wiki Activity
25,144 Commits 19 Branches 16 Tags 46 MiB
7ebdfa2c1a
Commit Graph

25144 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Timothy Clem
6cf9eee345 Revert "No need for defaultVal with Bool" 
This reverts commit 30036c78bbc1092ef4874d2da89745587ce8a0e2.
 2018-08-01 11:40:58 -07: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
Charlie Somerville
b5f6edb942 fix self in ruby assignment 2018-08-01 15:01:12 +10:00
Charlie Somerville
d00fced1bb Merge branch 'master' into charliesome/context 2018-08-01 11:45:46 +10:00
Rick Winfrey
0a1b63e595 Add custom Show ErrorContext instance 2018-07-31 16:56:52 -07:00
Rick Winfrey
afbcfbdeb1 Add explicit export list 2018-07-31 16:56:39 -07:00
Rick Winfrey
ff2cb92617 Imports 2018-07-31 16:56:31 -07:00
Timothy Clem
625a929877 No need for defaultVal with Bool 2018-07-31 16:48:32 -07:00
Timothy Clem
0b294049b3 Provide a flag to disable running the grpc server 2018-07-31 16:40:05 -07:00
Rick Winfrey
825fe4dc06 Wire up BaseError of ValueError when handling 2018-07-31 12:46:39 -07:00
Rick Winfrey
4afab7c36a Wrap ValueError with BaseError 2018-07-31 12:45:40 -07:00
Rick Winfrey
219b29ea11 Add ErrorContext and BaseError 2018-07-31 12:45:08 -07:00
Timothy Clem
6f257a0f7d Example rover configs, useful for testing 2018-07-31 10:02:39 -07:00
Rob Rix
75b52843b2 📝 Lambda. 2018-07-31 11:54:06 -04:00
Rob Rix
c4a46f47e1 📝 lambda. 2018-07-31 11:52:20 -04:00
Rob Rix
15ce4e0012 Export Lambda, just in case. 2018-07-31 11:49:09 -04:00
Rob Rix
c32162d1b8 🔥 lambda2. 2018-07-31 11:48:19 -04:00
Rob Rix
1e89a8423a Define lambda using Lambda. 2018-07-31 11:48:07 -04:00
Rob Rix
d472ead088 Define a base case for Lambda. 2018-07-31 11:47:36 -04:00
Rob Rix
35a3b667a7 Define a recursive case for Lambda. 2018-07-31 11:47:28 -04:00
Rob Rix
181a6c777b Define a class for recursively constructing lambdas. 2018-07-31 11:47:12 -04:00
Rob Rix
0d4ddc42c2 Define a binary analogue of lambda. 2018-07-31 11:35:58 -04:00
Rob Rix
342ebbf5da Add a CLI option to read a list of files. 2018-07-30 17:15:46 -04:00
Rob Rix
6ffa4efc06 Rename the parser for reading a project recursively. 2018-07-30 16:59:02 -04:00
Rob Rix
5d848feeba Split out the recursive project task. 2018-07-30 16:53:19 -04:00
Rob Rix
83ac305205 Define the graph parser with ordinary Applicative notation. 
ApplicativeDo can’t handle recursive bindings.
 2018-07-30 16:51:24 -04:00
Rob Rix
31e4fe68a1 Extract optionsParser to the top level. 2018-07-30 16:30:51 -04:00
Rob Rix
900ea9c639 Extract argumentsParser to the top level. 2018-07-30 16:30:31 -04:00
Rob Rix
4e47a8eb53 Extract diffCommand to the top level. 2018-07-30 16:30:00 -04:00
Rob Rix
ab00268dc4 Extract parseCommand to the top level. 2018-07-30 16:29:42 -04:00
Rob Rix
d164e16dc5 Extract tsParseCommand to the top level. 2018-07-30 16:29:14 -04:00
Rob Rix
68c87a0b4d Extract graphCommand to the top level. 2018-07-30 16:28:45 -04:00
Rob Rix
5d80308b27 Extract filePathReader to the top level. 2018-07-30 16:28:09 -04:00
Rob Rix
679aee515c Extract options to the top level. 2018-07-30 16:27:37 -04:00
Rob Rix
95b0302622 Move the symbolFieldsReader up where it’s used. 2018-07-30 16:26:41 -04:00
Rob Rix
c332244b01 Inline the root/exclude directory options. 2018-07-30 16:23:43 -04:00
Rob Rix
b76f950b06 🔥 redundant parens. 2018-07-30 15:13:39 -04:00
Timothy Clem
2afe43deec Clarify help description 2018-07-30 11:42:48 -07:00