source-academy/js-slang

Importing an undefined symbol does not throw error

leeyi45 opened this issue · 0 comments

import { undefined_symbol } from 'curve';

The above code in source should throw an error, but currently does not.