Fixed non-exhaustive pattern reference in issue #888
Fixed non-exhaustive pattern reference in issue #888

alphalambda/codeworld,alphalambda/codeworld,alphalambda/codeworld,pranjaltale16/codeworld,pranjaltale16/codeworld,google/codeworld,pranjaltale16/codeworld,google/codeworld,google/codeworld