1
0
forked from GitHub/gf-core

multimodality exx

This commit is contained in:
aarne
2004-04-29 04:03:19 +00:00
parent 69aece7b30
commit 75148ff9f6
7 changed files with 104 additions and 19 deletions

View File

@@ -3,9 +3,10 @@
concrete TimetableEng of Timetable = open Prelude in {
lin
MkTable cs ts = ss (["trains on the line from"] ++ cs.s ++ ":" ++ ts.s) ;
MkTable cs ts =
ss (["The following trains run on the line from"] ++ cs.s ++ "." ++ ts.s) ;
NilTrain _ = ss [] ;
ConsTrain cs n t ts = ss (n.s ++ ":" ++ t.s ++ ";") ;
ConsTrain cs n t ts = ss (n.s ++ ":" ++ t.s ++ "." ++ ts.s) ;
OneCity c = c ;
ConsCity c cs = ss (c.s ++ "to" ++ cs.s) ;
@@ -16,7 +17,7 @@ concrete TimetableEng of Timetable = open Prelude in {
CityTrain c s cs t = ss (c.s ++ s.s ++ "," ++ t.s) ;
T i = prefixSS "at" i ;
N n = prefixSS "train" n ;
N n = prefixSS "Train" n ;
C s = s ;
}