shriram / smol

The SMoL (Standard Model of Languages) Family of Languages
15 stars 3 forks source link

[#lang smol/hof] pair is happy with lambdas, mpair is not #7

Closed LuKuangChen closed 3 years ago

LuKuangChen commented 3 years ago

For #lang smol/hof, when I evaluate

(pair (lambda () 0) 0)

it gives me an immutable pair with a procedure on in the left position as expected, but when I evaluate

(mpair (lambda () 0) 0)

I get the error

Library/Racket/7.8/pkgs/smol/state/semantics.rkt:16:8: application: can't pass a function as an argument in: a