joshvera
a27a60f137
Insert addresses in exports state
2018-03-07 15:06:35 -05:00
joshvera
4c5e098123
Change Exports to a Map
2018-03-07 15:00:36 -05:00
joshvera
1f3ed79c01
Change bindExports to take a Map
2018-03-07 15:00:10 -05:00
joshvera
db9a816163
Map fromClause to Identifier
2018-03-07 14:59:40 -05:00
joshvera
af4a489594
update typescript example
2018-03-07 11:56:27 -05:00
joshvera
3ed9162f68
Reset the exports set after evaluating a program
2018-03-07 11:54:58 -05:00
joshvera
a86921e63b
Add TODO about prunedEnv
2018-03-07 11:54:40 -05:00
joshvera
3b6d586b6a
Docs
2018-03-07 11:53:07 -05:00
joshvera
d176f52ff2
typo
2018-03-07 11:53:00 -05:00
joshvera
581a3bb0ef
Map from clauses to identifiers
...
So that they're free variables. Also strip the quotes.
2018-03-07 11:52:52 -05:00
joshvera
d99eb4a0db
Add an Import evaluatable instance
2018-03-07 10:55:30 -05:00
joshvera
8426bbe598
Add Debug.Trace
2018-03-07 10:55:18 -05:00
joshvera
368dc93e91
Add an eval instance for QualifiedExport
2018-03-07 10:03:59 -05:00
joshvera
15b073485e
Add addExport and getExports to MonadEvaluator
2018-03-07 10:03:45 -05:00
joshvera
4c1b74b49d
Add bindExports
...
Returns an env with the given values aliased
2018-03-07 10:03:26 -05:00
joshvera
a448acf0a1
Make fromClause optional
2018-03-06 17:58:24 -05:00
joshvera
4bb9c803bd
Remove exportClause and importExportSpecifier
2018-03-06 17:38:21 -05:00
joshvera
c6d16ad6b1
Use QualifiedExport
...
Removes the `default` export declaration case. We'll bring that back.
2018-03-06 17:38:03 -05:00
joshvera
535744a45e
Stub out Evaluatable instance for QualifiedExport
2018-03-06 17:37:29 -05:00
joshvera
db238dbe89
Remove NamespaceImport from typescript
2018-03-06 17:03:28 -05:00
joshvera
ac014f82eb
Add QualifiedExport
2018-03-06 17:03:15 -05:00
joshvera
9985ddb1ea
Remove NamedImports and NamespaceImport
2018-03-06 16:48:32 -05:00
joshvera
863ce1497f
Merge remote-tracking branch 'origin/master' into environment-scoping
2018-03-06 16:27:22 -05: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
Timothy Clem
f5edf073a2
Merge remote-tracking branch 'origin/master' into environment-scoping
2018-03-06 11:02:43 -08:00
Timothy Clem
61f6d0314b
Fix up a few tests
2018-03-06 11:02:29 -08: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
Timothy Clem
197c6320db
Small TypeScript analysis example
2018-03-06 10:15:09 -08:00
Timothy Clem
19b47833cd
TypeScript eval helpers
2018-03-06 08:56:29 -08:00
Timothy Clem
eecbe4bb45
FreeVariables1 and Evaluatable for TypeScript specific syntaxes
2018-03-06 08:56:21 -08:00
Timothy Clem
dd2b0841f0
Missing FreeVariables1 on AccessibilityModifier
2018-03-06 08:56:01 -08:00
Timothy Clem
1a437528e3
WIP: TypeScript imports necessitate qualified v regular imports
2018-03-05 19:33:15 -08:00
Timothy Clem
f2a61cc273
TypeApplications not necessary any more
2018-03-05 19:32:23 -08:00
Timothy Clem
32d89acbbe
Not using this
2018-03-05 19:32:03 -08:00
Timothy Clem
a8b72a85db
Add type sig
2018-03-05 19:31:49 -08: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
Timothy Clem
f278f84f36
Merge remote-tracking branch 'origin/if-evaluation' into environment-scoping
2018-03-05 09:13:04 -08:00
Timothy Clem
df357ba37c
Couple of minor cleanups
2018-03-05 09:12:54 -08:00
Timothy Clem
843728aa3b
Merge remote-tracking branch 'origin/master' into environment-scoping
2018-03-05 08:43:32 -08: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
Timothy Clem
ab71814900
Streamline this code a bit, no functional changes
2018-03-02 16:33:27 -08:00
Timothy Clem
7b4b35cb5e
Merge remote-tracking branch 'origin/if-evaluation' into environment-scoping
2018-03-02 16:08:54 -08: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
Timothy Clem
d57c1e2d33
Merge remote-tracking branch 'origin/if-evaluation' into environment-scoping
2018-03-02 15:32:25 -08:00
