blob: dfd755da612da1004d8ec304f9a40bb39c1438e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
The command has indeed failed with message:
In environment
x : T
T : Type
a : T
Unable to unify "T" with "?X@{x0:=x; x:=C a}" (cannot instantiate
"?X" because "T" is not in its scope: available arguments are
"x" "C a").
The command has indeed failed with message:
The term "id" has type "ID" while it is expected to have type
"Type -> ?T" (cannot instantiate "?T" because "A" is not in its scope).
|
