blob: e7cf71d32444e448ba22fc37de4eefca7897febb (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
module NameCache where
data Name = Name
data NameCache = NameCache !Int !Name
extendOrigNameCache :: Name -> Name -> Name
extendOrigNameCache _ _ = Name
initNameCache :: Int -> [Name] -> NameCache
initNameCache us names
= NameCache us (foldl extendOrigNameCache Name names)
|
