github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 07:25:44 +03:00
Code Issues Projects Releases Wiki Activity
19,440 Commits 19 Branches 16 Tags 46 MiB
6999781fef
Commit Graph

19440 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Timothy Clem
6999781fef Extra langauge pragma 2018-03-16 12:48:05 -07:00
Timothy Clem
0556e874bb Couple more places where we don't care about redundant-constraints 2018-03-16 12:47:55 -07:00
Timothy Clem
9bf9c43ce7 Allow redunand-constraints in here for HasCallStack to work 2018-03-16 10:56:37 -07:00
Timothy Clem
624423273d Not necessary to hide this 2018-03-16 10:56:23 -07:00
Timothy Clem
fa0c72fb14 Remove some more redundant constraints 2018-03-16 10:56:15 -07:00
Timothy Clem
f3fd569a6b Implement Semigroup instances for future compatability 2018-03-16 10:55:19 -07:00
Timothy Clem
503cf9f517 Remove redundant constraint 2018-03-16 10:54:12 -07:00
Timothy Clem
1b573a196f Cleanup redundant constraints 2018-03-16 10:50:26 -07:00
Timothy Clem
9a84cbdd97 Align cause it's fun 2018-03-16 10:15:59 -07:00
Timothy Clem
0eb9d3be66 Try out some of lexi-lambda's recommended compiler warnings 2018-03-16 10:15:39 -07:00
Patrick Thomson
9b56def713 Merge pull request #1562 from github/bitwise 
Add Evaluatable instance for Bitwise operators.
 2018-03-16 10:14:06 -04:00
Patrick Thomson
0f0ae1077d Merge remote-tracking branch 'origin/master' into bitwise 2018-03-16 10:06:30 -04:00
Patrick Thomson
f9398ae5cb Merge pull request #1573 from github/maybem 
Add maybeM and maybeFail.
 2018-03-16 10:03:15 -04:00
Patrick Thomson
8359d4d3e4 oops 2018-03-15 16:32:48 -04:00
Patrick Thomson
9cbad7ef8f Merge remote-tracking branch 'origin/master' into maybem 2018-03-15 16:31:24 -04:00
Patrick Thomson
1ab4bd0c9d Add maybeM and maybeFail. 
`maybeM act may` returns the `Just` in `may` or runs `act`.
`maybeFail str may` fails with `str` as an error or extracts the `Just`.

These combinators are so useful that I don't know why they're not in
the Prelude or some library. I use them constantly.
 2018-03-15 16:25:53 -04:00
Rob Rix
2cae3739dc Merge pull request #1572 from github/jump-around,-jump-around 
Goto
 2018-03-15 16:23:11 -04:00
Rob Rix
0f8b874fb9 Define scatter using foldMapA. 2018-03-15 16:15:40 -04:00
Rob Rix
c81fafb184 Move foldMapA into the Prologue. 2018-03-15 16:14:51 -04:00
Rob Rix
56987f4fd2 Merge branch 'master' into jump-around,-jump-around 2018-03-15 16:10:06 -04:00
Rob Rix
8701de3af0 Merge pull request #1520 from github/call-graph-analysis 
Call graph analysis
 2018-03-15 16:07:58 -04:00
Rob Rix
4bd7bc5427 Remove the location parameter from Value. 2018-03-15 16:04:36 -04:00
Rob Rix
7fab2e26aa Specialize evaluateFile/evaluateFiles to Value Precise. 2018-03-15 14:58:07 -04:00
Rob Rix
0e5e84f35d Use the Label type in Closure. 2018-03-15 14:52:28 -04:00
Rob Rix
42ec0c8717 Move Label into Data.Abstract.FreeVariables. 2018-03-15 14:49:59 -04:00
Rob Rix
6fc1747652 Spell out the label field. 2018-03-15 14:48:06 -04:00
Rob Rix
ba84fffd56 Define deref using a helper function. 2018-03-15 14:46:38 -04:00
Rob Rix
6099ec037f Dereference using lookupHeap. 2018-03-15 14:42:33 -04:00
Rob Rix
42b059d88c Define a helper to fold a collection in an Alternative context. 2018-03-15 14:42:11 -04:00
Rob Rix
5a8b13c63b Define a helper to look an address up in the heap. 2018-03-15 14:41:57 -04:00
Rob Rix
527d157d90 Pull uninitializedAddress out to the top level. 2018-03-15 14:35:02 -04:00
Patrick Thomson
5932e97d8d Merge remote-tracking branch 'origin/master' into bitwise 2018-03-15 14:26:15 -04:00
Rob Rix
d570c854f3 Merge branch 'master' into jump-around,-jump-around 2018-03-15 14:22:36 -04:00
Rob Rix
827a471075 Merge branch 'master' into call-graph-analysis 2018-03-15 14:19:03 -04:00
Patrick Thomson
601e99d7a6 Merge pull request #1563 from github/array-literals 
Evaluatable instance for Array literals.
 2018-03-15 14:18:29 -04:00
Patrick Thomson
424ea3760c Merge remote-tracking branch 'origin/master' into bitwise 2018-03-15 14:15:32 -04:00
Rob Rix
9547688b4a 📝 lookupWith. 2018-03-15 10:44:17 -04:00
Rob Rix
ae3b26c2a7 letrec uses lookupOrAlloc. 2018-03-15 10:41:29 -04:00
Rob Rix
a42af3cee5 lookupOrAlloc doesn’t assign. 2018-03-15 10:40:51 -04:00
Rob Rix
f8bfadf48f lookupOrAlloc no longer returns the Name. 2018-03-15 10:39:36 -04:00
Rob Rix
9aa76f05c8 🔥 a redundant Semigroup constraint. 2018-03-15 10:37:52 -04:00
Rob Rix
031d67a209 Replace lookupOrAlloc with lookupOrAlloc'. 2018-03-15 10:37:00 -04:00
Rob Rix
3e77eb92ce Pass the name in manually. 2018-03-15 10:36:46 -04:00
Rob Rix
af21fa48fe 🔥 a redundant import. 2018-03-15 10:36:21 -04:00
Rob Rix
6b7bacc7d3 Merge branch 'master' into call-graph-analysis 2018-03-15 10:34:38 -04:00
Rob Rix
300af7ebde Correct the paths to the global env. 2018-03-15 10:23:50 -04:00
Rob Rix
3c6d4f9976 🔥 mentions of the obsolete *Value synonyms. 2018-03-15 10:14:22 -04:00
Rob Rix
84af53a4fa 📝 goto. 2018-03-15 10:12:31 -04:00
Rob Rix
6e68f0115a 📝 label. 2018-03-15 10:12:26 -04:00
Rob Rix
acd7051b34 📝 MonadControl. 2018-03-15 10:09:51 -04:00