cmake_modules/checkModule.hs
author unc0rr
Mon, 22 Feb 2016 23:49:54 +0300
changeset 11568 7e5d6ce6fe14
parent 10109 91d126fbd7bd
child 12407 cc2163c7750f
permissions -rw-r--r--
Treat #99 point type as a ghost trace

module Main where

import qualified MODULE as M

main = undefined $ M.FUNCTION PARAMETERS