Skip to content
Browse files

Correct nameType for constructors in patterns

Ignore-this: 4a5ad8182107862a7bfab447948ab661

darcs-hash:20100416205827-228f4-27d2dab9a71b4863d67efa80f731aa9c2d9c8d6d.gz
  • Loading branch information...
1 parent 613fef1 commit 4fde4423bcab7347f5b22bc068c411420e2296e5 eb committed Apr 16, 2010
Showing with 1 addition and 1 deletion.
  1. +1 −1 Ivor/TT.lhs
View
2 Ivor/TT.lhs
@@ -919,7 +919,7 @@ Give a parseable but ugly representation of a term.
> (view (Term (ret, (Ind TTCore.Star))))
> mkCAFpat tm = PClause [] [] (view (Term (tm, (Ind TTCore.Star))))
> viewPat (PVar n) = Name Bound n --(name (show n))
-> viewPat (PCon t n ty ts) = VTerm.apply (Name Bound (name (show n))) (map viewPat ts)
+> viewPat (PCon t n ty ts) = VTerm.apply (Name DataCon (name (show n))) (map viewPat ts)
> viewPat (PConst c) = Constant c
> viewPat _ = Placeholder

0 comments on commit 4fde442

Please sign in to comment.
Something went wrong with that request. Please try again.