johnwhitington / ocamli

OCaml interpreter
BSD 3-Clause "New" or "Revised" License
99 stars 0 forks source link

Full application of a curried function should not substitute function in #1

Closed johnwhitington closed 8 years ago

johnwhitington commented 8 years ago

See, for example programs/factorialapp.ml

The solution here is to notice a multiple function application, and apply all the arguments at once. We want programs/factorialapp.ml to be as neat as programs/factorial.ml.