This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE CPP #-} | |
module CHSTest where | |
import Control.Monad | |
import Foreign | |
import Foreign.C | |
import Foreign.Ptr | |
#c | |
typedef struct { | |
int x; | |
} A; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$cabal build -v2 | |
creating dist/setup | |
./dist/setup/setup build --verbose=2 | |
PackageDescription {package = PackageIdentifier {pkgName = PackageName "fltkhs", pkgVersion = Version {versionBranch = [0,1,0,0], versionTags = []}}, license = MIT, licenseFile = "LICENSE", copyright = "", maintainer = "[email protected]", author = "Aditya Siram", stability = "", testedWith = [], homepage = "http://github.com/deech/fltkc", pkgUrl = "", bugReports = "", sourceRepos = [], synopsis = "FLTK bindings", description = "Low level bindings for the FLTK GUI toolkit.", category = "UI", customFieldsPD = [], buildDepends = [Dependency (PackageName "base") (IntersectVersionRanges AnyVersion (ThisVersion (Version {versionBranch = [4,6,0,1], versionTags = []})))], specVersionRaw = Right (UnionVersionRanges (ThisVersion (Version {versionBranch = [1,8], versionTags = []})) (LaterVersion (Version {versionBranch = [1,8], versionTags = []}))), buildType = Just Custom, library = Just (Library {exposedModules = [ModuleName ["Graphics","U |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: fltkhs | |
version: 0.1.0.0 | |
synopsis: FLTK bindings | |
description: | |
Low level bindings for the FLTK GUI toolkit. | |
license: MIT | |
license-file: LICENSEmc | |
category: UI | |
build-type: Configure | |
cabal-version: >=1.8 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(datatype natnum | |
if (integer? X) | |
if (> X -1) | |
________________ | |
X : (natnum X); | |
(let A (+ X 1)); | |
X : (natnum X); | |
__________ |
NewerOlder