@@ -54,11 +54,7 @@ type BC =
5454
5555>>> :{
5656let
57− definition :: Definition
58− '[ "abc" ::: 'Table ABC ]
59− '[ "abc" ::: 'Table ABC
60− , "bc" ::: 'View BC
61− ]
57+ definition :: Definition '["abc" ::: 'Table ABC ] '["abc" ::: 'Table ABC, "bc" ::: 'View BC]
6258 definition =
6359 createView #bc (select (#b :* #c :* Nil) (from (table #abc)))
6460in printSQL definition
@@ -67,11 +63,7 @@ CREATE VIEW "bc" AS SELECT "b" AS "b", "c" AS "c" FROM "abc" AS "abc";
6763
6864>>> :{
6965let
70− definition :: Definition
71− '[ "abc" ::: 'Table ABC
72− , "bc" ::: 'View BC
73− ]
74− '[ "abc" ::: 'Table ABC ]
66+ definition :: Definition '["abc" ::: 'Table ABC, "bc" ::: 'View BC] '["abc" ::: 'Table ABC]
7567 definition = dropView #bc
7668in printSQL definition
7769:}
@@ -79,10 +71,7 @@ DROP VIEW "bc";
7971
8072>>> :{
8173let
82− query :: Query
83− '[ "abc" ::: 'Table ABC
84− , "bc" ::: 'View BC
85− ] '[] BC
74+ query :: Query '["abc" ::: 'Table ABC, "bc" ::: 'View BC] '[] BC
8675 query = selectStar (from (view #bc))
8776in printSQL query
8877:}