Skip to content
Permalink
Browse files

Make self-caching Prelude (#424)

Fixes #419

This adds semantic integrity checks to the Prelude's internal references so that
even if users don't cache their Prelude package imports the Prelude will
internally cache all imports after the root import for the user.
  • Loading branch information...
Gabriel439 committed Mar 16, 2019
1 parent 1171212 commit c8c9136a385d33487043cb9a547557468d08597f
@@ -1,17 +1,25 @@
{ and =
./and
./and sha256:0b2114fa33cd76652e4360f012bc082718944fe4c5b28c975483178f8d9b0a6d
? ./and
, build =
./build
./build sha256:add7cb9acacac705410088d876a7e4488e046a7aded304f06c51accffd7f1b7b
? ./build
, even =
./even
./even sha256:72a05ee550636a3acb768360fa51ba0db0326763e0cf1ceb737f0f3607fc0fe5
? ./even
, fold =
./fold
./fold sha256:39f60baf3950268c2e849e91dc6279ee41cd6b81892d54020d4fcd2ce30a96ae
? ./fold
, not =
./not
./not sha256:723df402df24377d8a853afed08d9d69a0a6d86e2e5b2bac8960b0d4756c7dc4
? ./not
, odd =
./odd
./odd sha256:6360fca3a745de32bd186cc7b71487a6398cd47d5119064eae491872c41d1999
? ./odd
, or =
./or
./or sha256:5c50738e84e1c4fed8343ebd57608500e1b61ac1f502aa52d6d6edb5c20b99e4
? ./or
, show =
./show
./show sha256:f85f6d2d921c37a2122cb2e2f8a0170e305b699debd0e6df5ef3370d806b5f61
? ./show
}
@@ -1 +1,4 @@
{ show = ./show }
{ show =
./show sha256:ae645813cc4d8505a265df4d7564c95482f62bb3e07fc81681959599b6cee04f
? ./show
}
@@ -1 +1,4 @@
{ compose = ./compose }
{ compose =
./compose sha256:65ad8bbea530b3d8968785a7cf4a9a7976b67059aa15e3b61fcba600a40ae013
? ./compose
}
@@ -1 +1,7 @@
{ show = ./show, toDouble = ./toDouble }
{ show =
./show sha256:ecf8b0594cd5181bc45d3b7ea0d44d3ba9ad5dac6ec17bb8968beb65f4b1baa9
? ./show
, toDouble =
./toDouble sha256:77bc5d635dc4d952f37cc96f2a681d5ac503b4e8b21fc00055b1946adb5beda7
? ./toDouble
}
@@ -1 +1,7 @@
{ keyText = ./keyText, keyValue = ./keyValue }
{ keyText =
./keyText sha256:f7b6c802ca5764d03d5e9a6e48d9cb167c01392f775d9c2c87b83cdaa60ea0cc
? ./keyText
, keyValue =
./keyValue sha256:a0a97199d280c4cce72ffcbbf93b7ceda0a569cf4d173ac98e0aaaa78034b98c
? ./keyValue
}
@@ -1,39 +1,58 @@
{ all =
./all
./all sha256:7ac5bb6f77e9ffe9e2356d90968d39764a9a32f75980206e6b12f815bb83dd15
? ./all
, any =
./any
./any sha256:b8e9e13b25e799f342a81f6eda4075906eb1a19dfdcb10a0ca25925eba4033b8
? ./any
, build =
./build
./build sha256:8cf73fc1e115cfcb79bb9cd490bfcbd45c824e93c57a0e64c86c0c72e9ebbe42
? ./build
, concat =
./concat
./concat sha256:54e43278be13276e03bd1afa89e562e94a0a006377ebea7db14c7562b0de292b
? ./concat
, concatMap =
./concatMap
./concatMap sha256:3b2167061d11fda1e4f6de0522cbe83e0d5ac4ef5ddf6bb0b2064470c5d3fb64
? ./concatMap
, filter =
./filter
./filter sha256:8ebfede5bbfe09675f246c33eb83964880ac615c4b1be8d856076fdbc4b26ba6
? ./filter
, fold =
./fold
./fold sha256:10bb945c25ab3943bd9df5a32e633cbfae112b7d3af38591784687e436a8d814
? ./fold
, generate =
./generate
./generate sha256:78ff1ad96c08b88a8263eea7bc8381c078225cfcb759c496f792edb5a5e0b1a4
? ./generate
, head =
./head
./head sha256:0d2e65ba0aea908377e46d22020dc3ad970284f4ee4eb8e6b8c51e53038c0026
? ./head
, indexed =
./indexed
./indexed sha256:58bb44457fa81adf26f5123c1b2e8bef0c5aa22dac5fa5ebdfb7da84563b027f
? ./indexed
, iterate =
./iterate
./iterate sha256:e4999ccce190a2e2a6ab9cb188e3af6c40df474087827153005293f11bfe1d26
? ./iterate
, last =
./last
./last sha256:741226b741af152a1638491cdff7f3aa74baf080ada2e63429483f3d195a984d
? ./last
, length =
./length
./length sha256:42c6812c7a9e3c6e6fad88f77c5b3849503964e071cb784e22c38c888a401461
? ./length
, map =
./map
./map sha256:dd845ffb4568d40327f2a817eb42d1c6138b929ca758d50bc33112ef3c885680
? ./map
, null =
./null
./null sha256:2338e39637e9a50d66ae1482c0ed559bbcc11e9442bfca8f8c176bbcd9c4fc80
? ./null
, replicate =
./replicate
./replicate sha256:d4250b45278f2d692302489ac3e78280acb238d27541c837ce46911ff3baa347
? ./replicate
, reverse =
./reverse
./reverse sha256:ad99d224d61852de6696da5a7d04c98dbe676fe67d5e4ef4f19e9aaa27006e9d
? ./reverse
, shifted =
./shifted
./shifted sha256:54fb22c7e952ebce1cfc0fcdd33ce4cfa817bff9d6564af268dea6685f8b5dfe
? ./shifted
, unzip =
./unzip
./unzip sha256:4d6003e9e683a289fe33f4c90f958eb1e08ea0bbb474210fcd90d1885c9660e9
? ./unzip
}
@@ -1,23 +1,34 @@
{ build =
./build
./build sha256:e7e25e6c4f1d8e573606ed1bef725396ac2de5c68f7c5d329ffc5822085b984c
? ./build
, enumerate =
./enumerate
./enumerate sha256:0cf083980a752b21ce0df9fc2222a4c139f50909e2353576e26a191002aa1ce3
? ./enumerate
, even =
./even
./even sha256:b85b8b56892dfef881e1c0e79eade0b949528f792aac0ea42432b315ede4ee66
? ./even
, fold =
./fold
./fold sha256:fd01c931e585a8f5fd049af7b076b862ea164f1813b34800c7616a49e549ee06
? ./fold
, isZero =
./isZero
./isZero sha256:1be98236800ed2d5cff44f16ca02b34b0c37dfa239d9e0d63d9d2c6eeae3d1d1
? ./isZero
, odd =
./odd
./odd sha256:ab3c729262c642ec1cdb72a81e910fcfaf2aea13e3961d0bf1bec83efea5aac5
? ./odd
, product =
./product
./product sha256:e3e6fd76207875b81d39f79fdbc90b5e640444c04fb3d84c2c9326748f0b26e6
? ./product
, sum =
./sum
./sum sha256:33f7f4c3aff62e5ecf4848f964363133452d420dcde045784518fb59fa970037
? ./sum
, show =
./show
./show sha256:684ed560ad86f438efdea229eca122c29e8e14f397ed32ec97148d578ca5aa21
? ./show
, toDouble =
./toDouble
./toDouble sha256:d5eb52143dcd35b46a6f0cdb2d3cbf31a14b6daeba56e29066f8e344c9fb6e81
? ./toDouble
, toInteger =
./toInteger
./toInteger sha256:160d2d278619f3da34a1f4f02e739a447e4f2aa5a2978c45b710515b41491e1f
? ./toInteger
}
@@ -1,27 +1,40 @@
{ all =
./all
./all sha256:b9b015fe8be14da940901aa1510ee1d5e205df37ee651c32ac975a799782c410
? ./all
, any =
./any
./any sha256:0a637c0f2cc7d30b8f0bca021d2ee1ad1213fb9d9712c669b29feab66a590eaf
? ./any
, build =
./build
./build sha256:f331299d1279cfb88dd25a5acfdd64130900991b6154239ad343a2883f6eb50c
? ./build
, concat =
./concat
./concat sha256:b49a3b7dc49eb83d150977caa5ae347be1cbbe14e3b6d0e07349bd2e5f707d69
? ./concat
, filter =
./filter
./filter sha256:b3d5e19a6cec592a76c12167a9e5e1e76649e776229d70a11c77b76cd29f617e
? ./filter
, fold =
./fold
./fold sha256:62139ff410ca84302acebe763a8a1794420dd472d907384c7fb80df2a2180302
? ./fold
, head =
./head
./head sha256:b0b5d257294515f1de35f24fa83e54d7f1d5ebca9c3c1fc903a80ab40e19b3a6
? ./head
, last =
./last
./last sha256:f839221a8a04adae6c501458eb264e7f4e375a1facb294cb80caacfd012a6765
? ./last
, length =
./length
./length sha256:722a3754a411c053f006a32c506a6d1b14869c2ab799169df9cdac346edf07d3
? ./length
, map =
./map
./map sha256:e7f44219250b89b094fbf9996e04b5daafc0902d864113420072ae60706ac73d
? ./map
, null =
./null
./null sha256:efc43103e49b56c5bf089db8e0365bbfc455b8a2f0dc6ee5727a3586f85969fd
? ./null
, toList =
./toList
./toList sha256:390fe99619e9a25e71a253a2b33011f9e5fa26a7d990795205543d1edd72ce5b
? ./toList
, unzip =
./unzip
./unzip sha256:7b517bc2a8a4dbec044c6bea5e059cafde5a0cb1d3a5e7d13d346c9327a00f30
? ./unzip
}
@@ -1,11 +1,16 @@
{ concat =
./concat
./concat sha256:35e20d9403fbadb1a0061edb84e076ed56313709fa4bc8124d86ff54896f20ac
? ./concat
, concatMap =
./concatMap
./concatMap sha256:175d893ad7f2b2c05fff9e32f0d9cbadc7f5fce57945071508cf3603f8aa298e
? ./concatMap
, concatMapSep =
./concatMapSep
./concatMapSep sha256:7b511e6278c1efdc329e163550537603e0fccf3d077a7fa185070c588de1e2c9
? ./concatMapSep
, concatSep =
./concatSep
./concatSep sha256:bc088ae2be57a70df3f1cc906f02a9c16c2c486b13dbc7f2a927c4fc83d4f517
? ./concatSep
, show =
./show
./show sha256:c9dc5de3e5f32872dbda57166804865e5e80785abe358ff61f1d8ac45f1f4784
? ./show
}
@@ -1,19 +1,28 @@
{ `Bool` =
./Bool/package.dhall
./Bool/package.dhall sha256:7ee950e7c2142be5923f76d00263e536b71d96cb9c190d7743c1679501ddeb0a
? ./Bool/package.dhall
, `Double` =
./Double/package.dhall
./Double/package.dhall sha256:b8d20ab3216083622ae371fb42a6732bc67bb2d66e84989c8ddba7556a336cf7
? ./Double/package.dhall
, Function =
./Function/package.dhall
./Function/package.dhall sha256:74c3822b98b9d37f9f820af8e1a7ee790bcfac03050eabd45af4a255fb93e026
? ./Function/package.dhall
, `Integer` =
./Integer/package.dhall
./Integer/package.dhall sha256:eb464566d3192dd16ce915a9bd874aaaad612d5c69beb356e5b7d2e0c4949dcf
? ./Integer/package.dhall
, `List` =
./List/package.dhall
./List/package.dhall sha256:108be3af5ebd465f7091039f2216c433e65ae5d25556a9a71786dd84d33ef49a
? ./List/package.dhall
, `Natural` =
./Natural/package.dhall
./Natural/package.dhall sha256:fe08155c3a04500df847ca94d013ecd3dfc73ab5c136109b2414fce3ec42b63a
? ./Natural/package.dhall
, `Optional` =
./Optional/package.dhall
./Optional/package.dhall sha256:36a366af67a3c26cd5d196e095d3023f18953c5b5db3a03956fa554609e5442a
? ./Optional/package.dhall
, JSON =
./JSON/package.dhall
./JSON/package.dhall sha256:7f0c25a292e5d34ddfbbf3f6d90505567382f95d822b04f5810745f81ab1ef35
? ./JSON/package.dhall
, `Text` =
./Text/package.dhall
./Text/package.dhall sha256:b0551d0a598f49de9186d02f8565c7d2f764defadecee670dbda0e5ee88cc6da
? ./Text/package.dhall
}

0 comments on commit c8c9136

Please sign in to comment.
You can’t perform that action at this time.