From f473b5ed7cdf46c764e8a77edd8333487c76f31d Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Fri, 22 Apr 2016 23:44:26 +0200 Subject: refactoring: ask less for desugarInfo during parsing; bugfix: fix parser monad stack order --- testdata/nameclash01.reject.out | 25 ++----------------------- 1 file changed, 2 insertions(+), 23 deletions(-) (limited to 'testdata/nameclash01.reject.out') diff --git a/testdata/nameclash01.reject.out b/testdata/nameclash01.reject.out index 2f824e15..e8bdc61d 100644 --- a/testdata/nameclash01.reject.out +++ b/testdata/nameclash01.reject.out @@ -1,24 +1,3 @@ -type error: can not unify -'HList V1 -with -'Image 1 (Color ('VecScalar 1 'Float)) - -in testdata/nameclash01.reject.lc:2:48: +Constructor FrameBuffer is not defined at testdata/nameclash01.reject.lc:2:9: let FrameBuffer = FrameBuffer (colorImage1 1.0) - ^^^ - ------------- trace -!type error: can not unify -'HList V1 -with -'Image 1 (Color ('VecScalar 1 'Float)) - -in testdata/nameclash01.reject.lc:2:48: - let FrameBuffer = FrameBuffer (colorImage1 1.0) - ^^^ - ------------- tooltips -testdata/nameclash01.reject.lc 2:23-2:34 {a : List Type} -> {b : 'sameLayerCounts a} -> HList a -> FrameBuffer (ImageLC ('head Type a)) ('map Type ImageKind GetImageKind a) -testdata/nameclash01.reject.lc 2:36-2:47 {a:Nat} -> {b} -> {c} -> {d : Num b} -> {e : c ~ VecScalar a b} -> c -> Image 1 ('Color c) -testdata/nameclash01.reject.lc 2:36-2:51 Image 1 ('Color (VecScalar 1 Float)) -testdata/nameclash01.reject.lc 2:48-2:51 Float + ^^^^^^^^^^^ -- cgit v1.2.3