Commit d9842062 authored by sof's avatar sof
Browse files

[project @ 1997-05-26 04:46:42 by sof]

Updated to use new addDeforestInfo interface
parent 9e087fcf
......@@ -18,7 +18,7 @@
> )
> import Digraph ( dfs )
> import Id ( idType, updateIdType,
> getIdInfo, replaceIdInfo, eqId, Id
> addIdDeforestInfo, eqId, Id
> )
> import IdInfo
> import Outputable
......@@ -144,8 +144,7 @@ type of the expression itself.
>
> 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') ->
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment