From:  "Fitzgerald, Nick" <nfitzgerald@mozilla.com>
Date:  02 Apr 2013 02:56:57 Hong Kong Time
Newsgroup:  news.mozilla.org/mozilla.dev.js-sourcemap
Subject:  

Re: Proposal: make the "file" attribute optional

NNTP-Posting-Host:  63.245.216.66

Yeah there is no rush, but it just seems like something we should do to 
keep the spec clean and without unnecessary cruft.

For posterity, this came about from this UglifyJS issue: 
https://github.com/mishoo/UglifyJS2/issues/157

On 3/29/13 6:24 PM, John Lenz wrote:
>
> I'm guessing it is ignored now for in browser uses. I assume a dummy 
> value also works so there is no hurry.
>
> On Mar 26, 2013 9:59 AM, "Fitzgerald, Nick"  > wrote:
>
>     Generally, if you are consuming a source map, then you know which
>     file it belongs to. How else did you get the source map?
>
>     Can anyone think of a reason why it shouldn't be optional?
>
>     Nick
>     _______________________________________________
>     dev-js-sourcemap mailing list
>     dev-js-sourcemap@lists.mozilla.org
>     
>     https://lists.mozilla.org/listinfo/dev-js-sourcemap
>