Test not passed.

[Milky2018]

The test for lambda calculus example:

Failures:

  src/Interpreter.hs:15:17: 
  1) eval examples/lc.lane
       uncaught exception: ErrorCall
       bug found: How does this happen? Code 3
       expression type: $tv11 constructor type: forall A :: *. (((->) A) (Option A))
       args: ["e"]
       bug found: How does this happen? Code 3
       expression type: $tv2 constructor type: forall A :: *. (((->) A) (Option A))
       args: ["v"]
       CallStack (from HasCallStack):
         error, called at src/Interpreter.hs:15:17 in Lane-0.1.5-K67eLpwmnjRDh74SSTZWZ9:Interpreter

And I have no idea why.