The tiny program

check:
  nothing
end

Produces the following error message on the command line:

Well-formedness: (at file:///home/blerner/pyret-lang/test1.arr:2:2-2:9) A standalone variable name probably isn't intentional. srcloc(file:///home/blerner/pyret-lang/test1.arr, 2, 2, 9, 2, 9, 16)

The extra srcloc(...) isn't needed. There's a bunch of these ED.cmcode(self.loc) expressions in many of the wf-errors' render-reason methods.