idris-1.1.0: test/interpret001/expected

testtest
MkIO (\w => prim_io_pure ()) : IO' (MkFFI C_Types String String) ()