~gcrosswhite/privateer/1.0

Committer: Gregory Crosswhite
Date: 2009-04-20 23:22:32 UTC
Revision ID: gcross@phys.washington.edu-20090420232232-ph1u9fmudz66pylp

Modified the code to use the stream fusion library, and also to kill lines in the source starting with "#" so that they don't confuse the parser.

files modified:
Privateer.cabal

src/Common.hs

src/Pass1.hs

src/Pass2.hs

src/Privatization.hs

src/privateer.hs

Show diffs side-by-side

added added

removed removed

src/Common.hs

-- @<< Imports >>

-- @+node:gcross.20090205185536.3:<< Imports >>

import Prelude hiding ((++))

import Language.C

import Data.Map

import Data.Sequence

import Data.Data

import Data.Generics

import Data.List

import qualified Data.List as List

import Data.List.Stream

import qualified Data.List.Stream as List

import Text.PrettyPrint

-- @nonl

113

115

-- @+node:gcross.20090127221948.4:extractStorage

114

116

extractStorage :: [CDeclSpec] -> (Maybe CStorageSpec, [CDeclSpec])

115

117

extractStorage specs =

116

let (storage_specs, rest_specs) = Data.List.partition storageFilter specs

118

let (storage_specs, rest_specs) = List.partition storageFilter specs

117

119

maybe_storage_spec =

118

120

case storage_specs of

119

121

[] -> Nothing

Older »