blob: 11ec8eaeca13816c499552cc32961ddb2c7e1b59 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
implementation module ABC.Descriptors
import StdEnv
import ABC.Machine
import ABC.Misc
d_ap_entry :: Desc -> InstrId
d_ap_entry (Desc e _ _) = e
d_arity :: Desc -> Arity
d_arity (Desc _ a _) = a
d_name :: Desc -> String
d_name (Desc _ _ n) = n
ds_get :: DescId DescStore -> Desc
ds_get 0 [d:_] = d
ds_get _ [] = abortn "ds_get: index too large"
ds_get i [_:s] = ds_get (i-1) s
ds_init :: [Desc] -> DescStore
ds_init ds = ds
|
