Ticket #18 (closed defect: fixed)

Opened 4 years ago

Last modified 4 years ago

UnpackedPoly fails to translate into well-scoped Grin

Reported by: SamB Owned by:
Priority: critical Milestone: 0.7
Component: Grin Version: HEAD
Keywords: Cc:
Test Case: UnpackedPoly

Description

For some reason, UnpackedPoly happens to tickle some bug in Grin.FromE right now and cause it to generate Grin that references variables that are not in scope. At the very least, FromE is making some undocumented assumptions about the form of the E -- if so, they should be documented and checked.

Change History

Changed 4 years ago by anonymous

Well, it looks like the "instance ToVal? TVr" in Grin.FromE isn't really very safe --if the TVr refers to a global variable, the resulting Grin value won't make any sense.

The (_, EVar etvr) case in the code that handles ECase is where it's being called from in this case. I would provide more detail, but my computer just sponta-rebooted again.

Changed 4 years ago by SamB

Oh, that last comment was actually me. I had forgotten to log in.

Changed 4 years ago by SamB

  • status changed from new to closed
  • resolution set to fixed

I fixed this a while ago. Wonder why I didn't close it?

Note: See TracTickets for help on using tickets.