Skip to content
Snippets Groups Projects
Commit 7b4c3347 authored by ram's avatar ram
Browse files

Changed CONTINUATION-TN to call CONTINUATION-CHECK-TYPES instead of

rolling its own, so that it doesn't choke when a type check is 
weakened but left simple (which is only known to C-C-T).
parent dfb1d6b0
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