diff options
| author | bjorn <bjorn@bringert.net> | 2008-08-14 07:58:04 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-08-14 07:58:04 +0000 |
| commit | 77270a010a0b453e9a84c3e62db7cfd22e49d55d (patch) | |
| tree | d17682a545d6ac1e68ff49b8c20964182794baf7 /grammars/video/System/specSystem.gf | |
| parent | 0bbb906141711767678f82b15a7b43e65e0b5bd6 (diff) | |
Remove the grammars directory. It was full of old grammars that don't compile these days. See the old source distributions if you want them.
Diffstat (limited to 'grammars/video/System/specSystem.gf')
| -rw-r--r-- | grammars/video/System/specSystem.gf | 59 |
1 files changed, 0 insertions, 59 deletions
diff --git a/grammars/video/System/specSystem.gf b/grammars/video/System/specSystem.gf deleted file mode 100644 index 0b5f6957e..000000000 --- a/grammars/video/System/specSystem.gf +++ /dev/null @@ -1,59 +0,0 @@ --- File name System/specific.Abs.gf - -abstract specSystem = specific, genSystem ** { - -cat -StartTimeQ ; -EndTimeQ ; -ChToStoreQ ; -WdToStoreQ ; - -fun -confirmRecJob : Action -> DMove; ----- vcr_add_rec_job_no_args : Action ; -- spela in! moved to specific - -q_lambdaActionDel : DelAction -> WHQuestion ; - --- Time in question -startTimeToStoreQ : Time -> StartTimeQ ; -endTimeToStoreQ : Time -> EndTimeQ ; - ---- Channel and Weekday in question -channelToStoreQ : Channel -> ChToStoreQ ; -weekdayToStoreQ : Weekday -> WdToStoreQ ; - ---- WHQuestions --- Lambdas -q_lambdaStartTime : StartTime -> WHQuestion ; -q_lambdaEndTime : EndTime -> WHQuestion ; -q_lambdaWeekday : WdToStore -> WHQuestion ; -q_lambdaChannel : ChToStore -> WHQuestion ; - - ---- Constructions for ynquestions -ynQuST : StartTimeQ -> YNQuestion ; -ynQuET : EndTimeQ -> YNQuestion ; -ynQuCH : ChToStoreQ -> YNQuestion ; -ynQuWD: WdToStoreQ -> YNQuestion ; - - ---- Props -startTimeToStoreProp : StartTime -> Prop ; -endTimeToStoreProp : EndTime -> Prop ; -channelToStoreProp : ChToStore -> Prop ; -weekdayToStoreProp : WdToStore -> Prop ; - - -cat -ChannelList ; -Channels ; -ChannelAction ; - -fun -channelListing : Channels -> ChannelList ; -channels1 : Channel -> Channels ; -channels2 : Channel -> Channels -> Channel ; -channelListAction : ChannelList -> ChannelAction ; ---channelListAction : ChannelList -> DMove ; -channelListActionDMove : ChannelAction -> DMove ; - -} |
