github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 15:35:14 +03:00
Code Issues Projects Releases Wiki Activity
19,681 Commits 19 Branches 16 Tags 46 MiB
6ec188ba55
Commit Graph

19681 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
joshvera
2d7c54ba54 Rename MonadResume to MonadThrow 2018-03-21 15:14:35 -04:00
joshvera
ec39a8bdd9 Move RunnEffect Resumable instance 2018-03-21 15:14:24 -04:00
joshvera
85bcdb6281 Remove unused import 2018-03-21 15:14:09 -04:00
joshvera
c5988bfe57 ++effects 2018-03-21 14:59:28 -04:00
joshvera
c067736a55 Move NonDetEff stuff to effects and clean up imports 2018-03-21 14:58:45 -04:00
joshvera
3cdfb81991 Move Resumable to effects package 2018-03-21 14:33:17 -04:00
joshvera
104e9f801f ++effects 2018-03-21 14:24:20 -04:00
Timothy Clem
6ac73a7a5a Start to work out evaluating of php namespaces 
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
 2018-03-21 10:22:38 -07:00
joshvera
750f66d31a Add a resumeException function to wrap nonsense 2018-03-21 12:26:17 -04:00
Timothy Clem
166c66766e Whitespace 2018-03-21 09:20:07 -07:00
Timothy Clem
a740f2938a Don't change assignment for namespaces just yet 2018-03-21 09:19:32 -07:00
Patrick Thomson
b59fc64dd8 Implement single-inheritance subclassing. 
Pretty straightforward stuff: we augment `klass` to take an optional
superclass, match to ensure it's a class, then, when defining that new
class, push its definition onto the environment provided by the superclass.
 2018-03-21 12:17:16 -04:00
joshvera
5ca8367dff Use resumeError in analyzeTerm 2018-03-21 12:15:12 -04:00
joshvera
2cdd9fa183 Add MonadResume instance for effects 2018-03-21 12:14:04 -04:00
joshvera
ffea66cdca Add RunEffect instance for ResumeExc 2018-03-21 12:13:48 -04:00
joshvera
8b13d98a25 Use MonadResume in eval 2018-03-21 12:13:29 -04:00
joshvera
86f8ce5eab Add MonadResume 2018-03-21 12:13:17 -04:00
Timothy Clem
74596f174a Merge branch 'master' into php-namespaces 2018-03-21 09:01:17 -07:00
joshvera
e713a17ca9 Add resumable exceptions 2018-03-21 11:41:41 -04:00
Timothy Clem
cdd0a9f35e Remove this 2018-03-20 16:47:36 -07:00