Timothy Clem
a0ec9e7c07
Go import test changes
2018-03-06 15:47:22 -08:00
Timothy Clem
4d24e41819
Update Go assignment for dot and blank imports
2018-03-06 15:46:55 -08:00
Timothy Clem
04575d4a01
++haskell-tree-sitter
2018-03-06 15:16:46 -08:00
Josh Vera
90d2b09cac
Merge pull request #1525 from github/stylish-haskell-defaults
...
Add stylish-haskell configuration file.
2018-03-06 16:21:03 -05:00
Rob Rix
91cf38722b
Add MultiParamTypeClasses to the defaults.
...
`haskell-src-exts` is quite broken when it comes to `MultiParamTypeClasses`:
- https://github.com/jaspervdj/stylish-haskell/issues/129
- https://github.com/haskell-suite/haskell-src-exts/issues/304
- `FunctionalDependencies` implies `MultiParamTypeClasses`, but `haskell-src-exts` doesn’t know that
Enabling it by default should correct this.
2018-03-06 15:20:53 -05:00
Patrick Thomson
7576c09b4d
Add stylish-haskell configuration file.
...
This introduces a configuration file to ease the use of the
[stylish-haskell](https://github.com/jaspervdj/stylish-haskell )
formatting tool. While the `semantic` codebase is already quite
well-formatted, this tool makes it easy to DTRT when writing new code,
and is a good place to centralize our coding style.
Installing `stylish-haskell` is as easy as `stack install stylish-haskell`.
You can always opt-out! This is all entirely optional.
Editor support:
* emacs — bind `haskell-mode-stylish-buffer` to a keybinding or hook.
* vim — `:set formatprg=stylish-haskell` or install `vim-stylish-haskell`.
* atom — if you have `haskell-ide` installed, the Prettify menu item
should do the right thing.
It's worth reading through the options that stylish-haskell
provides. The options I chose here differ a bit from the default, as I
tried to pick a style that's cromulent with the codebase as it exists
today. If you have any thoughts as to what stylistic changes we could
or should make (example: though I've disabled it, stylish-haskell
makes it easy to keep every `LANGUAGE` pragma on the same line),
please let me know.
I don't think it's necessary to go through and apply `stylish` to our
existing codebase, as it would pollute the history. But I plan to use
it going forward, and maybe you will too!
2018-03-06 14:00:15 -05:00
Josh Vera
7e22cf8f69
Merge pull request #1522 from github/haddock-fixes-mk2
...
Further fixes for Haddock syntax.
2018-03-05 16:59:29 -05:00
Patrick Thomson
b12caf004d
Further fixes for Haddock syntax.
2018-03-05 16:40:34 -05:00
Patrick Thomson
1549cbf00a
Merge pull request #1519 from github/if-evaluation
...
Support ifthenelse evaluation
2018-03-05 14:37:45 -05:00
Rob Rix
9ddf2a376f
Merge branch 'master' into if-evaluation
2018-03-05 09:47:37 -05:00
Rob Rix
ffa0a972ff
Merge pull request #1515 from github/evaluatable-simplification
...
Evaluatable simplification
2018-03-05 09:47:06 -05:00
Rob Rix
3ff77c9a9e
Merge branch 'master' into evaluatable-simplification
2018-03-05 09:41:14 -05:00
Patrick Thomson
70f30ab254
Merge pull request #1518 from github/graph-filename-module
...
Include module names in import-graph SymbolDeclarations.
2018-03-02 15:42:20 -08:00
Patrick Thomson
d4c39f075b
remove otiose comment
2018-03-02 15:35:37 -08:00
Patrick Thomson
1da2668d60
Fix end-to-end tests.
2018-03-02 15:30:51 -08:00
Patrick Thomson
226ff88723
Rename MonadFunction to MonadValue.
2018-03-02 11:45:56 -08:00
Patrick Thomson
cc487a3872
Evaluatable instance for If and NoOp.
2018-03-02 11:32:25 -08:00
Patrick Thomson
e165812969
Include module names in SymbolDeclarations.
2018-03-02 10:03:54 -08:00
Rob Rix
be4bf5b1f7
📝 withModules.
2018-03-02 12:27:40 -05:00
Rob Rix
529becae3f
Use withModules to define evaluates.
2018-03-02 12:26:46 -05:00
Rob Rix
111e31e4da
Define a withModules helper.
2018-03-02 12:26:26 -05:00
Rob Rix
c972fbd958
Extract the module table into its own binding.
2018-03-02 12:23:28 -05:00
Rob Rix
60be5d2f1a
📝 evaluateTerm.
2018-03-02 12:13:01 -05:00
Rob Rix
ecbfd71a1c
Reformat evaluateTerm.
2018-03-02 12:11:28 -05:00
Rob Rix
ed4c2a9361
📝 Evaluation.
2018-03-02 10:58:29 -05:00
Rob Rix
91cfe37bc7
🔥 the Analysis.Abstract.TypeInference module.
2018-03-02 10:56:04 -05:00
Rob Rix
ce294d9181
📝 Evaluator.
2018-03-02 10:41:36 -05:00
Rob Rix
62189a026e
Derive the various instances for Evaluator.
2018-03-02 10:41:31 -05:00
Rob Rix
e44db3982e
📝 the MonadEvaluator methods.
2018-03-02 10:36:05 -05:00
Rob Rix
293df42d58
📝 MonadEvaluator.
2018-03-02 10:32:50 -05:00
Rob Rix
bf5ea51747
📝 abstract & apply.
2018-03-02 10:30:21 -05:00
Rob Rix
0071b25ba7
📝 MonadFunction.
2018-03-02 10:28:29 -05:00
Rob Rix
59afa36269
📝 MonadAnalysis.
2018-03-02 10:21:10 -05:00
Rob Rix
57eb8648ba
🔥 the term parameter from Type.
2018-03-02 10:17:38 -05:00
Rob Rix
9740758d01
Stub in a module for a type inference analysis.
2018-03-02 10:15:18 -05:00
Rob Rix
479f6d2992
📝 DeadCodeAnalysis.
2018-03-02 10:14:23 -05:00
Rob Rix
dcc0d5e607
Rename Evaluating to EvaluationEffects.
2018-03-02 10:12:38 -05:00
Rob Rix
79e94ab7ee
Rename DeadCodeEvaluating to DeadCodeEffects.
2018-03-02 10:12:03 -05:00
Rob Rix
cadd1463e5
Rename DeadCodeEvaluation to DeadCodeAnalysis.
2018-03-02 10:10:57 -05:00
Rob Rix
928e3e4421
📝 evaluateDead.
2018-03-02 10:10:02 -05:00
Rob Rix
a76027926d
Include the root term.
2018-03-01 17:20:59 -05:00
Rob Rix
f9797594e6
Derive Eq, Ord, & Show instances for Subterm.
2018-03-01 17:11:22 -05:00
Rob Rix
5f35fb6397
Don’t list the Data.Abstract.Value exports explicitly.
2018-03-01 16:57:47 -05:00
Rob Rix
5199bebf39
Merge branch 'master' into evaluatable-simplification
2018-03-01 16:55:18 -05:00
Rob Rix
64aaf40b2f
Punt on evaluating Program nodes.
...
@tclem’s work in #1517 is revising all of this so this will do for now.
2018-03-01 16:54:04 -05:00
Rob Rix
e20339bfdd
🔥 a TODO.
2018-03-01 16:35:40 -05:00
Rob Rix
a8d16aa05a
Rejigger the imports a little.
2018-03-01 16:33:45 -05:00
Rob Rix
73a5bcec3d
Simplify import evaluation.
2018-03-01 16:31:48 -05:00
Rob Rix
dcc332a75b
Move require/load into Data.Abstract.Evaluatable.
2018-03-01 16:30:26 -05:00
Rob Rix
106819c39e
Simplify the derived MonadEvaluator instance for Evaluation.
2018-03-01 16:11:56 -05:00
