Agda-2.3.2.2: test/fail/CantOpenConstructorsFromRecordModule.err

CantOpenConstructorsFromRecordModule.agda:14,7-10
Not in scope:
  foo
  at CantOpenConstructorsFromRecordModule.agda:14,7-10
when scope checking foo