KiCS2-REPL generates malicious code when using `getAllValues` and named free variables
The following expression yields a failure in the REPL.
> getAllValues (show (x :: Bool)) where x free
Curry_Main_Goal.curry, line 4.50: Error:
Unexpected token `where'
The generated Curre_Main_Goal
-file looks as follows.
{-# OPTIONS_CYMAKE -W no-missing-signatures #-}
import Findall
kics2MainGoal = (getAllValues (show (x :: Bool)) where x free) Prelude.>>= Prelude.print
Since non-determinism is not allowed in IO, I think that there are no other examples that behave in a similar way (except for other encapsulation functions that live in IO).