blob: 278aba16f965d68e63d389c19b33cd2f0909eded (
plain)
1
2
3
4
5
6
7
|
during inst x
position: "./tests/reject/adhoc.lc" (line 4, column 1) - "./tests/reject/adhoc.lc" (line 4, column 23)
x = oneComp :: Vec 4 A
^^^^^^^^^^^^^^^^^^^^^^
during ambcheck x ambiguous type:
(a :: Component (Vec 4 A)) => Vec 4 A
problematic vars: [(t00004,Component (Vec 4 A))]
|
