diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-11-01 17:19:12 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-01 17:19:12 -0400 |
commit | 9a22207b565607db64f95dda5fdc1c9e56224ec9 (patch) | |
tree | fcd5c44e383db901b132519ee9a953101bcb7b04 /lib/basis.urs | |
parent | 36a9df5f71b954949b92520c6e472548aa5ebfb1 (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 |