github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 13:21:59 +03:00
Code Issues Projects Releases Wiki Activity
21,216 Commits 19 Branches 16 Tags 46 MiB
b9a57e40bf
Commit Graph

21216 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
b9a57e40bf Unpack the package & module info. 2018-05-06 13:17:14 -04:00
Rob Rix
8e8c3b8476 Align the fields of Origin. 2018-05-06 13:16:51 -04:00
Rob Rix
5038d11b8e Reformat Origin. 2018-05-06 13:16:30 -04:00
Rob Rix
89efff7346 Represent Origin as an even simpler triple. 2018-05-06 13:15:55 -04:00
Rob Rix
a1c9822a87 Represent Origin as a simple triple. 2018-05-06 13:07:40 -04:00
Rob Rix
c0b9a812a1 SomeOrigin doesn’t do anything fancy with the term type. 2018-05-06 12:37:30 -04:00
Rob Rix
2185705636 Use the caching/converging analyses for typechecking. 2018-05-06 12:21:51 -04:00
Rob Rix
34c5f21214 Correct a 📝 in Util. 2018-05-06 12:14:58 -04:00
Rob Rix
7d18c7d9a5 🔥 liftHandlerOverSubtermAlgebra. 2018-05-06 12:11:46 -04:00
Rob Rix
e3c996f45d 🔥 a redundant signature. 2018-05-06 12:09:44 -04:00
Rob Rix
731aed5b3c Move withPrelude into the where clause. 2018-05-06 12:09:16 -04:00
Rob Rix
5a9b64db34 Fix up Semantic.Util. 2018-05-06 12:08:19 -04:00
Rob Rix
88f64e7301 Specialize evaluating. 2018-05-06 12:08:09 -04:00
Rob Rix
3a2ba0b631 Generalize resumingBadModuleResolutions. 2018-05-06 12:04:29 -04:00
Rob Rix
c92ba91068 🔥 redundant imports. 2018-05-06 11:52:44 -04:00
Rob Rix
5f50cca09d 🔥 a redundant constraint. 2018-05-06 11:52:38 -04:00
Rob Rix
2e375d782f Provide the current module’s info. 2018-05-06 11:52:15 -04:00
Rob Rix
23a5021ab0 Use the ModulePath synonym in ModuleInfo. 2018-05-06 11:44:34 -04:00
Rob Rix
cf49300f84 Move evaluateEntryPoint into the where clause. 2018-05-06 11:30:02 -04:00
Rob Rix
000fbdf628 Rename MonadEvaluatable to EvaluatableConstraints. 2018-05-06 11:27:25 -04:00
Rob Rix
c8fb246cac Evaluate entry points in a context which can handle closures. 2018-05-06 11:26:35 -04:00
Rob Rix
3c743f8d33 Evaluatable instances don’t need to call evaluateClosureBody directly, so 🔥 the constraint. 2018-05-06 11:21:16 -04:00
Rob Rix
d5b5c8379e Spacing. 2018-05-06 11:20:56 -04:00
Rob Rix
d5586210c2 Don’t export MonadEvaluatable. 2018-05-06 11:13:45 -04:00
Rob Rix
fe08bc82af Generalize the types of resolveWithNodejsStrategy, resolveRelativePath, resolveNonRelativePath, resolveTSModule, and evalRequire. 2018-05-06 11:08:00 -04:00
Rob Rix
80c493710b Generalize the types of resolveRubyName, resolveRubyPath, doRequire, and doLoad. 2018-05-06 10:58:07 -04:00
Rob Rix
97c6cb0036 Generalize the types of resolvePHPName and include. 2018-05-06 10:50:33 -04:00
Rob Rix
edee168de2 Generalize the type of resolveGoImport. 2018-05-06 10:47:13 -04:00
Rob Rix
9e948ee7d3 🔥 a bunch of unnecessary quantifiers. 2018-05-06 10:44:59 -04:00
Rob Rix
b4185865c2 ResolutionError doesn’t need its value parameter. 2018-05-06 10:42:30 -04:00
Rob Rix
0c30d16898 Generalize the type of resolvePythonModules. 2018-05-06 10:37:21 -04:00
Rob Rix
5e37b9e440 Reformat the signature of resolvePythonModules. 2018-05-06 10:31:48 -04:00
Rob Rix
73620308d5 Generalize the type of evaluateInScopedEnv. 2018-05-06 10:31:05 -04:00
Rob Rix
6f810134f3 Generalize the type of listModulesInDir. 2018-05-06 10:28:02 -04:00
Rob Rix
f2b0b2e3e6 Generalize the type of resolve. 2018-05-06 10:27:37 -04:00
Rob Rix
8e005a593f Simplify the default eval definition’s context. 2018-05-06 10:25:56 -04:00
Rob Rix
f993304817 Move Evaluatable to the top of the module. 2018-05-06 10:24:45 -04:00
Rob Rix
8070fc38c0 📝 the components of the importGraphAnalysis result type. 2018-05-06 10:14:54 -04:00
Rob Rix
1a91e91a31 Inline evaluatingModulesWith into evaluatePackageBodyWith. 2018-05-06 10:09:25 -04:00
Rob Rix
157a7a35f5 Inline handleEvalClosures into evalTerm. 2018-05-06 10:06:44 -04:00
Rob Rix
f8e1d03f66 Clean up the type of evaluatingModulesWith using equality constraints. 2018-05-06 09:58:14 -04:00
Rob Rix
7344a1b67c Handle closure/module effects in the same place. 2018-05-06 09:55:06 -04:00
Rob Rix
4529ee89e9 Don’t require callers to provide the module & term explicitly. 2018-05-06 09:13:46 -04:00
Rob Rix
4cfa690059 Provide per-module and -term handlers. 2018-05-04 19:48:45 -04:00
Rob Rix
ceb4c40646 Correct the Value type. 2018-05-04 19:46:03 -04:00
Rob Rix
b7858fe4cc Specialize importGraphAnalysis to Located & Value. 2018-05-04 19:44:59 -04:00
Rob Rix
314f1dfd5c Derive a Lower instance for Latest. 2018-05-04 19:44:33 -04:00
Rob Rix
8e73d99889 Give a type for importGraphAnalysis. 2018-05-04 19:41:10 -04:00
Rob Rix
d31dce7490 Provide empty cells with a Lower constraint. 2018-05-04 19:40:53 -04:00
Rob Rix
1e173c4f2c Use ScopedTypeVariables to allow type applications against erroring. 2018-05-04 19:38:14 -04:00