Modern Programming Languages - Chapter 18 Exercise 5

Write two ML functions f and g that demonstrate that ML does not implement function calls using macro expansion. Your f should call only g, and your g should make no calls. Explain the results macro expansion would give for your function, and show the results ML actually gives.