Patrick Thomson
6b763dd5e9
Fix tests.
2019-02-15 17:55:15 -05:00
Timothy Clem
cc78c0d8d5
Case Api as generated
2019-02-12 12:49:34 -08:00
Timothy Clem
ce04fa8f12
Refactor runTask
2019-02-01 15:04:23 -08:00
Timothy Clem
f14412fe8f
Merge remote-tracking branch 'origin/master' into servant-experiment
2019-01-31 12:57:59 -08:00
Timothy Clem
d3330aa9f3
Dedicated input types for Blob and BlobPair
2019-01-28 14:37:50 -08:00
Timothy Clem
919e026499
Merge branch 'master' into servant-experiment
2019-01-25 10:14:16 -08:00
Timothy Clem
6befe07ea3
Remove rest of old diff renderers and Diff.hs
2019-01-22 12:05:45 -07:00
Timothy Clem
154e0388af
Goodbye Semantic.Parse
2019-01-18 16:04:23 -08:00
Timothy Clem
dad86f11e7
No more TermRenderer and all tests passing
2019-01-18 15:54:55 -08:00
Timothy Clem
f23110a73a
Transition sexpression term rendering
2019-01-18 09:29:51 -08:00
Rick Winfrey
d4abe75456
Merge branch 'master' into visibility-resolution
2019-01-16 18:31:44 -08:00
Rick Winfrey
bf3ff6154a
Update tests for new AccessControl / Relation split
2019-01-16 18:20:33 -08:00
Ayman Nadeem
896cfe983c
Reference Data.Abstract.Value.Concrete and not Control.Abstract.Value
2019-01-15 16:54:00 -05:00
Ayman Nadeem
2f29c9a566
disambiguate
2019-01-15 16:47:40 -05:00
Patrick Thomson
f750f2952a
Remove 'both' function.
2019-01-10 15:53:15 -05:00
joshvera
18367e0ffb
fix type errors in tests
2018-12-11 16:51:21 -05:00
Rob Rix
7b5c01eae0
Add an Unspecialized constructor for ref.
2018-12-10 12:40:03 -05:00
Rob Rix
799fe67107
Spacing.
2018-12-10 11:27:05 -05:00
joshvera
a2026e8ada
Add valueRef tests back
2018-12-05 12:44:52 -05:00
joshvera
73ae9f85a1
Deref slots in evalRubyProject
...
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-12-05 12:12:13 -05:00
joshvera
781e52f843
Format and remove Environment
2018-12-05 10:14:16 -05:00
joshvera
debefff57c
Differentiate between Import and Superclass edge tests
2018-12-04 11:24:01 -05:00
joshvera
766f9bd018
Look in Classes for objectMembers
2018-12-04 10:35:52 -05:00
joshvera
b35e1a0718
change Address to Slot in tests
2018-11-29 20:16:29 -05:00
joshvera
17c4bf350c
Add lookupObjectMembers function to tests
2018-11-29 19:37:20 -05:00
joshvera
68697419ec
Export traceShowM and traceM from SpecHelpers
2018-11-29 13:01:11 -05:00
Rick Winfrey
c350ae7377
TraceByIgnoringC
2018-11-28 16:55:26 -08:00
joshvera
65a8949a06
Fix the shape of scope and heap outputs in testEvaluating
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-28 18:47:10 -05:00
joshvera
456efeca9d
Change the order of ModuleResult
2018-11-28 17:27:42 -05:00
Rick Winfrey
d44169b6f6
Merge branch 'master' into heap-frames
2018-11-27 08:32:00 -08:00
Rob Rix
51d5719632
Decode the bytes in Verbatim.
2018-11-26 15:19:12 -05:00
joshvera
7ade83a367
objectMembers
...
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-11-26 13:06:01 -05:00
Rick Winfrey
66d3044951
Merge branch 'master' into heap-frames
2018-11-15 13:44:06 -08:00
joshvera
dba7f17d48
spoke too soon
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-14 19:20:35 -05:00
joshvera
680681f944
fix up EvalError in tests
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-14 19:19:42 -05:00
joshvera
f6bfec2d96
the tests compile!
2018-11-08 18:22:35 -05:00
joshvera
20cf855423
return a list of values from lookupDeclaration
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-08 12:56:08 -05:00
joshvera
22bdbdfafe
Fix up import conflicts
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-08 12:55:42 -05:00
joshvera
0c35a8a95c
Start fixing up tests
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-07 18:27:56 -05:00
joshvera
f51d3a90a8
Run ScopeGraph and Heap in tests
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-07 14:09:18 -05:00
Timothy Clem
0f56f33f24
Introduce some symbol/tags tests
2018-11-02 13:55:30 -07:00
Rob Rix
131cae4d7b
Merge branch 'master' into higher-order-effects
2018-10-24 14:04:13 -04:00
Rob Rix
ee1491ab51
Fix namespaceScope.
2018-10-24 10:06:22 -04:00
Rob Rix
090a395bb6
Fix up the carrier type.
2018-10-24 10:05:22 -04:00
Rob Rix
780d0a478b
Rename the carrier.
2018-10-24 10:01:49 -04:00
Rob Rix
46ca8ac121
Fix a bunch of handlers.
2018-10-24 09:59:57 -04:00
Rob Rix
de9e610a2f
Correct the name of the Trace carrier.
2018-10-24 09:58:35 -04:00
Rob Rix
ce37fd58f1
Fix some imports.
2018-10-24 09:58:06 -04:00
Rob Rix
739426de50
Fix a couple of handlers.
2018-10-24 09:47:14 -04:00
Patrick Thomson
ef696d3c41
Split up Semantic.IO.
...
This looks like a big patch, but it's very straightforward: no
behavior has changed.
After the umpteenth time spent hitting a compile error because I
passed a `FilePath` rather than a `File` to `readBlobFromPath`, I
decided to finally make the needed refactors to Semantic.IO, and to
split off the `File` type and `Files` effect. This patch:
* adds the `MonadIO` class to `Prologue`'s export list
* moves `File` into `Data.File`
* moves `Handle` into `Data.Handle`
* moves `Files` into `Semantic.Task.Files`
* moves functions for reading blobs into `Data.Blob`
* keeps general IO helpers in Semantic.IO
* renames `readFile` to `readBlobFromFile`
* renames `readBlobFromPath` to `readBlobFromFile'`
This should have a positive effect on compile times and ease of
navigation throughout the codebase.
2018-10-23 15:37:49 -04:00