Skip to content
Snippets Groups Projects
Commit 230a84a2 authored by Michael Hanus's avatar Michael Hanus
Browse files

Adapted to new currypp version

parent aba0f687
Branches
Tags
No related merge requests found
Pipeline #352 failed
......@@ -8,7 +8,7 @@
------------------------------------------------------------------------------
{-# OPTIONS_CYMAKE -F --pgmF=currypp --optF=foreigncode #-}
import Data.Format as Format -- required in the pre-processed program
import Data.Format -- required in the pre-processed program
-- Format a string and an integer:
ex1 :: String -> Int -> IO ()
......
......@@ -9,7 +9,7 @@
------------------------------------------------------------------------------
{-# OPTIONS_CYMAKE -F --pgmF=currypp --optF=foreigncode #-}
import Data.Format as Format -- required in the pre-processed program
import Data.Format -- required in the pre-processed program
import Test.Prop
-- Format a string and an integer:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment