From c544ef31823c7d2c28c28cae408cca5d71e6978d Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Wed, 21 May 2008 13:10:54 +0000 Subject: use ByteString internally in Ident, CId and Label --- src-3.0/GF/Devel/Grammar/AppPredefined.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src-3.0/GF/Devel/Grammar/AppPredefined.hs') diff --git a/src-3.0/GF/Devel/Grammar/AppPredefined.hs b/src-3.0/GF/Devel/Grammar/AppPredefined.hs index c8d2988fd..2c07b0d83 100644 --- a/src-3.0/GF/Devel/Grammar/AppPredefined.hs +++ b/src-3.0/GF/Devel/Grammar/AppPredefined.hs @@ -53,13 +53,13 @@ typPredefined c@(IC f) = case f of "plus" -> return $ mkFunType [cnPredef "Int",cnPredef "Int"] (cnPredef "Int") ---- "read" -> (P : Type) -> Tok -> P "show" -> return $ mkProds -- (P : PType) -> P -> Tok - ([(identC "P",typePType),(wildIdent,Vr (identC "P"))],typeStr,[]) + ([(identC "P",typePType),(identW,Vr (identC "P"))],typeStr,[]) "toStr" -> return $ mkProds -- (L : Type) -> L -> Str - ([(identC "L",typeType),(wildIdent,Vr (identC "L"))],typeStr,[]) + ([(identC "L",typeType),(identW,Vr (identC "L"))],typeStr,[]) "mapStr" -> let ty = identC "L" in return $ mkProds -- (L : Type) -> (Str -> Str) -> L -> L - ([(ty,typeType),(wildIdent,mkFunType [typeStr] typeStr),(wildIdent,Vr ty)],Vr ty,[]) + ([(ty,typeType),(identW,mkFunType [typeStr] typeStr),(identW,Vr ty)],Vr ty,[]) "take" -> return $ mkFunType [cnPredef "Int",typeStr] typeStr "tk" -> return $ mkFunType [cnPredef "Int",typeStr] typeStr _ -> prtBad "unknown in Predef:" c -- cgit v1.2.3