search

gracelang / language

Design of the Grace language and its libraries
GNU General Public License v2.0
6 stars 1 forks source link

It's impossible to refer to sections of the language spec #65

Closed apblack closed 8 years ago

apblack commented 8 years ago

Since we moved to markdown, it's impossible to refer to sections of the Spec.

For example, I was just going to add to the issue about - on types a reference to the section of the spec that describes it — and I don't know how.

This, to me, is a show-stopper issue. When I recommended switching to markdown, I assumed that there was a way of doing section references, but I just hadn't had time to find it. Someone has to figure out how to do this, and if it's not possible, then I think we have to stick with LaTeX.

Daan Leijen or Norman Ramsey may be able to help us. I just don't have any more time for this.

kjx commented 8 years ago

I'll look at this

kjx commented 8 years ago

This seems to work for me - https://github.com/gracelang/language/blob/master/spec.md#types-types -

goto the spec file, hover over the headers, and you see a link icon in the left-hand margin.

Can I close this?

apblack commented 8 years ago

Yes, you can close this, so long as we will only ever refer to the spec on github. That seems limiting to me, but I'm too exhausted to argue the point.

Github seems to provide links only to headings, and not to bullets.

For ease of access, I believe that the spec should be broken into multiple files, one per section.

kjx commented 8 years ago

I haven't yet started in on the spec. once the semantics of inheritace/traits/uses/are done is my plan

Once we're actually editing it, I guess we'll find out what works and what doesn't. I'm happy with multiple files.