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 |
|
Rob Rix
|
828ffadb55
|
Temporarily 🔥 KindSignatures.
|
2018-07-27 09:33:52 -04:00 |
|
Rob Rix
|
2efd56d743
|
Temporarily 🔥 Unit, Boolean, & Pair.
|
2018-07-27 09:09:35 -04:00 |
|
Rob Rix
|
60a4487a28
|
Run a Function effect in EvaluatorSpec.
|
2018-07-26 15:31:49 -04:00 |
|
Rob Rix
|
09e6d24028
|
Merge remote-tracking branch 'origin/master' into value-effects
|
2018-07-26 13:55:46 -04:00 |
|
Rob Rix
|
9733d43759
|
Replace AbstractFunction with the Function effect.
|
2018-07-26 13:49:54 -04:00 |
|
Rob Rix
|
60c9784946
|
Provide a Function effect to Evaluatable instances.
Currently this is just Function, and we don’t actually make requests against it yet, but it’s a start.
|
2018-07-26 13:46:55 -04:00 |
|
Rob Rix
|
d131cbf1f3
|
Pass in a handler for value effects.
Currently this is just Function, and we don’t actually make requests against it yet, but it’s a start.
|
2018-07-26 13:44:04 -04:00 |
|
Rob Rix
|
05d2683012
|
Merge branch 'master' into test-java-assignment-part-2
|
2018-07-26 09:23:09 -04:00 |
|
Patrick Thomson
|
083feb0be9
|
Merge pull request #2093 from github/timeout-experiments
Add timeouts to call graph and import graph computation
|
2018-07-25 14:04:41 -04:00 |
|
Patrick Thomson
|
840578939b
|
Merge branch 'master' into timeout-experiments
|
2018-07-25 11:38:48 -04:00 |
|
Rob Rix
|
bd9e01ada6
|
🔥 the redundant term parameter to ImportGraphEff.
|
2018-07-25 10:16:19 -04:00 |
|
Rob Rix
|
11d4ed667b
|
🔥 more redundant raiseEff/lowerEff.
|
2018-07-25 10:14:27 -04:00 |
|
Rob Rix
|
98320e4e15
|
🔥 a redundant raiseEff.
|
2018-07-25 09:58:09 -04:00 |
|
Rob Rix
|
863c2774eb
|
Merge branch 'master' into value-effects
|
2018-07-25 09:22:30 -04:00 |
|
Timothy Clem
|
829f66eeeb
|
Merge pull request #2090 from github/external-modules
Surface external/unknown modules in the import graph
|
2018-07-24 16:18:13 -07:00 |
|
Ayman Nadeem
|
8fdab3f08e
|
test class literal
|
2018-07-24 18:31:09 -04:00 |
|
Ayman Nadeem
|
c07120fcca
|
add wildcard
|
2018-07-24 18:24:50 -04:00 |
|
Ayman Nadeem
|
41e5165195
|
test while
|
2018-07-24 18:23:08 -04:00 |
|
Ayman Nadeem
|
7a7c9ba222
|
test variable declaration
|
2018-07-24 18:20:57 -04:00 |
|