github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity
19,701 Commits 19 Branches 16 Tags 46 MiB
4035304d49
Commit Graph

19701 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Timothy Clem
201aa936d6 PHP namespaces evaluation with extending environments 2018-03-22 13:38:41 -07:00
Timothy Clem
f23139a194 Introduce a namespace value that mappends environments 2018-03-22 13:37:35 -07:00
Patrick Thomson
75bf3bebe4 Merge pull request #1666 from github/fix-python-member-call 
Fix Python method calls.
 2018-03-22 16:34:42 -04:00
Patrick Thomson
178da2959e Implement multiple inheritance. 
Python is the only language that we support that permits multiple
inheritance, which is probably good, since MI is generally considered
a sign of a poorly-designed object hierarchy. But there's no reason
not to support it. This algorithm is more simplistic than Python's
actual method-resolution lookup, but it's fine for now, and the
behavior for simple cases matches that of Python.
 2018-03-22 15:54:21 -04:00
Josh Vera
7792356012 Merge branch 'master' into default-extensions 2018-03-22 15:43:31 -04:00
Josh Vera
a2e73afd45 Merge branch 'master' into module-resolution 2018-03-22 15:42:44 -04:00
Patrick Thomson
bd939d2579 Fix Python method calls. 
`identifier` in the Python assignment module was too eager to reduce a
nested Attribute into a dotted identifier. Removing it fixes method
calls, which now have a unit test.
 2018-03-22 15:35:08 -04:00
joshvera
bfee652f14 redundant lang extension 2018-03-22 13:07:42 -04:00
joshvera
fdfca338f5 unused constraint 2018-03-22 13:07:32 -04:00
joshvera
37d7eb8b9f Remove unused lang extension 2018-03-22 13:06:22 -04:00
joshvera
d816fceaf3 Beautify IdentifierName to test 2018-03-22 13:02:10 -04:00
joshvera
adc5a54d45 Beautify Prologue to test 2018-03-22 13:01:25 -04:00
Patrick Thomson
ec4b01d04c Merge pull request #1656 from github/subclassing 
Implement single-inheritance subclassing.
 2018-03-22 12:48:28 -04:00
Patrick Thomson
089403d25f Merge branch 'master' into subclassing 2018-03-22 12:40:29 -04:00
Timothy Clem
8e2175ac8c Merge remote-tracking branch 'origin/master' into no-really-php-namespaces 2018-03-22 09:39:49 -07:00
Timothy Clem
fb65cff4c7 Merge pull request #1648 from github/php-namespaces 
PHP includes and other import-like semantics
 2018-03-22 09:39:21 -07:00
Patrick Thomson
ba67556ce6 Merge branch 'master' into subclassing 2018-03-22 12:37:49 -04:00
Patrick Thomson
9d97b8f6c7 Add a spec for subclassing 2018-03-22 12:31:53 -04:00
Timothy Clem
9a91728d4e Only one require/load 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-03-22 09:28:19 -07:00
Josh Vera
3ef6366649 Merge branch 'master' into php-namespaces 2018-03-22 12:23:57 -04:00
Josh Vera
7950a6b7aa Merge pull request #1661 from github/app-semigroup 
App/AppMerge semigroups
 2018-03-22 12:23:26 -04:00
joshvera
f2169e09a9 Move MultiParamTypeClasses, StandaloneDeriving, and DataKinds to default-extensions 2018-03-22 12:23:11 -04:00
Timothy Clem
b7657bdbae Remove tracing 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-03-22 09:17:32 -07:00
joshvera
7d87571c7a Add ScopedTypeVariables 2018-03-22 12:05:28 -04:00
joshvera
1f97a18451 Move resumeException to Control.Effect 2018-03-22 11:43:14 -04:00
joshvera
c96cdc5fbf No need for GADTs 2018-03-22 11:42:27 -04:00
joshvera
73a821f856 ++effects 2018-03-22 11:42:20 -04:00
joshvera
a8c9c815ef Rename NonDetEff to NonDet 2018-03-22 10:35:25 -04:00
Timothy Clem
6591c81e4e Proper nesting of namespace environments (this is messy) 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-03-21 16:18:58 -07:00
Rob Rix
d645481dcf 📝 AppMerge is a Monoid too. 2018-03-21 17:29:48 -04:00
Rob Rix
6a785e0b30 Remove the Monoid instance for App, as it’s unlawful. 2018-03-21 17:26:32 -04:00
Rob Rix
aab509cf63 Test the identity properties. 2018-03-21 17:26:07 -04:00
Rob Rix
b55010c2c1 Define shrinking. 2018-03-21 17:22:34 -04:00
Rob Rix
6be056bd9a Swap the order of the types. 2018-03-21 17:16:31 -04:00
Rob Rix
c6148c6cad Test the associativity of the semigroup instances. 2018-03-21 17:16:09 -04:00
Rob Rix
69a4e4cc2e 🔥 Imperative. 2018-03-21 17:08:52 -04:00
Rob Rix
256623a818 eval lists in App. 2018-03-21 17:08:25 -04:00
Rob Rix
e0245ed752 Define a Monoid instance for App. 2018-03-21 17:08:14 -04:00
Rob Rix
3329bd0a51 Define a Semigroup instance for App. 2018-03-21 17:08:06 -04:00
Rob Rix
5ea6482e96 📝 App. 2018-03-21 17:07:55 -04:00
Rob Rix
6399cb3c58 Define an App semigroup. 2018-03-21 17:07:49 -04:00
Patrick Thomson
d39db0db06 fix comment 2018-03-21 16:56:52 -04:00
Rob Rix
8f22cb26f8 Explicitly list the exports. 2018-03-21 16:44:35 -04:00
Rob Rix
88230df1fe Define a Monoid instance for AppMerge. 2018-03-21 16:41:49 -04:00
Rob Rix
794a03a49c 📝 AppMerge. 2018-03-21 16:41:41 -04:00
Rob Rix
541e230431 Define a Semigroup instance for AppMerge. 2018-03-21 16:41:32 -04:00
Rob Rix
0b2b27ff21 Stub in an AppMerge semigroup. 2018-03-21 16:40:56 -04:00
joshvera
2bf23e7a08 no need to import prelude 2018-03-21 16:01:27 -04:00
joshvera
7cc460fab1 Move Resumable to the top of the effect stack 2018-03-21 15:51:36 -04:00
joshvera
310a2d9e6d Missing import 2018-03-21 15:23:44 -04:00