Mercurial > urweb
comparison lib/ur/basis.urs @ 844:74a1e3bdf430
Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 07 Jun 2009 16:45:00 -0400 |
parents | 44c2c089ca15 |
children | 0d30e6338c65 |
comparison
equal
deleted
inserted
replaced
843:9f0ea203a1ca | 844:74a1e3bdf430 |
---|---|
23 val eq_float : eq float | 23 val eq_float : eq float |
24 val eq_string : eq string | 24 val eq_string : eq string |
25 val eq_char : eq char | 25 val eq_char : eq char |
26 val eq_bool : eq bool | 26 val eq_bool : eq bool |
27 val eq_time : eq time | 27 val eq_time : eq time |
28 val eq_option : t ::: Type -> eq t -> eq (option t) | |
28 val mkEq : t ::: Type -> (t -> t -> bool) -> eq t | 29 val mkEq : t ::: Type -> (t -> t -> bool) -> eq t |
29 | 30 |
30 class num | 31 class num |
31 val zero : t ::: Type -> num t -> t | 32 val zero : t ::: Type -> num t -> t |
32 val neg : t ::: Type -> num t -> t -> t | 33 val neg : t ::: Type -> num t -> t -> t |