github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Code Issues Projects Releases Wiki Activity
28,433 Commits 19 Branches 16 Tags 46 MiB
915937c4be
Commit Graph

66 Commits

Author SHA1 Message Date
Jan Hrček
915937c4be Fix some hlint warnings 2019-06-16 13:40:13 +02:00
Patrick Thomson
bfdb4a1de7 Clean up specs with some implicit parameters. 
Test cases are a good use of `-XImplicitParams`, because often one
finds oneself plumbing a bunch of parameters obtained from IO through
a dozen layers of pure functions. Implicit parameters make this sort
of passing significantly easier.

Fixes #128.
 2019-06-12 13:55:14 -04:00
Patrick Thomson
b8cb9d1bfa Remove unused imports. 2019-06-12 12:52:11 -04:00
Patrick Thomson
7aeb88227a Just don't optimize these specs for now. 2019-06-10 18:53:20 -04:00
Timothy Clem
ce04fa8f12 Refactor runTask 2019-02-01 15:04:23 -08:00
Rob Rix
4c796843e7 🔥 all the non-empty lists in the specs. 2018-12-11 13:07:45 -05:00
Rob Rix
0b36f9bad1 Module results hold values. 2018-12-07 15:23:03 -05:00
joshvera
debefff57c Differentiate between Import and Superclass edge tests 2018-12-04 11:24:01 -05:00
joshvera
17c4bf350c Add lookupObjectMembers function to tests 2018-11-29 19:37:20 -05:00
joshvera
168c31525b Fix type errors 2018-11-29 12:31:42 -05:00
joshvera
65a8949a06 Fix the shape of scope and heap outputs in testEvaluating 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-28 18:47:10 -05:00
joshvera
0186178ce1 Add import across modules test back 
Co-Authored-By: Rob Rix <rob.rix@github.com>
 2018-11-26 13:33:28 -05:00
joshvera
799baa9415 Enable go import tests 
Co-Authored-By: Rob Rix <rob.rix@github.com>
 2018-11-26 13:29:59 -05:00
joshvera
f6bfec2d96 the tests compile! 2018-11-08 18:22:35 -05:00
joshvera
0c35a8a95c Start fixing up tests 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-07 18:27:56 -05:00
joshvera
eb71b512b3 Fix test type errors 2018-09-14 18:04:08 -04:00
Rob Rix
ea69b5a6d3 Only pass a proxy to evaluateProject. 2018-08-02 10:24:55 -04:00
Charlie Somerville
de80f1906e fix SpecHelpers to hit heap for namespaces 2018-07-19 17:03:17 +10:00
Rob Rix
40d46e921d Pass the configuration to the analysis specs. 2018-07-10 14:09:22 -04:00
Rob Rix
a236328056 Merge branch 'master' into higher-order-effects 2018-06-26 15:14:28 -04:00
Rob Rix
a556930e9e Fix the Go specs. 2018-06-25 17:38:52 -04:00
Rob Rix
f70974e206 Fix up the TypeScript specs. 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-06-25 15:57:04 -04:00
Rob Rix
cb4938ef92 Add all the modules to the Go specs. 2018-06-25 11:59:27 -04:00
Rob Rix
525f025e73 Use irrefutable patterns in the Go specs. 2018-06-25 11:56:42 -04:00
Rob Rix
bfd79c062d 🔥 the “evaluates” prefix. 2018-06-25 11:55:54 -04:00
Rob Rix
2ed8688c28 Update the tests to pass a list of paths. 2018-06-22 15:45:42 -04:00
Rob Rix
33c04b15c3 Get the tests compiling. 2018-06-22 13:52:21 -04:00
Rob Rix
eedc8f4b7e Rearrange the spec helper to match Util. 2018-06-21 14:52:08 -04:00
Rob Rix
e0f5d4ee22 Don’t use evaluating. 2018-06-21 13:22:58 -04:00
Rob Rix
2ad49b314f Update the specs. 2018-06-18 11:10:44 -04:00
Rob Rix
bcf9338b75 Update the language specs to respect the env-per-entry-point thing. 2018-05-30 17:19:05 -04:00
Rob Rix
a01e723b31 Run ValueErrors in TermEvaluator. 2018-05-28 09:55:01 -04:00
Rob Rix
015b74cf41 Give Value a term type parameter once more. 2018-05-28 09:35:42 -04:00
Rob Rix
a2135fda74 Don’t use overloaded lists. 2018-05-28 09:35:03 -04:00
Rob Rix
2410387e97 Allow the tests to examine the traces. 2018-05-10 10:58:24 -04:00
Rob Rix
ae7ee6e860 Test Go environments/heaps against the names. 2018-05-10 10:07:11 -04:00
Rob Rix
2fa602c98f Fix stale references to interpret. 2018-05-06 17:37:44 -04:00
Rob Rix
e638fb4715 Update the specs to use a testEvaluating analysis. 2018-05-06 17:30:07 -04:00
Rob Rix
1942e20af1 🔥 runAnalysis. 2018-04-26 10:17:47 -04:00
joshvera
f7e6609069 Remove readProjectEntry 2018-04-25 12:10:33 -04:00
joshvera
421cc0d1a1 Add readProjectEntry to the Files effects 2018-04-24 15:48:44 -04:00
joshvera
3fb3097c96 back to using Maybe Language in File 2018-04-23 19:47:13 -04:00
Timothy Clem
10d13cd424 Bring preludes back for testing, clean up Util 2018-04-22 07:47:59 -07:00
Timothy Clem
45386ed1ce Get the tests compiling again 2018-04-21 07:22:09 -07:00
Timothy Clem
d64da14b27 Fix up Go specs 2018-04-02 14:54:08 -07:00
Timothy Clem
69e5220fff Typo 2018-04-02 11:18:58 -07:00
Timothy Clem
a3d35ac9a0 WIP: Attempt to back out Identifiers as qualified names 2018-04-02 10:40:52 -07:00
Timothy Clem
a495716e09 Fix it so that the tests compile 2018-03-30 16:19:39 -07:00
Rob Rix
b8d714af28 Use the EvaluatingState fields directly. 2018-03-27 15:23:26 -04:00
joshvera
ba3969c4b0 Merge remote-tracking branch 'origin/master' into query-final-helpers 2018-03-23 17:03:25 -04:00