diff options
author | 2008-11-01 17:19:12 -0400 | |
---|---|---|
committer | 2008-11-01 17:19:12 -0400 | |
commit | e7ee2c10c91252731665373f3fe01f43adfeed72 (patch) | |
tree | fcd5c44e383db901b132519ee9a953101bcb7b04 /lib/basis.urs | |
parent | c166040950300c72de0b4091b837cd2d9bf76567 (diff) |
Fix some type-class detection
Diffstat (limited to 'lib/basis.urs')
-rw-r--r-- | lib/basis.urs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/basis.urs b/lib/basis.urs index a344b3ce..ca81c95f 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -56,6 +56,7 @@ val show_float : show float val show_string : show string val show_bool : show bool val show_time : show time +val mkShow : t ::: Type -> (t -> string) -> show t class read val read : t ::: Type -> read t -> string -> option t |