Skip to content

Instantly share code, notes, and snippets.

@bvssvni
Created April 17, 2014 19:10
Show Gist options
  • Save bvssvni/11005427 to your computer and use it in GitHub Desktop.
Save bvssvni/11005427 to your computer and use it in GitHub Desktop.
./Main.idr:2:27: error: not a
terminator, expected: "$", "$>",
"&&", "*", "+", "++", "-", "->",
".", "/", "/=", "::", ";", "<",
"<$", "<$>", "<*>", "<+>",
"<->", "<<", "<=", "<|>", "==",
">", ">=", ">>", ">>=", "`",
"||",
ambiguous use of a left-associative operator,
ambiguous use of a non-associative operator,
ambiguous use of a right-associative operator,
end of input, function argument
numTuple : Num a => Num b => a -> b -> (a, b)
numTuple : Num a => Num b => a -> b -> (a, b)
numTuple x y = (a, b)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment