fork download
copy 
  1. I specified a tup which is a tuple aka (a' * a') and this is the line im getting in error in with my pattern matching
  2.     | tup (x,y) -> tup (map f x, map f y)
  3.  
  4. Error: This expression has type ('a * 'a)                                                     
  5. but an expression was expected of type 'b * 'c
Not running #stdin #stdout 0s 0KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
https://ideone.com/kU4Uq
language:
Text (text 6.10)
created:
12 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!