Actually those file paths are automatically generated but still will add a panic-please-file-bug-report message




On Aug 11, 2013, at 2:47 AM, Eric Seidel <notifications@github.com> wrote:

> In Language/Haskell/Liquid/GhcInterface.hs:
> 
> >    | isExtFile Hs file    = hsSpecificationP name file str
> >    | isExtFile LHs file   = hsSpecificationP name file str
> > -  | otherwise            = errorstar $ "specParser: Cannot Parse File " ++ file
> > +  | otherwise            = errorstar $ "SpecParser: Cannot Parse File " ++ file
> Perhaps we can use the edit-distance code here to suggest an actual filename since this indicates a typo in the command-line options or in the filename itself?
> 
> —
> Reply to this email directly or view it on GitHub.