Commit bfcfaf3

committed

Add constants to the Module

1 parent 7ef94c0 commit bfcfaf3Copy full SHA for bfcfaf3

File tree

-1

lines changed

-1

lines changed

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -60,6 +60,7 @@ data Module = Module`
`60`	`60`	`-- the existing values, doing so is`
`61`	`61`	`-- rather expensive. And the constructor`
`62`	`62`	`-- might be able to compute these directrly.`
	`63`	`+ , mConsts :: Set Symbol`
`63`	`64`	`, mTypes :: Set Ty`
`64`	`65`	`}`
`65`	`66`	`deriving (Show, Eq, Generic)`

Lines changed: 8 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -477,7 +477,14 @@ parseModule bs = do`
`477`	`477`
`478`	`478`	`typeSet <- Set.fromList <$> askTypeList`
`479`	`479`
`480`		`- return $ Module version triple layout values functionDecl fns typeSet`
	`480`	`+ let isConstant x`
	`481`	`+ \| (V.Constant{}) <- V.symbolValue x = True`
	`482`	`+ \| otherwise = False`
	`483`	`+`
	`484`	`+`
	`485`	`+ constsSet <- Set.fromList . filter isConstant <$> askValueList`
	`486`	`+`
	`487`	`+ return $ Module version triple layout values functionDecl fns constsSet typeSet`
`481`	`488`	`where`
`482`	`489`	`functionBlocks :: [[NBitCode]]`
`483`	`490`	`functionBlocks = [bs' \| (B.FUNCTION, bs') <- blocks bs ]`

Comments

(0)