What is a good way to create contexts for testing purposes? My instinct is to use the context parser to take "TmName:Type" strings and extend the context with the pair that is returned from the parser. However, my implementation of typeCheck demands two contexts.
Should I create separate "gamma" and "delta" contexts that are tailored to my test cases?
What is a good way to create contexts for testing purposes? My instinct is to use the context parser to take "TmName:Type" strings and extend the context with the pair that is returned from the parser. However, my implementation of typeCheck demands two contexts.
Should I create separate "gamma" and "delta" contexts that are tailored to my test cases?