Commit 46e53b2a authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Extended external Prelude for KiCS2 with toCurryString function

parent 8d220100
......@@ -553,6 +553,9 @@ instance ConvertCurryHaskell ct ht =>
fromCurry (C_Just x) = Just (fromCurry x)
fromCurry _ = error "KiCS2 error: Maybe data with no ground term occurred"
toCurryString :: String -> OP_List C_Char
toCurryString = toCurry
-- -----------------------------------------------------------------------------
-- Auxiliary operations for showing lists
-- -----------------------------------------------------------------------------
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment