Hi
I don't know if any actual language does this,
What, that is strict and would like to inline things for performance? There is a reason they can't do this.
but your inlining problem can be solved by letting _|_ = arbitrary behaivor.
So would you allow folding? (inlining = unfolding) i.e. replacing defined behaviour with _|_? And how many equational reasoning steps do you have to go, before your program is totally different? Equational reasoning is easier in a lazy language. Thanks Neil _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
