github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 06:11:49 +03:00
Code Issues Projects Releases Wiki Activity
18,709 Commits 19 Branches 16 Tags 46 MiB
b26ec32a00
Commit Graph

18709 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
4c5ca748d8 Align the signature of eval. 2018-03-01 14:53:12 -05:00
Timothy Clem
3352b840aa Simplify these to get started 2018-03-01 11:47:38 -08:00
Timothy Clem
bc883f3941 Another updated fixture from new import alias structure 2018-03-01 11:47:29 -08:00
Timothy Clem
bbe1471046 Handle alias imports with new structure 2018-03-01 11:47:12 -08:00
Timothy Clem
b8b367e6c4 Take the basename for linker table 
This needs more thought eventually...
 2018-03-01 11:46:16 -08:00
Timothy Clem
ee749ddcf1 Restructure Python import alias assignment 2018-03-01 11:45:43 -08:00
Timothy Clem
c4a98d65de Need to include global env in Interface 2018-03-01 11:38:14 -08:00
Timothy Clem
ca57af6132 Merge remote-tracking branch 'origin/master' into environment-scoping 2018-03-01 10:08:38 -08:00
Timothy Clem
e7404f45c1 WIP: detect empty alias 2018-03-01 10:08:32 -08:00
Timothy Clem
b1b463fb99 Begin to build some python fixtures for imports 2018-03-01 10:08:15 -08:00
Rob Rix
4c53ad729f Add a FIXME. 2018-03-01 12:09:34 -05:00
Rob Rix
a9c8e3f85f We don’t use DataKinds here. 2018-03-01 12:08:52 -05:00
Rob Rix
f53ec5aa61 Sort the language extensions. 2018-03-01 12:08:44 -05:00
Rob Rix
6141815573 🔥 a redundant constraint for the default signature. 2018-03-01 12:08:31 -05:00
Rob Rix
ae3842d2a5 We don’t use ScopedTypeVariables. 2018-03-01 12:08:03 -05:00
Rob Rix
ceaa2834a8 🔥 a redundant type annotation. 2018-03-01 12:07:52 -05:00
Rob Rix
56a7483165 We don’t use TypeApplications here. 2018-03-01 12:07:31 -05:00
Rob Rix
a5d5d26165 We don’t use TypeOperators. 2018-03-01 12:07:01 -05:00
Rob Rix
65fdc4d805 We don’t define GADTs here. 2018-03-01 12:06:46 -05:00
Rob Rix
d78b259987 FunctionalDependencies implies MultiParamTypeClasses. 2018-03-01 12:06:35 -05:00
Rob Rix
acb53236c2 We no longer require rank-2 types. 2018-03-01 12:06:20 -05:00
Rob Rix
6fe72ffecb Re-add Control.Monad.Effect.Fresh to the exported modules. 2018-03-01 12:05:15 -05:00
Rob Rix
f05f0951f0 Rename MonadFunctionAbstraction to MonadFunction. 2018-03-01 12:01:36 -05:00
Rob Rix
dfea82f776 Stub in a Control.Abstract.Function module. 2018-03-01 12:00:16 -05:00
Rob Rix
d8540f9e4c Consolidate the Evaluatable module’s exports. 2018-03-01 11:59:23 -05:00
Rob Rix
c0b2bd1c8a Rename Control.Monad.Effect.Evaluatable to Data.Abstract.Evaluatable. 2018-03-01 11:54:05 -05:00
Josh Vera
cc06b848bb Merge pull request #1508 from github/rename-semantic 
Rename the project to semantic
 2018-03-01 11:50:38 -05:00
Rob Rix
ecd81878fc Rename Control.Monad.Effect.Addressable to Control.Abstract.Addressable. 2018-03-01 11:50:38 -05:00
Rob Rix
b9b90f28fa Give separate headings for general Data.* and Data.Abstract.*. 2018-03-01 11:47:21 -05:00
Rob Rix
b41a9d9d2b Rename Analysis.Abstract.Evaluator to Control.Abstract.Evaluator. 2018-03-01 11:46:32 -05:00
Josh Vera
aa79af7b8c Merge branch 'master' into rename-semantic 2018-03-01 11:41:07 -05:00
Rob Rix
4c79afece2 Correct some indentation. 2018-03-01 11:36:02 -05:00
Rob Rix
1aff7df28a Inline the allocPrecise binding. 2018-03-01 11:35:44 -05:00
Rob Rix
f18f63019a Abstract require over the evaluator type. 2018-03-01 11:33:53 -05:00
Rob Rix
3effc5df07 Abstract load over the evaluator type. 2018-03-01 11:33:32 -05:00
Rob Rix
c3ee31c4fc Generalize the MonadFunctionAbstraction instance for Value over the evaluator type. 2018-03-01 11:32:14 -05:00
Rob Rix
77e79737fe Abstract Evaluatable over the evaluator type. 2018-03-01 11:31:08 -05:00
Rob Rix
4d5969a077 Abstract evaluation under binders over the evaluator type. 2018-03-01 11:28:05 -05:00
Rob Rix
b25c9e6cd3 Move the AbstractValue constraint onto evaluation. 2018-03-01 11:18:53 -05:00
Rob Rix
06d24471f3 Abstract Addressable over the evaluator. 2018-03-01 11:14:30 -05:00
Rob Rix
590374884b MonadEvaluator is a subclass of Monad. 2018-03-01 11:00:21 -05:00
Rob Rix
58b7c88b33 Define a MonadEvaluator typeclass abstracting the Evaluator type. 2018-03-01 10:59:55 -05:00
joshvera
41a538d7e1 Merge remote-tracking branch 'origin/master' into rename-semantic 2018-03-01 10:16:35 -05:00
Rob Rix
cec9e584e2 🔥 some commented-out imports. 2018-03-01 10:16:20 -05:00
Rob Rix
9cedb403bd 🔥 redundant imports. 2018-03-01 10:03:45 -05:00
Rob Rix
8c51acec71 Reformat the context for the AbstractFunction instance for values. 2018-03-01 10:02:58 -05:00
Rob Rix
9192a35b06 Merge branch 'eval-effect' into algebraic-evaluation 2018-03-01 09:56:12 -05:00
Rob Rix
6245e30c1c Revert "Abstract over the top-level analysis." 
This reverts commit d6d2a3d23ce3de9a4c2578e105bf6a096443eb7d.
 2018-03-01 09:41:42 -05:00
Rob Rix
05c78f6aea Abstract over the top-level analysis. 2018-03-01 09:41:38 -05:00
Timothy Clem
b497ad3199 Merge remote-tracking branch 'origin/master' into environment-scoping 2018-02-28 16:46:48 -08:00