diff --git a/test/typecheck.js b/test/typecheck.js index 152707cc..90d33cec 100644 --- a/test/typecheck.js +++ b/test/typecheck.js @@ -204,6 +204,7 @@ describe('typechecking completions', () => { 1. Set _a_ to ! ExampleAlg(). 1. Return ? ExampleAlg(). 1. Return ? ExampleAlg(). + 1. Return ? ! ExampleAlg(). 1. Let _foo_ be 0. 1. Set _a_ to Completion(ExampleSDO of _foo_). 1. Set _a_ to Completion(ExampleSDO of _foo_ with argument 0).