SHARE
TWEET

Untitled

tinyevil Jul 18th, 2019 64 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. typeclass integer<T> {
  2.     to_int(val: T) -> i32;
  3. }
  4.  
  5. instance integer<i32> {
  6.     to_int(val: i32) -> i32 { return val; }
  7. }
  8.  
  9. fn foo(x: T, y: T) -> i64 | integer<T>;
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!
 
Top