Ticket #5 (closed enhancement: fixed)

Opened 7 years ago

Last modified 6 years ago

Allow pure strings as lincats

Reported by: PeterLjunglof Owned by:
Priority: major Version:
Keywords: Cc:

Description

It will be even simpler to write simpler grammars if we allow lincat's to be Str instead of {s:Str}. And make this the default lincat.

lincat S = Str;
fun s : NP -> VP -> S;
lin s np vp = np.s ++ vp ! np.n;

Plus: the conversion from CFG/EBNF will be even simpler.

Change History

Changed 6 years ago by bringert

  • status changed from new to closed
  • resolution set to fixed

This seems to have been implemented a while ago.

Note: See TracTickets for help on using tickets.