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 | e7ee2c10c91252731665373f3fe01f43adfeed72 (patch) | |
| tree | fcd5c44e383db901b132519ee9a953101bcb7b04 /lib | |
| parent | c166040950300c72de0b4091b837cd2d9bf76567 (diff) | |
Fix some type-class detection
Diffstat (limited to 'lib')
| -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 |