Updated to use new addDeforestInfo interface
> )
> import Digraph ( dfs )
> import Id ( idType, updateIdType,
> )
> import Digraph ( dfs )
> import Id ( idType, updateIdType,
-> getIdInfo, replaceIdInfo, eqId, Id
+> addIdDeforestInfo, eqId, Id
> )
> import IdInfo
> import Outputable
> )
> import IdInfo
> import Outputable
>
> newDefId type_of_f `thenUs` \f' ->
> let
>
> newDefId type_of_f `thenUs` \f' ->
> let
-> f = replaceIdInfo f'
-> (addDeforestInfo (getIdInfo f') DoDeforest)
+> f = addIdDeforestInfo f' DoDeforest
> in
> loop ((f,e,val_args,ty_args):ls) e1
> `thenUs` \res@(ls',bs,bls,e') ->
> in
> loop ((f,e,val_args,ty_args):ls) e1
> `thenUs` \res@(ls',bs,bls,e') ->