1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Commit Graph

19461 Commits

Author SHA1 Message Date
Patrick Thomson
b6e27fc185 this comment no longer points out a lie 2018-03-16 16:40:03 -04:00
Patrick Thomson
dcaf4ed61f There is no distinction between local and global environment now. 2018-03-16 16:34:39 -04:00
Patrick Thomson
9446684846 qualify Exports, in keeping with the philosophy of not repeating prefixes 2018-03-16 16:28:24 -04:00
Patrick Thomson
9e04cee330 docs! docs! docs! 2018-03-16 16:23:45 -04:00
Patrick Thomson
b26780b539 add localize 2018-03-16 16:00:49 -04:00
Patrick Thomson
96df75d5a3 Fix broken Semigroup instance for Imperative 2018-03-16 15:55:25 -04:00
Patrick Thomson
17bf4150e3 implement Evaluatable for member access, add doctests, and fix Latest 2018-03-16 15:41:15 -04:00
Rob Rix
863d6aa428 Add a doctest component. 2018-03-16 14:34:54 -04:00
Patrick Thomson
a44d5ed861 Use the Environment functions qualified. 2018-03-16 14:33:55 -04:00
Patrick Thomson
56e7c25268 Move Exports to its own module. 2018-03-16 14:09:41 -04:00
Patrick Thomson
1ff123c17c implement storing class values 2018-03-16 13:00:06 -04:00
Patrick Thomson
e67590cfe6 Implement localEnv with State rather than Reader. 2018-03-16 12:48:19 -04:00
Patrick Thomson
bd24166d0f Merge remote-tracking branch 'origin/export-wrapper' into classes 2018-03-16 12:39:09 -04:00
Patrick Thomson
63a2dac3e1 start converting Environment to a stack 2018-03-16 11:25:22 -04:00
Patrick Thomson
0f1cb642f5 Merge remote-tracking branch 'origin/master' into classes 2018-03-16 10:32:59 -04: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
Timothy Clem
a40dc8825e One more fst 2018-03-15 15:28:41 -07:00
Timothy Clem
7e2557b396 Merge remote-tracking branch 'origin/master' into export-wrapper 2018-03-15 15:25:54 -07: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
Timothy Clem
ff2cc72549 Use isolate for imports too 2018-03-15 10:50:35 -07:00
Timothy Clem
395b0306ad Merge branch 'master' into export-wrapper 2018-03-15 10:50:11 -07:00
Timothy Clem
c46000c74d Fail if trying to re-export something not defined in the imported module 2018-03-15 10:33:08 -07:00
Timothy Clem
432be15f9d Provide shortcut to isolating an action with localState 2018-03-15 10:32:37 -07:00
Timothy Clem
1edce2cd17 Curry exportInsert too 2018-03-15 09:02:58 -07:00
Timothy Clem
92d63dd1ff Better names 2018-03-15 08:57:19 -07:00
Timothy Clem
7351b01304 modifyExports and curry addExports 2018-03-15 08:57:08 -07:00