Rule could not be type checked

Question

Rule could not be type checked

eelcovisser opened this issue 8 years ago · 4 comments

Rule could not be type checked. This is a bug, please report it.

after adding the tuple result

  Program(_, fdecls, instrs) -init-> (v, H, FS)
  where
    fdecls --> FD; 
    table(instrs) --> JT; 
    FD, JT |- instrs :: H {}, FS [] : FrameStack -eval-> v :: H, FS.

eelcovisser commented 8 years ago

yes

Answer 1 · 2016-12-08T08:18:58.000Z

Thanks for the report. What is the type of the init arrow?

Answer 2 · 2016-12-08T08:18:59.000Z

The issue: arrow was declared to return a Value (I changed the type for the wrong arrow). So, it seems the type checker has a problem with tuple types here.

Answer 3 · 2016-12-08T08:21:41.000Z

So it died instead of saying "tuple thing is not a Value"?

…

On 8 Dec 2016, at 09:19, Eelco Visser ***@***.***> wrote: The issue: arrow was declared to return a Value (I changed the type for the wrong arrow). So, it seems the type checker has a problem with tuple types here. — You are receiving this because you commented. Reply to this email directly, view it on GitHub, or mute the thread.