5.7.4 - All variable uses defined

Open jlouis opened this issue 8 years ago • 1 comments

Variable uses should propagate into Fragments as well. This is related to #70 and should probably be handled in the same patch. Many of the things can be pushed around in the type checker if you start building "function specifications" for fragments.

Jun 30 '17 11:06 jlouis

The "function specifications" on fragments are type signatures for fragments. This is handled in #107 after which we can simply solve this by building the appropriate test cases.

Oct 31 '17 13:10 jlouis