view tests/type_classMod2.ur @ 2062:795b5b75453c

Add 'role' data attribute. Note, that 'role' attribute is a part of reach ARIA API described here: http://www.w3.org/TR/wai-aria/ Among 'role', it defines lots of aria-* attributes
author Sergey Mironov <grrwlf@gmail.com>
date Mon, 07 Jul 2014 10:05:04 +0400
parents 71bafe66dbe1
children
line wrap: on
line source
signature S = sig
        class c
        val default : t :: Type -> c t -> t

        val string_c : c string
        val int_c : c int
end

structure M : S = struct
        class c t = t
        val default = fn t :: Type => fn v : c t => v

        val int_c : c int = 0
        val string_c : c string = "Hi"
end

val hi = M.default [string] _
val zero = M.default [int] _