File import creates phantom definitions #23

Closed
opened 2025-05-26 13:59:15 +00:00 by James · 1 comment
Owner
File to import: ./patterns.tri
Importing file: ./patterns.tri
Stored definition: _ with hash 6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d
Stored definition: all? with hash 434d2120094c8c48a1bbc623e33f163cf70725438817cf9473f3f6787f0059a0
Stored definition: and? with hash f22dced90d94dd5b4a19e52db0b52acccc347777f68552f2c0662f0c148ade8f
Stored definition: any? with hash d73e96dc42653f18e9541925f70157c8db3c4e5c9b3a7809454b5b8663e11417
Stored definition: append with hash 31ded2f353be755809c4b25e1c1c3968d34e7996d0eafc92dc21b7bf86f3308a
Stored definition: compose with hash 4ab05bff8e05beefc0a2fc45f8adb31ee456fb04fd2f3210b2fce98ffdf4d8dc
Stored definition: const with hash 91a2a023813575f1ab087941e018c8caa6a7bd4422ce10f9106574442c387883
Stored definition: count with hash b1f0f95756667a6bc5ad2c454462aa4eaebf3603a4984334c5d6693da600e633
Stored definition: emptyList? with hash 9e298227b13987e66d47fcccca1660738e862cd661bc8f0d1451d0f759b3db64
Stored definition: equal? with hash 1fedcefda3374dfc59977a3495a9ad87bc6af1bd9fdcddb06251d2ce03be4d1b
Stored definition: false with hash 6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d
Stored definition: filter with hash 405e2d3392993d9468aea06b3bcf91e6102c8f8db0c62929cf883396b482a655
Stored definition: filter_ with hash 3e5ff7a76798d6c876e750c0f5a6ba5cf6e7ebaf435707324f24f399a1607ea7
Stored definition: foldl with hash f1106d9460a9d82fe5f8532a6384dd896b6d8dc8132bd0660bb0a0dfd791f624
Stored definition: foldl_ with hash 2cd7b2040b381664b063f9068c7e3bd2f743b78ec03d6a887f741936f5538aaf
Stored definition: foldr with hash eb32e388f0f6fc4eb586de0afba46a97582fe7ee2413eb924280249efab29d7e
Stored definition: foldr_ with hash 32c97324971ae42169f7c80d0d2eff71f9638ce63c24dd94fff33ec9c2271d41
Stored definition: head with hash 47e2b3dbc75acaec90ea1cf7e8f86f0a2c251e93f9f93ad11e19fdd1ac23d144
Stored definition: id with hash 1975ba5c190f730b95492109045692963e4b7189b41a8df97ec8e5c4cb3009ac
Stored definition: if with hash 515ea305e54594ed9e139de6829b5d5d5b6982776a7de6e0412c1f6d96c277e5
Stored definition: intersect with hash f6038a976b3ed934926616bab09eedeae0941220abfe1b7b7b80d0894262a64c
Stored definition: lAnd with hash ca2b5da1e55b80e5c54125a09c0e43cc607e26752e1a0dc6bd8f66c15f56a26e
Stored definition: lExist? with hash ac958837f9e4ca1e6d578bffa3cfade55542b52c39a71866ca4e14c70c7c8744
Stored definition: lOr with hash 95db4904506ee84b79654eec0df73e1b3f28eda6594f142cf7fd46e398305c8d
Stored definition: last with hash 6db2ccfdb1506395e3399d4a9774d63053e7798f1f7c36b1a8669ffab6e7b821
Stored definition: length with hash 3bf9bd1eb5b93fd0c1e4301b51d819bbcb4a66225da4358afe15badcc7cceb73
Stored definition: map with hash a6e70c9b77c3e3e76fdcffe47a1970ca7614829c1bfbd666f837f12299949e4e
Stored definition: map_ with hash 1414ab59c1b5ea1f3446868c23e5e2aa2f42c9cb3d89afacc87d070f60fe1509
Stored definition: match with hash 09ed8bafef0b12f19dea9db7bb0f879ca188194a02141cad7286983df4afee7a
Stored definition: matchBool with hash 24e30b47dfd73ad9896ebb4be100c30dfe9289e550ae2937d44d990768fcf37b
Stored definition: matchList with hash 967f8a68eaa218765b006fc1fe4dc29c1bd1acd061785c2ccb89aa6d2e5a49a2
Stored definition: matchPair with hash d81fe96dc500bc43e1cd5800bef9d72b3d030bdb7e860e10c522e4246b30bd93
Stored definition: match_ with hash b5046b8730a917e765284db5c6d282b4eb55ece84d670ce4cecc801f196d682c
Stored definition: not? with hash 48bd73072883674f2456550fd4190f66aa1fc5d2b4b6216e122938354a212682
Stored definition: or? with hash 4e7ac9723bcfa1f3854e8593c904c14015b1d163ab07ad3dc693e04f946a4dd5
Stored definition: otherwise with hash 7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8
Stored definition: pair with hash 6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d
Stored definition: reverse with hash 924474a605edf4173bb3d90cb9013090d5ab17f8fca9f14f1206ad3662d3370b
Stored definition: snoc with hash 93412efe3183df453947ffc8f25f7e9fceed6d1966ea83315f0febb185ba1534
Stored definition: succ with hash 19c536bfc05767046631361485f2f4d0c00c084b97455cf3b2991fddca315440
Stored definition: tail with hash eb1780345f9345bc98ca8e344dfaf8320cae3c70865386ae5e1a99908b196bcb
Stored definition: test with hash 08a6dc67ae8e5a4367a35ea46c158eea395aa72f05172c898b87c064b2841a98
Stored definition: triage with hash 931b2d1771478ec31a00b80da0d03c922f8527390db3eff76f8a0f4f302c9e54
Stored definition: true with hash 47dc540c94ceb704a23875c11273e16bb0b8a87aed84de911f2133568115f254
Stored definition: xor? with hash 57ba80928077d26e3f39424c794ceb6dd02eaf45a46ff0dcc125c195eed03d16
Stored definition: y with hash 668d4eec988d6831b8481f95bb182e686622a15ec9d3fb4c0b0183e6ce27df11
Imported 46 definitions successfully
tricu < !versions
Term name: match
Versions of match:
1. b5046b8730a917e765284db5c6d282b4eb55ece84d670ce4cecc801f196d682c (2025-05-26 13:57:18)
2. 09ed8bafef0b12f19dea9db7bb0f879ca188194a02141cad7286983df4afee7a (2025-05-26 13:57:17)
3. 24e30b47dfd73ad9896ebb4be100c30dfe9289e550ae2937d44d990768fcf37b (2025-05-26 13:57:17)
4. 967f8a68eaa218765b006fc1fe4dc29c1bd1acd061785c2ccb89aa6d2e5a49a2 (2025-05-26 13:57:17)
5. d81fe96dc500bc43e1cd5800bef9d72b3d030bdb7e860e10c522e4246b30bd93 (2025-05-26 13:57:17)
``` File to import: ./patterns.tri Importing file: ./patterns.tri Stored definition: _ with hash 6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d Stored definition: all? with hash 434d2120094c8c48a1bbc623e33f163cf70725438817cf9473f3f6787f0059a0 Stored definition: and? with hash f22dced90d94dd5b4a19e52db0b52acccc347777f68552f2c0662f0c148ade8f Stored definition: any? with hash d73e96dc42653f18e9541925f70157c8db3c4e5c9b3a7809454b5b8663e11417 Stored definition: append with hash 31ded2f353be755809c4b25e1c1c3968d34e7996d0eafc92dc21b7bf86f3308a Stored definition: compose with hash 4ab05bff8e05beefc0a2fc45f8adb31ee456fb04fd2f3210b2fce98ffdf4d8dc Stored definition: const with hash 91a2a023813575f1ab087941e018c8caa6a7bd4422ce10f9106574442c387883 Stored definition: count with hash b1f0f95756667a6bc5ad2c454462aa4eaebf3603a4984334c5d6693da600e633 Stored definition: emptyList? with hash 9e298227b13987e66d47fcccca1660738e862cd661bc8f0d1451d0f759b3db64 Stored definition: equal? with hash 1fedcefda3374dfc59977a3495a9ad87bc6af1bd9fdcddb06251d2ce03be4d1b Stored definition: false with hash 6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d Stored definition: filter with hash 405e2d3392993d9468aea06b3bcf91e6102c8f8db0c62929cf883396b482a655 Stored definition: filter_ with hash 3e5ff7a76798d6c876e750c0f5a6ba5cf6e7ebaf435707324f24f399a1607ea7 Stored definition: foldl with hash f1106d9460a9d82fe5f8532a6384dd896b6d8dc8132bd0660bb0a0dfd791f624 Stored definition: foldl_ with hash 2cd7b2040b381664b063f9068c7e3bd2f743b78ec03d6a887f741936f5538aaf Stored definition: foldr with hash eb32e388f0f6fc4eb586de0afba46a97582fe7ee2413eb924280249efab29d7e Stored definition: foldr_ with hash 32c97324971ae42169f7c80d0d2eff71f9638ce63c24dd94fff33ec9c2271d41 Stored definition: head with hash 47e2b3dbc75acaec90ea1cf7e8f86f0a2c251e93f9f93ad11e19fdd1ac23d144 Stored definition: id with hash 1975ba5c190f730b95492109045692963e4b7189b41a8df97ec8e5c4cb3009ac Stored definition: if with hash 515ea305e54594ed9e139de6829b5d5d5b6982776a7de6e0412c1f6d96c277e5 Stored definition: intersect with hash f6038a976b3ed934926616bab09eedeae0941220abfe1b7b7b80d0894262a64c Stored definition: lAnd with hash ca2b5da1e55b80e5c54125a09c0e43cc607e26752e1a0dc6bd8f66c15f56a26e Stored definition: lExist? with hash ac958837f9e4ca1e6d578bffa3cfade55542b52c39a71866ca4e14c70c7c8744 Stored definition: lOr with hash 95db4904506ee84b79654eec0df73e1b3f28eda6594f142cf7fd46e398305c8d Stored definition: last with hash 6db2ccfdb1506395e3399d4a9774d63053e7798f1f7c36b1a8669ffab6e7b821 Stored definition: length with hash 3bf9bd1eb5b93fd0c1e4301b51d819bbcb4a66225da4358afe15badcc7cceb73 Stored definition: map with hash a6e70c9b77c3e3e76fdcffe47a1970ca7614829c1bfbd666f837f12299949e4e Stored definition: map_ with hash 1414ab59c1b5ea1f3446868c23e5e2aa2f42c9cb3d89afacc87d070f60fe1509 Stored definition: match with hash 09ed8bafef0b12f19dea9db7bb0f879ca188194a02141cad7286983df4afee7a Stored definition: matchBool with hash 24e30b47dfd73ad9896ebb4be100c30dfe9289e550ae2937d44d990768fcf37b Stored definition: matchList with hash 967f8a68eaa218765b006fc1fe4dc29c1bd1acd061785c2ccb89aa6d2e5a49a2 Stored definition: matchPair with hash d81fe96dc500bc43e1cd5800bef9d72b3d030bdb7e860e10c522e4246b30bd93 Stored definition: match_ with hash b5046b8730a917e765284db5c6d282b4eb55ece84d670ce4cecc801f196d682c Stored definition: not? with hash 48bd73072883674f2456550fd4190f66aa1fc5d2b4b6216e122938354a212682 Stored definition: or? with hash 4e7ac9723bcfa1f3854e8593c904c14015b1d163ab07ad3dc693e04f946a4dd5 Stored definition: otherwise with hash 7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8 Stored definition: pair with hash 6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d Stored definition: reverse with hash 924474a605edf4173bb3d90cb9013090d5ab17f8fca9f14f1206ad3662d3370b Stored definition: snoc with hash 93412efe3183df453947ffc8f25f7e9fceed6d1966ea83315f0febb185ba1534 Stored definition: succ with hash 19c536bfc05767046631361485f2f4d0c00c084b97455cf3b2991fddca315440 Stored definition: tail with hash eb1780345f9345bc98ca8e344dfaf8320cae3c70865386ae5e1a99908b196bcb Stored definition: test with hash 08a6dc67ae8e5a4367a35ea46c158eea395aa72f05172c898b87c064b2841a98 Stored definition: triage with hash 931b2d1771478ec31a00b80da0d03c922f8527390db3eff76f8a0f4f302c9e54 Stored definition: true with hash 47dc540c94ceb704a23875c11273e16bb0b8a87aed84de911f2133568115f254 Stored definition: xor? with hash 57ba80928077d26e3f39424c794ceb6dd02eaf45a46ff0dcc125c195eed03d16 Stored definition: y with hash 668d4eec988d6831b8481f95bb182e686622a15ec9d3fb4c0b0183e6ce27df11 Imported 46 definitions successfully tricu < !versions Term name: match Versions of match: 1. b5046b8730a917e765284db5c6d282b4eb55ece84d670ce4cecc801f196d682c (2025-05-26 13:57:18) 2. 09ed8bafef0b12f19dea9db7bb0f879ca188194a02141cad7286983df4afee7a (2025-05-26 13:57:17) 3. 24e30b47dfd73ad9896ebb4be100c30dfe9289e550ae2937d44d990768fcf37b (2025-05-26 13:57:17) 4. 967f8a68eaa218765b006fc1fe4dc29c1bd1acd061785c2ccb89aa6d2e5a49a2 (2025-05-26 13:57:17) 5. d81fe96dc500bc43e1cd5800bef9d72b3d030bdb7e860e10c522e4246b30bd93 (2025-05-26 13:57:17) ```
Author
Owner

I was doing %name% lookups in the database, resolved in 6780b242b1

I was doing %name% lookups in the database, resolved in 6780b242b1
James closed this issue 2025-05-26 14:05:15 +00:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: James/tricu#23
No description provided.