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
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
joshvera
750f66d31a
Add a resumeException function to wrap nonsense
2018-03-21 12:26:17 -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
joshvera
e713a17ca9
Add resumable exceptions
2018-03-21 11:41:41 -04:00
Patrick Thomson
3315096629
Merge pull request #1651 from github/fix-hlints
...
Take a pass at fixing/silencing linter hints.
2018-03-20 14:01:02 -04:00
Patrick Thomson
b9cef5e540
Merge branch 'fix-hlints' of github.com:github/semantic into fix-hlints
2018-03-20 12:36:01 -04:00
Patrick Thomson
bde8afb472
Stop ignoring syntax errors and fix hints in Assignments.
2018-03-20 12:35:30 -04:00
Patrick Thomson
b61938de73
Use newtype for GShow1Options.
2018-03-20 12:21:39 -04:00
Rob Rix
5cede65fd7
Merge branch 'master' into fix-hlints
2018-03-20 11:33:28 -04:00
Rob Rix
5fffdbb23f
Merge pull request #1652 from github/fix-python-eval
...
Fix `evaluatePythonFile`.
2018-03-20 11:29:12 -04:00
Patrick Thomson
62aa1a9d57
Fix evaluatePythonFile
.
...
Ruby and Go's evaluators had been changed to invoke `evaluateFile`
rather than `evaluate` directly, but Python's didn't make it in. This
remedies that.
2018-03-20 11:14:00 -04:00
Patrick Thomson
d5c404c1aa
spurious annotations
2018-03-20 10:49:57 -04:00
Patrick Thomson
9d5ace795b
Take a pass at fixing/silencing linter hints.
...
Since @charliesome was expressing trouble with keeping custom infix
operator precedence straight (a very fair complaint, and one that I
have trouble with too), I thought it best to make sure that master
builds with clean hlints. I propose we make CI check that `hlint src`
executes cleanly.
2018-03-20 10:41:53 -04:00
Josh Vera
2e2c18c3b2
Merge pull request #1575 from github/gorzell-container
...
Add a means of building an executable docker container.
2018-03-19 18:12:43 -04:00
Josh Vera
ed955abd56
Merge branch 'master' into gorzell-container
2018-03-19 18:04:53 -04:00
Patrick Thomson
7182ecc7e8
Merge pull request #1576 from github/classes
...
Implement classes and method dispatch
2018-03-19 17:13:30 -04:00
Josh Vera
1ae1eda20d
Merge branch 'master' into gorzell-container
2018-03-19 16:44:54 -04:00
Patrick Thomson
62ee3a149e
fix redundant constraint
2018-03-19 15:51:14 -04:00
Patrick Thomson
dd1e1c555d
Merge remote-tracking branch 'origin/master' into classes
2018-03-19 15:45:43 -04:00
Patrick Thomson
3c1464cd7f
Merge pull request #1640 from github/ruby-match-syntax
...
Add match-operation syntax and assign =~ and !~ to it.
2018-03-19 15:43:11 -04:00
Patrick Thomson
d053da814b
Merge branch 'master' into ruby-match-syntax
2018-03-19 15:35:38 -04:00
Rob Rix
b8a524431c
Merge pull request #1643 from github/haskell-ide-engine-instructions
...
Add haskell-ide-engine instructions to the README
2018-03-19 15:06:56 -04:00
Rob Rix
c615395f53
Merge branch 'master' into haskell-ide-engine-instructions
2018-03-19 13:34:50 -04:00
Rob Rix
5f405c27cc
Merge pull request #1644 from github/werror-tests
...
Speed up builds by using same ghc-options for tests and semantic
2018-03-19 13:30:08 -04:00
Timothy Clem
07bdf1b5d1
Merge branch 'master' into werror-tests
2018-03-19 10:04:39 -07:00
Rob Rix
99c9da25ac
Merge pull request #1581 from github/doctests
...
Doctests
2018-03-19 12:55:43 -04:00
Patrick Thomson
0db78c3cb3
overwrite is a better name than merge
2018-03-19 12:40:06 -04:00
Rob Rix
95f13be61f
Merge branch 'master' into doctests
2018-03-19 12:35:14 -04:00
Patrick Thomson
d419ad8bf6
Merge remote-tracking branch 'origin/master' into classes
2018-03-19 12:31:34 -04:00
Rob Rix
67ebc90f11
Merge branch 'master' into haskell-ide-engine-instructions
2018-03-19 12:29:03 -04:00
Patrick Thomson
91f8701492
Merge remote-tracking branch 'origin/master' into ruby-match-syntax
2018-03-19 12:20:43 -04:00
Timothy Clem
4724d57350
Merge pull request #1580 from github/build-fix-em-ups
...
Build fix em ups
2018-03-19 09:20:31 -07:00
Patrick Thomson
5664bcdede
fix unit tests
2018-03-19 12:17:44 -04:00
Timothy Clem
0332350154
Don't need this constraint
2018-03-19 09:02:13 -07:00