refactoring: ask less for desugarInfo during parsing; bugfix: fix parser monad stack order

1 files changed, 2 insertions, 23 deletions

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
+        ^^^^^^^^^^^