Missing list type inference in semantic components

[Vlad Vergu]

In the following example the type of [] is not automatically inferred unless the type annotation is present:

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