diff options
author | 2010-12-20 19:28:41 -0500 | |
---|---|---|
committer | 2010-12-20 19:28:41 -0500 | |
commit | 092aff9de00b332bcd813b0c64b00c8681d031ca (patch) | |
tree | ebf76ca34c81803bf8385e4fae1e61bc5bf300d2 /demo/more/bulkEdit.urs | |
parent | 87b8ec32a32ca8dab3f155461d2d74efcfdb2fce (diff) |
Fix manual mistake about '@' notations; remove obsolete demos
Diffstat (limited to 'demo/more/bulkEdit.urs')
-rw-r--r-- | demo/more/bulkEdit.urs | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/demo/more/bulkEdit.urs b/demo/more/bulkEdit.urs deleted file mode 100644 index 0e5d7a6c..00000000 --- a/demo/more/bulkEdit.urs +++ /dev/null @@ -1,24 +0,0 @@ -functor Make(M : sig - con keyName :: Name - con keyType :: Type - val showKey : show keyType - val readKey : read keyType - val injKey : sql_injectable keyType - - con visible :: {(Type * Type)} - constraint [keyName] ~ visible - val folder : folder visible - val visible : $(map Meta.meta visible) - - con invisible :: {Type} - constraint [keyName] ~ invisible - constraint visible ~ invisible - - val title : string - val isAllowed : transaction bool - table t : ([keyName = keyType] ++ map fst visible ++ invisible) - end) : sig - - val main : unit -> transaction page - -end |