Rob Rix
30b8002394
🔥 Origin altogether.
2018-05-06 13:25:28 -04:00
Rob Rix
93895186cf
Imagine there’s no MonadAnalysis.
...
It’s easy if you try.
2018-05-04 18:37:37 -04:00
Rob Rix
50a3fecfe3
Rename our Union type to Sum.
2018-05-02 11:25:44 -04:00
Rob Rix
171d349eee
Define our own Union type.
2018-05-02 10:59:30 -04:00
Rob Rix
013b5cb4b7
Merge branch 'master' into analyses-provide-and-handle-effects
2018-04-30 14:22:09 -04:00
Timothy Clem
da89a11fae
Introduce place to put all these directives
2018-04-26 13:43:49 -07:00
Rob Rix
2066b33aaf
Rename Empty to Lower.
2018-04-25 18:25:02 -04:00
Rob Rix
2267f24ea8
Merge branch 'master' into analyses-provide-and-handle-effects
2018-04-25 16:43:00 -04:00
Rob Rix
6646c8ca27
Rename Quietly to BadSyntax.
2018-04-25 15:44:44 -04:00
Patrick Thomson
35a85e6a06
Merge branch 'master' into resumable-type-errors
2018-04-25 15:19:36 -04:00
Timothy Clem
2da5acf57a
Add ability to exclude directories from globbing
2018-04-25 09:55:05 -07:00
Rob Rix
0b0bd2a1a8
🔥 Control.Effect.Fresh in favour of Control.Monad.Effect.Fresh.
2018-04-25 10:40:58 -04:00
Rob Rix
1cedeac8e1
Move Erroring into its own module.
2018-04-24 18:44:23 -04:00
Patrick Thomson
89c1403f89
WIP
2018-04-24 14:12:28 -04:00
Timothy Clem
156246e477
Finding a need for a File datatype
2018-04-20 11:10:27 -07:00
joshvera
04428df6bd
Return holes from uninitialized address errors
2018-04-19 13:12:51 -04:00
Timothy Clem
42f680fc47
Merge remote-tracking branch 'origin/fix-graph-errors' into typescript-graphs
2018-04-17 14:24:41 -07:00
Timothy Clem
8120b2af73
Merge remote-tracking branch 'origin/master' into typescript-graphs
2018-04-17 14:24:10 -07:00
Timothy Clem
95b7fd5888
Resolve module import paths that walk up directory structure (e.g. ../)
2018-04-17 14:13:01 -07:00
joshvera
3a19dae1f9
Add a Declarations class
2018-04-17 16:25:11 -04:00
Charlie Somerville
560642579f
add Data.Empty typeclass
2018-04-17 16:31:08 +10:00
Timothy Clem
bf5af4ec21
Move to Graph.hs
2018-04-09 10:57:12 -07:00
joshvera
1f441ec518
Merge remote-tracking branch 'origin/master' into repo-import-graph
2018-04-05 19:50:59 -04:00
Rob Rix
98084c5e81
Merge branch 'master' into task-in-eff
2018-04-05 09:18:32 -04:00
Rob Rix
9dc1d6e5f8
🔥 Semantic.
2018-04-04 15:43:46 -04:00
Patrick Thomson
faf246ff1e
Merge remote-tracking branch 'origin/master' into fix-scientific-parsing
2018-04-04 15:40:51 -04:00
Rob Rix
8ae61645f8
Rename Semantic.Command.{Diff,Parse} to Semantic.{Diff,Parse}.
2018-04-04 15:17:01 -04:00
Rob Rix
113bbd1ed9
Merge branch 'master' into task-in-eff
2018-04-04 15:05:28 -04:00
Rob Rix
a5dd989db2
Stub in separate parse/diff command modules.
2018-04-04 13:14:25 -04:00
joshvera
7dd6bb1865
Merge remote-tracking branch 'origin/module-resolution' into repo-import-graph
2018-04-04 13:03:21 -04:00
Timothy Clem
a34cc8766f
Merge remote-tracking branch 'origin/master' into module-resolution
2018-04-04 09:42:39 -07:00
Rob Rix
2d521ecaa6
Merge branch 'master' into task-in-eff
2018-04-04 11:58:58 -04:00
Rob Rix
ca87d9cff9
Move the Telemetry effect into its own module.
2018-04-04 11:23:32 -04:00
Rob Rix
6dd7dd78c1
Sort the modules.
2018-04-04 11:23:21 -04:00
Rob Rix
8a6d9bd879
Move Distribute into its own module.
2018-04-04 11:23:13 -04:00
Patrick Thomson
45a411f6ba
Merge remote-tracking branch 'origin/master' into fix-scientific-parsing
2018-04-04 10:11:59 -04:00
joshvera
c759c065be
Add another analysis to recover from RubyError
2018-04-03 19:59:39 -04:00
Patrick Thomson
c36256e943
Standardize and fix floating-point parsing.
...
The existence of #1705 showed me that it's time to remove the bandaid
of a fix that was `normalizeFloatString` in #1537 . This patch
introduces a proper Attoparsec parser for Scientific values that
handles the vaguaries of cross-language floating-point syntax. We
already depended on Attoparsec indirectly, so adding it as an explicit
dependency is fine.
A unit test is included, with examples taken from the tree-sitter corpora.
2018-04-03 17:02:56 -04:00
joshvera
bc91a5f320
Merge remote-tracking branch 'origin/module-resolution' into repo-import-graph
2018-04-03 16:35:33 -04:00
joshvera
7b9de5d151
Merge remote-tracking branch 'origin/master' into repo-import-graph
2018-04-03 16:19:22 -04:00
Timothy Clem
208d16e131
Disable import-graph specs for now
2018-04-03 10:12:20 -07:00
Rob Rix
37cc2e36bb
🔥 Control.Effect.NonDet.
2018-04-02 10:14:57 -04:00
Rob Rix
228ec0ea59
Stub in a module for a package abstraction.
2018-03-30 11:34:42 -04:00
Rob Rix
366120bd24
Stub in a module for an Origin datatype.
2018-03-29 23:08:59 -04:00
Rob Rix
5ee3bf001e
Merge branch 'simpler-analysis-types' into symbol-resolution
2018-03-29 20:00:01 -04:00
Rob Rix
fb38332849
Stub in a module for located names/values/whatever.
2018-03-29 09:00:25 -04:00
joshvera
233f7abfbd
Add BadValues analysis
2018-03-28 17:42:11 -04:00
joshvera
e8db080923
Merge remote-tracking branch 'origin/master' into less-fail
2018-03-28 13:12:20 -04:00
joshvera
9043193e13
Merge remote-tracking branch 'origin/master' into less-fail
2018-03-28 12:01:58 -04:00
Josh Vera
6bb737c18f
Merge branch 'master' into combined-state-effects
2018-03-28 11:56:17 -04:00