diff options
| author | Gabriel Kerneis | 2014-02-13 14:43:58 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-02-13 14:43:58 +0000 |
| commit | 759f32844c82782a038a074be4ccf28b62b72417 (patch) | |
| tree | f41f720bd6b77792b25830df929853e745bae747 /language | |
| parent | 46da9326ddd64e123294ebaa50265db4d1ba9835 (diff) | |
Implement equality for big_int literals
Lem does not infer instances for typeclasses, falling back to
unsafe comparison which does not work for big_int in OCaml.
Diffstat (limited to 'language')
0 files changed, 0 insertions, 0 deletions