From: "Erdi, Gergo" To: 'GHC' CC: "Montelatici, Raphael Laurent" Subject: mkIfaceTc panics with "lookupVers1" Thread-Topic: mkIfaceTc panics with "lookupVers1" Thread-Index: Add3u1q1Hhdib6IdTVCEsMPKuxyDqw== Date: Tue, 13 Jul 2021 08:02:09 +0000 Message-ID: Content-Language: en-US X-MS-Has-Attach: yes X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 msip_labels: MSIP_Label_ebbfc019-7f88-4fb6-96d6-94ffadd4b772_Enabled=True; =?utf-8?q?MSIP=5FLabel=5Febbfc019-7f88-4fb6-96d6-94ffadd4b772=5FSiteId=3Db4?= =?utf-8?q?4900f1-2def-4c3b-9ec6-9020d604e19e=3B?= MSIP_Label_ebbfc019-7f88-4fb6-96d6-94ffadd4b772_Owner=1402529@zone1.scb.net; =?utf-8?q?MSIP=5FLabel=5Febbfc019-7f88-4fb6-96d6-94ffadd4b772=5FSetDate=3D2?= =?utf-8?q?021-07-13T08=3A02=3A07=2E9314275Z=3B?= MSIP_Label_ebbfc019-7f88-4fb6-96d6-94ffadd4b772_Name=Public; MSIP_Label_ebbfc019-7f88-4fb6-96d6-94ffadd4b772_Application=Microsoft Azure Information Protection; =?utf-8?q?MSIP=5FLabel=5Febbfc019-7f88-4fb6-96d6-94?= =?utf-8?q?ffadd4b772=5FActionId=3D60819b34-15dc-4225-9eed-387205bf22fb=3B?= MSIP_Label_ebbfc019-7f88-4fb6-96d6-94ffadd4b772_Extended_MSFT_Method=Manual x-ms-exchange-organization-originalclientipaddress: 165.225.112.211 x-ms-exchange-organization-originalserveripaddress: 2603:1096:203:b2::20 x-ms-exchange-organization-submissionquotaskipped: False Content-Type: multipart/mixed; boundary="_006_HK0PR03MB486781A43223F5B68C7743F0E9149HK0PR03MB4867apcp_" MIME-Version: 1.0 --_006_HK0PR03MB486781A43223F5B68C7743F0E9149HK0PR03MB4867apcp_ Content-Type: multipart/alternative; boundary="_000_HK0PR03MB486781A43223F5B68C7743F0E9149HK0PR03MB4867apcp_" --_000_HK0PR03MB486781A43223F5B68C7743F0E9149HK0PR03MB4867apcp_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable PUBLIC Hi, I'm trying to use `mkIfaceTc` to make a ModIface from the results of typech= ecking. Everything goes well until it gets to `makeFullIface`, where it fai= ls to find some imported fingerprints: hello: hello: panic! (the 'impossible' happened) (GHC version 9.0.1: lookupVers1 MyPrim Foo Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler/GHC/Utils/Outputable.hs:1230:37 in g= hc-lib-9.0.1.20210623-3xx7a2u7IkN9vKAnkscROb:GHC.Utils.Outputable pprPanic, called at compiler/GHC/Iface/Recomp.hs:1455:19 in ghc-lib-9= .0.1.20210623-3xx7a2u7IkN9vKAnkscROb:GHC.Iface.Recomp I am using the GHC API to load my modules differently than what GHC itself = does; I am attaching the full code, but perhaps to note is that I am creati= ng ModSummarys one by one and then typechecking and adding them to the modu= leNameProviderMap in dependency order. Also, I am using `downsweep` directl= y instead of `depanal`, because the latter's `flushFinderCaches` was breaki= ng my inter-unit imports. Because the attached code is a minimized version of something larger, some = parts of it may seem to be doing things in a roundabout way but that's beca= use in the real program all those degrees of freedom are used. In case that= matters, the only packages in my package DB are rts, ghc-prim-0.7.0 and g= hc-bignum-1.0. So my question is basically, what am I doing wrong? Why is fingerprinting f= ailing on `Top.hs`'s import of `MyPrim.hs`, and how do I fix that, while st= ill keeping this total control over when and how modules are typechecked an= d loaded? Thanks, Gergo --_000_HK0PR03MB486781A43223F5B68C7743F0E9149HK0PR03MB4867apcp_ Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

PUBLIC

Hi,

I’m trying to use `mkIfaceTc` to make a ModIfac= e from the results of typechecking. Everything goes well until it gets to `= makeFullIface`, where it fails to find some imported fingerprints:

hello: hello: panic! (the = 'impossible' happened)

(GHC version 9.0.1:=

&n= bsp; lookupVers1

MyPrim Foo

Call stack:

CallSta= ck (from HasCallStack):

&n= bsp; callStackDoc, called at compiler/GHC/Utils/Outputable.hs:1230:37 in gh= c-lib-9.0.1.20210623-3xx7a2u7IkN9vKAnkscROb:GHC.Utils.Outputable=

&n= bsp; pprPanic, called at compiler/GHC/Iface/Recomp.hs:1455:19 in ghc-lib-9.= 0.1.20210623-3xx7a2u7IkN9vKAnkscROb:GHC.Iface.Recomp

I am using the GHC API = to load my modules differently than what GHC itself does; I am attaching th= e full code, but perhaps to note is that I am creating ModSummarys one by one and then typechecking and adding them to the module= NameProviderMap in dependency order. Also, I am using `downsweep` directly = instead of `depanal`, because the latter’s `flushFinderCaches` was br= eaking my inter-unit imports.

Because the attached co= de is a minimized version of something larger, some parts of it may seem to= be doing things in a roundabout way but that’s because in the real program all those degrees of freedom are used. In case= that matters, the only packages in my package DB are rts, ghc-prim-0= .7.0 and ghc-bignum-1.0.

So my question is basic= ally, what am I doing wrong? Why is fingerprinting failing on `Top.hs`̵= 7;s import of `MyPrim.hs`, and how do I fix that, while still keeping this total control over when and how modules are typechecked= and loaded?

Thanks,

= ; Gergo

--_000_HK0PR03MB486781A43223F5B68C7743F0E9149HK0PR03MB4867apcp_-- --_006_HK0PR03MB486781A43223F5B68C7743F0E9149HK0PR03MB4867apcp_ Content-Type: application/octet-stream; name="Top.hs" Content-Description: Top.hs Content-Disposition: attachment; filename="Top.hs"; size=83; creation-date="Tue, 13 Jul 2021 07:55:00 GMT"; modification-date="Tue, 13 Jul 2021 08:02:09 GMT" Content-Transfer-Encoding: base64 ey0jIExBTkdVQUdFIE5vSW1wbGljaXRQcmVsdWRlICMtfQptb2R1bGUgVG9wIHdoZXJlCgppbXBv cnQgTXlQcmltCgp4IDo6IEZvbwp4ID0geAo= --_006_HK0PR03MB486781A43223F5B68C7743F0E9149HK0PR03MB4867apcp_ Content-Type: application/octet-stream; name="Main.hs" Content-Description: Main.hs Content-Disposition: attachment; filename="Main.hs"; size=4236; creation-date="Tue, 13 Jul 2021 07:55:00 GMT"; modification-date="Tue, 13 Jul 2021 08:02:09 GMT" Content-Transfer-Encoding: base64 bW9kdWxlIE1haW4gKG1haW4pIHdoZXJlCgppbXBvcnQgcXVhbGlmaWVkIFBhdGhzX2doY19saWIg YXMgR0hDCmltcG9ydCBQYXRoc19oZWxsbwoKaW1wb3J0IEdIQyBoaWRpbmcgKGxvYWRNb2R1bGUp CmltcG9ydCBHSEMuRHJpdmVyLk1vbmFkCmltcG9ydCBHSEMuRHJpdmVyLlNlc3Npb24KaW1wb3J0 IEdIQy5Vbml0LlN0YXRlCmltcG9ydCBHSEMuVW5pdC5UeXBlcwppbXBvcnQgR0hDLlVuaXQuTW9k dWxlLk5hbWUKaW1wb3J0IEdIQy5Vbml0Lk1vZHVsZS5FbnYKaW1wb3J0IEdIQy5Ecml2ZXIuVHlw ZXMKaW1wb3J0IEdIQy5Ecml2ZXIuTWFrZQppbXBvcnQgR0hDLlRjLlR5cGVzCmltcG9ydCBxdWFs aWZpZWQgRGF0YS5NYXAgYXMgTQppbXBvcnQgQ29udHJvbC5Nb25hZAppbXBvcnQgRGF0YS5NYXli ZQppbXBvcnQgR0hDLklmYWNlLk1ha2UKaW1wb3J0IEdIQy5VdGlscy5FcnJvcgppbXBvcnQgR0hD LkRhdGEuQmFnCmltcG9ydCBEYXRhLkVpdGhlcgppbXBvcnQgU3lzdGVtLkZpbGVQYXRoCmltcG9y dCBHSEMuRGF0YS5GYXN0U3RyaW5nCgpteVVuaXRJZCA6OiBVbml0SWQKbXlVbml0SWQgPSBVbml0 SWQgJCBmc0xpdCAibXktdW5pdCIKCm15VW5pdCA6OiBVbml0Cm15VW5pdCA9IFJlYWxVbml0IChE ZWZpbml0ZSBteVVuaXRJZCkKCm1haW4gOjogSU8gKCkKbWFpbiA9IGRvCiAgICBsaWJkaXIgPC0g R0hDLmdldERhdGFEaXIKICAgIHJ1bkdoYyAoSnVzdCBsaWJkaXIpICQgZG8KICAgICAgICBzZXR1 cAoKICAgICAgICBsZXQgZmlsZVRhcmdldCBtb2QgPSBUYXJnZXQKICAgICAgICAgICAgICAgIHsg dGFyZ2V0SWQgPSBUYXJnZXRGaWxlICgiaW5wdXQvbG9va3VwVmVyczEvIiA8PiBtb2R1bGVOYW1l U2xhc2hlcyBtb2QgPD4gIi5ocyIpIE5vdGhpbmcKICAgICAgICAgICAgICAgICwgdGFyZ2V0QWxs b3dPYmpDb2RlID0gRmFsc2UKICAgICAgICAgICAgICAgICwgdGFyZ2V0Q29udGVudHMgPSBOb3Ro aW5nCiAgICAgICAgICAgICAgICB9CgogICAgICAgIHNldFRhcmdldHMgW10KICAgICAgICBsZXQg cHJlcGFyZSB1bml0IG1vZCA9IGRvCiAgICAgICAgICAgICAgICBhZGRUYXJnZXQgJCBmaWxlVGFy Z2V0IG1vZAoKICAgICAgICAgICAgICAgIChlcnJzLCBtc3MpIDwtIGRvCiAgICAgICAgICAgICAg ICAgICAgZW52IDwtIGdldFNlc3Npb24KICAgICAgICAgICAgICAgICAgICBlbnYgPC0gcmV0dXJu ICQgc2V0SG9tZVVuaXQgKHRvVW5pdElkIHVuaXQpIGVudgogICAgICAgICAgICAgICAgICAgIGxp ZnRJTyAkIHBhcnRpdGlvbkVpdGhlcnMgPCQ+IGRvd25zd2VlcCBlbnYgW10gW10gRmFsc2UKICAg ICAgICAgICAgICAgIHJlcG9ydEVycm9ycyBlcnJzCgogICAgICAgICAgICAgICAgbGV0IG1lbnYg PSBta01vZHVsZUVudiBbKG1zX21vZCBtcywgbXMpIHwgbXMgPC0gbXNzXQoKICAgICAgICAgICAg ICAgIHJldHVybiAkIGZyb21NYXliZSAoZXJyb3IgJCB1bndvcmRzIFsibG9va3VwTW9kdWxlRW52 IiwgdW5pdFN0cmluZyB1bml0LCBtb2R1bGVOYW1lU3RyaW5nIG1vZF0pICQKICAgICAgICAgICAg ICAgICAgICBsb29rdXBNb2R1bGVFbnYgbWVudiAkIG1rTW9kdWxlIHVuaXQgbW9kCgogICAgICAg IGxldCBsb2FkIG1zID0gZG8KICAgICAgICAgICAgICAgIC0tIExvYWRpbmcgZGVwZW5kZW5jaWVz IGhhcyBjaGFuZ2VkIHRoZSB1bml0U3RhdGUsIHNvIHdlCiAgICAgICAgICAgICAgICAtLSBuZWVk IHRvIHJlZnJlc2ggdGhlIG9uZSBzdG9yZWQgaW4gdGhlIE1vZFN1bW1hcnkKICAgICAgICAgICAg ICAgIG1zIDwtIGRvCiAgICAgICAgICAgICAgICAgICAgdXMgPC0gdW5pdFN0YXRlIC4gaHNjX2Rm bGFncyA8JD4gZ2V0U2Vzc2lvbgogICAgICAgICAgICAgICAgICAgIHJldHVybiAkIHdpdGhVbml0 U3RhdGUgdXMgbXMKICAgICAgICAgICAgICAgIChpZmFjZSwgZGV0YWlscykgPC0gcHJlcGFyZVNv dXJjZSBtcwogICAgICAgICAgICAgICAgbW9kaWZ5U2Vzc2lvbiAkIHJlZ2lzdGVyTW9kdWxlIGlm YWNlIGRldGFpbHMKCiAgICAgICAgbXMxIDwtIHByZXBhcmUgbWFpblVuaXQgJCBta01vZHVsZU5h bWUgIlRvcCIKICAgICAgICBtczIgPC0gcHJlcGFyZSBteVVuaXQgJCBta01vZHVsZU5hbWUgIk15 UHJpbSIKICAgICAgICBsb2FkIG1zMgogICAgICAgIGxvYWQgbXMxCgogICAgICAgIGxpZnRJTyAk IHB1dFN0ckxuICJBbGwgZG9uZS4iCgpyZXBvcnRFcnJvcnMgOjogKEdoY01vbmFkIG0pID0+IFtF cnJvck1lc3NhZ2VzXSAtPiBtICgpCnJlcG9ydEVycm9ycyBlcnJzID0gZG8KICAgIGVycnMgPC0g cmV0dXJuICQgdW5pb25NYW55QmFncyBlcnJzCiAgICB1bmxlc3MgKGlzRW1wdHlCYWcgZXJycykg JCB0aHJvd0Vycm9ycyBlcnJzCgpwcmVwYXJlU291cmNlCiAgICA6OiAoR2hjTW9uYWQgbSkKICAg ID0+IE1vZFN1bW1hcnkKICAgIC0+IG0gKE1vZElmYWNlLCBNb2REZXRhaWxzKQpwcmVwYXJlU291 cmNlIG1zID0gZG8KICAgIHBtb2QgPC0gcGFyc2VNb2R1bGUgbXMKICAgIHRtb2QgPC0gdHlwZWNo ZWNrTW9kdWxlIHBtb2QKCiAgICBsZXQgKHRjZywgZGV0YWlscykgPSB0bV9pbnRlcm5hbHNfIHRt b2QKICAgIGVudiA8LSBnZXRTZXNzaW9uCiAgICBpZmFjZSA8LSBsaWZ0SU8gJCBta0lmYWNlVGMg ZW52IFNmX0lnbm9yZSBkZXRhaWxzIHRjZwogICAgcmV0dXJuIChpZmFjZSwgZGV0YWlscykKCnNl dHVwIDo6IChHaGNNb25hZCBtKSA9PiBtICgpCnNldHVwID0gZG8KICAgIGJhc2VEaXIgPC0gbGlm dElPIGdldERhdGFEaXIKICAgIGxldCBwa2dEYiA9IGJhc2VEaXIgPC8+ICJnaGMtcGFja2FnZXMv cGFja2FnZS5jb25mLmQiCgogICAgZGZsYWdzIDwtIGdldFNlc3Npb25EeW5GbGFncwogICAgZGZs YWdzIDwtIHJldHVybiAkIGdvcHRfc2V0IGRmbGFncyBPcHRfTm9UeXBlYWJsZUJpbmRzCiAgICBk ZmxhZ3MgPC0gcmV0dXJuICQgZGZsYWdzeyBoc2NUYXJnZXQgPSBIc2NOb3RoaW5nIH0KICAgIGRm bGFncyA8LSByZXR1cm4gJCBkZmxhZ3N7IHBhY2thZ2VEQkZsYWdzID0gW1BhY2thZ2VEQiAkIFBr Z0RiUGF0aCBwa2dEYiwgQ2xlYXJQYWNrYWdlREJzXSB9CiAgICBkZmxhZ3MgPC0gbGlmdElPICQg aW5pdFVuaXRzIGRmbGFncwogICAgbW9kaWZ5U2Vzc2lvbiAkIFxlbnYgLT4gZW52eyBoc2NfZGZs YWdzID0gZGZsYWdzIH0KCnNldEhvbWVVbml0IDo6IFVuaXRJZCAtPiBIc2NFbnYgLT4gSHNjRW52 CnNldEhvbWVVbml0IHVuaXRJZCBlbnYgPSBlbnYKICAgIHsgaHNjX2RmbGFncyA9IChoc2NfZGZs YWdzIGVudikKICAgICAgICB7IGhvbWVVbml0SWQgPSB1bml0SWQKICAgICAgICB9CiAgICB9Cgpt b2RpZnlVbml0U3RhdGUgOjogKFVuaXRTdGF0ZSAtPiBVbml0U3RhdGUpIC0+IEhzY0VudiAtPiBI c2NFbnYKbW9kaWZ5VW5pdFN0YXRlIGYgZW52ID0gZW52CiAgICB7IGhzY19kZmxhZ3MgPSBsZXQg ZGZsYWdzID0gaHNjX2RmbGFncyBlbnYgaW4gZGZsYWdzCiAgICAgICAgeyB1bml0U3RhdGUgPSBm ICh1bml0U3RhdGUgZGZsYWdzKQogICAgICAgIH0KICAgIH0KCnJlZ2lzdGVyTW9kdWxlIDo6IE1v ZElmYWNlIC0+IE1vZERldGFpbHMgLT4gSHNjRW52IC0+IEhzY0VudgpyZWdpc3Rlck1vZHVsZSBp ZmFjZSBkZXRhaWxzID0gZXh0ZW5kSFBUIC4gYWRkTW9kdWxlCiAgd2hlcmUKICAgIG1vZF9pbmZv ID0gSG9tZU1vZEluZm8gaWZhY2UgZGV0YWlscyBOb3RoaW5nCgogICAgbW9kID0gbWlfbW9kdWxl IGlmYWNlCiAgICBtb2RPcmlnID0gTW9kT3JpZ2luIChKdXN0IFRydWUpIFtdIFtdIFRydWUKCiAg ICBhZGRNb2R1bGUgPSBtb2RpZnlVbml0U3RhdGUgJCBcdXMgLT4gdXMKICAgICAgICB7IG1vZHVs ZU5hbWVQcm92aWRlcnNNYXAgPSBNLmluc2VydCAobW9kdWxlTmFtZSBtb2QpIChNLnNpbmdsZXRv biBtb2QgbW9kT3JpZykgJCBtb2R1bGVOYW1lUHJvdmlkZXJzTWFwIHVzCiAgICAgICAgfQoKICAg IGV4dGVuZEhQVCBlbnYgPSBlbnZ7IGhzY19IUFQgPSBocHQsIGhzY190eXBlX2Vudl92YXIgPSBO b3RoaW5nIH0KICAgICAgd2hlcmUKICAgICAgICBocHQgPSBhZGRUb0hwdCAoaHNjX0hQVCBlbnYp IChtb2R1bGVOYW1lIG1vZCkgbW9kX2luZm8KCgp3aXRoVW5pdFN0YXRlIDo6IFVuaXRTdGF0ZSAt PiBNb2RTdW1tYXJ5IC0+IE1vZFN1bW1hcnkKd2l0aFVuaXRTdGF0ZSB1cyBtcyA9IG1zCiAgICB7 IG1zX2hzcHBfb3B0cyA9IChtc19oc3BwX29wdHMgbXMpCiAgICAgICAgeyB1bml0U3RhdGUgPSB1 cwogICAgICAgIH0KICAgIH0K --_006_HK0PR03MB486781A43223F5B68C7743F0E9149HK0PR03MB4867apcp_ Content-Type: application/octet-stream; name="MyPrim.hs" Content-Description: MyPrim.hs Content-Disposition: attachment; filename="MyPrim.hs"; size=89; creation-date="Tue, 13 Jul 2021 07:55:00 GMT"; modification-date="Tue, 13 Jul 2021 08:02:09 GMT" Content-Transfer-Encoding: base64 ey0jIExBTkdVQUdFIE5vSW1wbGljaXRQcmVsdWRlICMtfQptb2R1bGUgTXlQcmltCiAgICAoIEZv bwogICAgKSB3aGVyZQoKZGF0YSBGb28gPSBNa0Zvbwo= --_006_HK0PR03MB486781A43223F5B68C7743F0E9149HK0PR03MB4867apcp_--