Add more kind annotations, following new Ur/Web wildcard restriction …

…for signatures
urweb · Sep 20, 2019 · 44b4f91 · 44b4f91
1 parent 8052f1a
commit 44b4f91
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 9 deletions.
diff --git a/calendar.urs b/calendar.urs
@@ -35,7 +35,7 @@ functor FromTable(M : sig
                       val kinds : $(mapU string times)
                       val sh : show $(map fst3 key)
                   end) : sig
-    con private
+    con private :: (Type * Type * Type)
     con tag = M.tag
     val cal : t (map fst3 M.key) [tag = private]
 end

diff --git a/sql.urs b/sql.urs
@@ -36,7 +36,7 @@ val easy_select : fs ::: {Type}
                   -> qtablename :: Name
                   -> sql_table fs ks
                   -> sql_exp [qtablename = fs] [] [] bool
-                  -> sql_order_by [qtablename = _] []
+                  -> sql_order_by [qtablename = fs] []
                   -> sql_query [] [] [qtablename = fs] [] 
 
 (* Easy table insert with constants *)

diff --git a/todo.urs b/todo.urs
@@ -39,7 +39,7 @@ functor WithDueDate(M : sig
                         val allowAnyUser : bool
                         (* Only one user, not necessarily this one, needs to have done the task. *)
                     end) : sig
-    con private
+    type private
     con tag = M.tag
     val todo : t M.key [tag = private]
 end
@@ -87,7 +87,7 @@ functor WithForeignDueDate(M : sig
                                val title : string
                                val render : $(key ++ subkey) -> string (* username *) -> xbody
                            end) : sig
-    con private
+    type private
     con tag = M.tag
     val todo : t (M.key ++ M.subkey) [tag = private]
 end
@@ -120,7 +120,7 @@ functor WithCompletionFlag(M : sig
                                val title : string
                                val render : $(key ++ subkey) -> string (* username *) -> xbody
                     end) : sig
-    con private
+    type private
     con tag = M.tag
     val todo : t (M.key ++ M.subkey) [tag = private]
 end
@@ -154,7 +154,7 @@ functor WithCompletionFlagAndDueDate(M : sig
                                          val title : string
                                          val render : $(key ++ subkey) -> string (* username *) -> xbody
                     end) : sig
-    con private
+    type private
     con tag = M.tag
     val todo : t (M.key ++ M.subkey) [tag = private]
 end
@@ -184,7 +184,7 @@ functor Happenings(M : sig
                        val title : string
                        val render : $key -> xbody
                    end) : sig
-    con private
+    type private
     con tag = M.tag
     val todo : t M.key [tag = private]
 end
@@ -227,7 +227,7 @@ functor Grading(M : sig
                     val title : string
                     val render : $([guser = string] ++ akey) -> string (* username *) -> xbody
                 end) : sig
-    con private
+    type private
     con tag = M.tag
     con guser = M.guser
     val todo : t ([guser = string] ++ M.akey) [tag = private]

diff --git a/ui.urs b/ui.urs
@@ -3,7 +3,7 @@ type context
 
 (* A general type of GUI units, which can be composed and dropped into pages.
  * The parameter is the unit's state, which should be generated on the server. *)
-type t a = {
+type t (a :: Type) = {
      Create : transaction a,
      Onload : a -> transaction unit,
      Render : context -> a -> xbody