Skip to content
Snippets Groups Projects
Commit 76e9bdfb authored by dtc's avatar dtc
Browse files

o Recheck the asserted against the proven type for each type in a

  values-type, because the continuation is flagged for a type check
  if any of the types needs to be checked and some may not need checking.

o Split the function no-function-values-types out into a call to values-type
  followed by the new function no-function-types as this later functionality
  is useful on its own.
parent 2213d612
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment