Timothy Clem
|
7137c057b4
|
Fix up example a bit
|
2018-05-16 10:43:38 -07:00 |
|
Rob Rix
|
6ee5cabdf8
|
Run allocator effects in the evaluator spec.
|
2018-05-16 13:43:14 -04:00 |
|
Rob Rix
|
22874e7105
|
Merge remote-tracking branch 'origin/master' into allocator-effect
|
2018-05-16 13:41:46 -04:00 |
|
Rob Rix
|
742918e44d
|
Merge pull request #1839 from github/fix-abstract-semantics
Fix abstract semantics
|
2018-05-16 13:40:12 -04:00 |
|
Timothy Clem
|
aa9eb68045
|
Fully construct PackageInfo here
|
2018-05-16 10:34:17 -07:00 |
|
Timothy Clem
|
c6fece1931
|
JavaScript and TypeScript NodeJS resolution looks at package.json now
|
2018-05-16 10:26:10 -07:00 |
|
Timothy Clem
|
32bf6a2cbf
|
Need to have a special helper for JavaScript to get the project language right
|
2018-05-16 10:21:39 -07:00 |
|
Timothy Clem
|
453f60ee36
|
Some example js code for various module require/resolution options
|
2018-05-16 10:21:24 -07:00 |
|
Timothy Clem
|
6bfba22d85
|
Anchor these paths to our relative directory structure
|
2018-05-16 10:21:04 -07:00 |
|
Timothy Clem
|
ec73c60274
|
Docs
|
2018-05-16 10:20:21 -07:00 |
|
Rob Rix
|
7527a9a076
|
Revert "Stub in a module for Precise addresses."
This reverts commit fc6b583e1172a7589055868863b4e010f7ec5f4f.
|
2018-05-16 13:18:29 -04:00 |
|
Rob Rix
|
e8aa1a4da7
|
Revert "Move Precise & Latest into their own module."
This reverts commit 318ed8510aeb31ae892652685771bdba810d2df4.
|
2018-05-16 13:18:25 -04:00 |
|
Rob Rix
|
b9678fcc57
|
Revert "Move Monovariant addresses into their own module."
This reverts commit 9e394524f290b26170bfc3837d1ada14e08d3d3f.
|
2018-05-16 13:18:14 -04:00 |
|
Rob Rix
|
caadaee788
|
Revert "Define a Monoidal IntMap."
This reverts commit 8bff613d15a42ed001d012be8cb127e3cee9c148.
|
2018-05-16 13:16:42 -04:00 |
|
Rob Rix
|
1aabbf3349
|
Revert "Define a Heap type specialized to Precise locations."
This reverts commit 2d2eb7a62a927118af3f20b729538cacefaf64b2.
|
2018-05-16 13:16:39 -04:00 |
|
Rob Rix
|
9b8ceddf86
|
Revert "Map keys back into Precise for the Show instance."
This reverts commit 94d08c4d9e55b2a46695a78cff308c0cd6082e00.
|
2018-05-16 13:16:36 -04:00 |
|
Rob Rix
|
92f44e6692
|
Revert "Define a specialization of Live to Precise addresses."
This reverts commit 0df9cb5ab41b674a13dc81027b43e87715946ee5.
|
2018-05-16 13:16:26 -04:00 |
|
Rob Rix
|
42d8d91a6d
|
Revert "Define a specialization of Configuration for Precise addresses."
This reverts commit b747b3abcc6a068c70a97ffff2d1128b273c96cd.
|
2018-05-16 13:16:22 -04:00 |
|
Rob Rix
|
a9e95ae1c6
|
Revert "Adjust the Reducer instance for Precise Heaps."
This reverts commit be3e230efbf0bc4d04509d31e82df990a35985e0.
|
2018-05-16 13:16:14 -04:00 |
|
Rob Rix
|
590cd34d97
|
Revert "Define a Heap synonym for Monovariant."
This reverts commit e5955a1ec70133a93df43fdb092a1958c1e7c142.
|
2018-05-16 13:15:53 -04:00 |
|
Rob Rix
|
3deeafcaf7
|
Revert "Define a Live synonym for Monovariant addresses."
This reverts commit b5f9085b7ada101ce193dbcc31603d2514018d67.
|
2018-05-16 13:15:52 -04:00 |
|
Rob Rix
|
bd100fd235
|
Revert "Define a specialized Configuration type for Monovariant addresses."
This reverts commit da57e98f74829a39dfef8aecf626b8e4a4d77fc4.
|
2018-05-16 13:15:49 -04:00 |
|
Rob Rix
|
769ce146fa
|
Define a specialized Configuration type for Monovariant addresses.
|
2018-05-16 13:03:25 -04:00 |
|
Rob Rix
|
22e4125163
|
Define a Live synonym for Monovariant addresses.
|
2018-05-16 13:02:27 -04:00 |
|
Rob Rix
|
53c16e89fd
|
Define a Heap synonym for Monovariant.
|
2018-05-16 13:00:33 -04:00 |
|
Rob Rix
|
0d52c47aa6
|
No need to qualify these now.
|
2018-05-16 12:53:49 -04:00 |
|
Rob Rix
|
00c1586834
|
Don’t provide an IsList instance that’s hard to use correctly.
|
2018-05-16 12:49:31 -04:00 |
|
Rob Rix
|
bf90a98444
|
Environment holds Addresses.
|
2018-05-16 12:47:04 -04:00 |
|
Rob Rix
|
15151627dc
|
Adjust the Reducer instance for Heap.
|
2018-05-16 12:38:34 -04:00 |
|
Rob Rix
|
9cec3e0ad5
|
Adjust the Reducer instance for Precise Heaps.
|
2018-05-16 12:36:27 -04:00 |
|
Rob Rix
|
a68b608e54
|
Move Monovariant addresses into their own module.
|
2018-05-16 12:33:35 -04:00 |
|
Rob Rix
|
45a0bfe7ca
|
Define a specialization of Configuration for Precise addresses.
|
2018-05-16 12:15:15 -04:00 |
|
Rob Rix
|
db789133ba
|
Define a specialization of Live to Precise addresses.
|
2018-05-16 12:12:55 -04:00 |
|
Rob Rix
|
81fc93baa7
|
Map keys back into Precise for the Show instance.
|
2018-05-16 12:09:55 -04:00 |
|
Rob Rix
|
10e3eebddf
|
Define a Heap type specialized to Precise locations.
|
2018-05-16 12:08:10 -04:00 |
|
Rob Rix
|
0b63f77327
|
Define a Monoidal IntMap.
|
2018-05-16 12:01:14 -04:00 |
|
Rob Rix
|
1dcb16d829
|
Resume defining unMap as a field selector.
|
2018-05-16 11:57:10 -04:00 |
|
Rob Rix
|
680336057d
|
Move Precise & Latest into their own module.
|
2018-05-16 11:53:24 -04:00 |
|
Rob Rix
|
0467b0c8fe
|
Stub in a module for Precise addresses.
|
2018-05-16 11:50:43 -04:00 |
|
Rob Rix
|
064a2d1121
|
Move Allocator back into Control.Abstract.Heap.
|
2018-05-16 11:49:57 -04:00 |
|
Rob Rix
|
99bc84f9c0
|
📝 Located’s Addressable instance.
|
2018-05-16 11:48:52 -04:00 |
|
Rob Rix
|
31bf9ae97c
|
Note some stuff we’d like to fix.
|
2018-05-16 11:45:15 -04:00 |
|
Rob Rix
|
af8bfce055
|
Allocate & dereference addresses using Allocator effects.
|
2018-05-16 11:45:10 -04:00 |
|
Timothy Clem
|
f81ea4bff5
|
s/File/Project b/c that makes more sense to me
|
2018-05-16 08:38:00 -07:00 |
|
Rob Rix
|
7dc065365b
|
Export the Allocator constructors.
|
2018-05-16 11:18:41 -04:00 |
|
Rob Rix
|
4eb2d84623
|
Align the AddressError constructors.
|
2018-05-16 11:18:10 -04:00 |
|
Rob Rix
|
854d8175b7
|
🔥 throwAddressError.
|
2018-05-16 11:17:43 -04:00 |
|
Rob Rix
|
6ac714a208
|
Spacing.
|
2018-05-16 11:17:18 -04:00 |
|
Rob Rix
|
e8855b622c
|
Explicitly list the exports.
|
2018-05-16 11:17:07 -04:00 |
|
Rob Rix
|
796822b5a8
|
🔥 lookupHeap.
|
2018-05-16 11:16:51 -04:00 |
|