From a5bd28bab4f19ab32b70702c323be0db13abc8ba Mon Sep 17 00:00:00 2001 From: Adam Sampson Date: Mon, 7 Apr 2008 23:36:53 +0000 Subject: [PATCH] Use a sensible NameType for names converted to unscoped. This is because the code that finds free names looks at the NameType -- which it certainly shouldn't. --- frontends/OccamTypes.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/OccamTypes.hs b/frontends/OccamTypes.hs index 47372cc..e7566a1 100644 --- a/frontends/OccamTypes.hs +++ b/frontends/OccamTypes.hs @@ -890,7 +890,7 @@ inferTypes = applyExplicitM10 doExpression doDimension doSubscript nameToUnscoped :: A.Name -> PassM A.Name nameToUnscoped n@(A.Name m nt _) = do nd <- lookupName n - findUnscopedName (A.Name m nt (A.ndOrigName nd)) + findUnscopedName (A.Name m A.FieldName (A.ndOrigName nd)) -- | Process a 'LiteralRepr', taking the type it's meant to represent or -- 'Infer', and returning the type it really is.