stanford-ppl/Green-Marl — Issue #3: MAC compilation
Author: hongsup
Created: 2012-01-24 20:19:28+00:00
State: open

on Mac machines, type checker fails. Must be missing return statement somewhere.