search

snu-sf-class / pl201602

SNU 2016 Fall 4190.310 Programming Language
22 stars 10 forks source link

E06_01.v: Error due to missing Import clause #47

Closed iskim517 closed 7 years ago

iskim517 commented 7 years ago

E06_01.v does not import ListNotations, so it just refuses being evaluated.

Please fix it by adding "Import ListNotations."

iskim517 commented 7 years ago

I found a workaround. Changing "Import ListNotations." to "Export ListNotations." in P06.v should solve this problem.

aqjune commented 7 years ago

I updated E06_0n.v files. Thank you.

iskim517 commented 7 years ago

Confirmed. Thank you. Closing.