Tony Morris

Surely not without whole-program analysis. eg: "test = get >>= put" get here has no one L-value unless you're lucky and its only used once?

@takeoutweight replace get with (\s -> (s,s)) and you’re fine

@psygnisfive Sure! You're aware of the proper denotation of the term "get" in this context. Same can be done for ML that's all I'm saying

@takeoutweight except that’s NOT a proper denotation. it’s not a denotation at all. its purely syntactic equality at work here

@psygnisfive This syntactic inlining works in ML too? replace a call to "myfunc(a : int ref) ... a := 3" with a := 3 (mod alpha renames)

@takeoutweight i’m not sure that’s analogous. the correct analogy should be to inline 3 in place of a

@psygnisfive No, you're not allowed to keep the L-var and R-vars distinct in Haskell but mix them up in ML. "get" evaluates to 3 sometimes