7c3a3fd · elk · git.iko.soy

git.iko.soy/elk

Merge pull request #1070 from elm-lang/dev

Merge in some syntax simplifications and some improved/new error messages

commit7c3a3fd5f435cbaf950cc17baec87567bd458014 authorEvan Czaplicki <info@elm-lang.org> dateMon 28 Sep 2015, 16:44 (11 years ago) parent62a3cfb 42b7187

5 files changed+96−61

compare with master

unifiedsplit

src/Elm/Package.hs+24−20 src/Parse/Expression.hs+8−32 src/Parse/Helpers.hs+3−3 src/Reporting/Error/Syntax.hs+22 src/Validate.hs+39−6

src/Elm/Package.hs+24−20

@@ -164,26 +164,28 @@ versionToString (Version major minor patch) =

164164 show major ++ "." ++ show minor ++ "." ++ show patch

165165

166166

167−versionFromString :: String -> Maybe Version

167+versionFromString :: String -> Either String Version

168168versionFromString string =

169− case splitNumbers string of

170− Just [major, minor, patch] ->

171− Just (Version major minor patch)

172− _ -> Nothing

173− where

174− splitNumbers :: String -> Maybe [Int]

175− splitNumbers ns =

176− case span Char.isDigit ns of

177− ("", _) ->

178− Nothing

169+ case splitNumbers string of

170+ Just [major, minor, patch] ->

171+ Right (Version major minor patch)

172+ _ ->

173+ Left "Must have format MAJOR.MINOR.PATCH (e.g. 1.0.2)"

174+ where

175+ splitNumbers :: String -> Maybe [Int]

176+ splitNumbers ns =

177+ case span Char.isDigit ns of

178+ ("", _) ->

179+ Nothing

179180

180− (numbers, []) ->

181− Just [ read numbers ]

181+ (numbers, []) ->

182+ Just [ read numbers ]

182183

183− (numbers, '.':rest) ->

184− (read numbers :) <$> splitNumbers rest

184+ (numbers, '.':rest) ->

185+ (read numbers :) <$> splitNumbers rest

185186

186− _ -> Nothing

187+ _ ->

188+ Nothing

187189

188190

189191instance Binary Version where

@@ -198,11 +200,13 @@ instance FromJSON Version where

198200 parseJSON (String text) =

199201 let string = T.unpack text in

200202 case versionFromString string of

201− Just v -> return v

202− Nothing ->

203+ Right v ->

204+ return v

205+

206+ Left problem ->

203207 fail $ unlines

204− [ "Dependency file has an invalid version number: " ++ string

205− , "Must have format MAJOR.MINOR.PATCH (e.g. 0.1.2)"

208+ [ "Ran into an invalid version number: " ++ string

209+ , problem

206210 ]

207211

208212 parseJSON _ =

src/Parse/Expression.hs+8−32

@@ -103,7 +103,7 @@ parensTerm =

103103 A.at start end (E.rawVar x)

104104

105105 opFn =

106− do (start, op, end) <- located anyOp

106+ do (start, op, end) <- located symOp

107107 return $

108108 lambda start end "x" $

109109 lambda start end "y" $

@@ -249,19 +249,13 @@ caseExpr =

249249 e <- padded expr

250250 reserved "of"

251251 whitespace

252− E.Case e <$> (with <|> without)

252+ E.Case e <$> block (do c <- case_ ; whitespace ; return c)

253253 where

254254 case_ =

255255 do p <- Pattern.expr

256256 padded rightArrow

257257 (,) p <$> expr

258258

259− with =

260− brackets (semiSep1 (case_ <?> "cases { x -> ... }"))

261−

262− without =

263− block (do c <- case_ ; whitespace ; return c)

264−

265259

266260-- LET

267261

@@ -296,7 +290,7 @@ definition :: IParser Source.Def

296290definition =

297291 addLocation $

298292 withPos $

299− do (name:args) <- defStart

293+ do (name, args) <- defStart

300294 padded equals

301295 body <- expr

302296 return . Source.Definition name $ makeFunction args body

@@ -307,27 +301,9 @@ makeFunction args body@(A.A ann _) =

307301 foldr (\arg body' -> A.A ann $ E.Lambda arg body') body args

308302

309303

310−defStart :: IParser [P.RawPattern]

304+defStart :: IParser (P.RawPattern, [P.RawPattern])

311305defStart =

312− choice

313− [ do pattern <- try Pattern.term

314− infics pattern <|> func pattern

315− , do opPattern <- addLocation (P.Var <$> parens symOp)

316− func opPattern

317− ]

318− <?> "the definition of a variable (x = ...)"

319− where

320− func pattern =

321− case pattern of

322− A.A _ (P.Var _) ->

323− (pattern:) <$> spacePrefix Pattern.term

324−

325− _ ->

326− return [pattern]

327−

328− infics p1 =

329− do (start, o:p, end) <- try (whitespace >> located anyOp)

330− p2 <- (whitespace >> Pattern.term)

331− let opName =

332− if o == '`' then takeWhile (/='`') p else o:p

333− return [ A.at start end (P.Var opName), p1, p2 ]

306+ expecting "the definition of a value (x = ...)" $

307+ do starter <- try Pattern.term <|> addLocation (P.Var <$> parens symOp)

308+ args <- spacePrefix Pattern.term

309+ return (starter, args)

src/Parse/Helpers.hs+3−3

@@ -119,7 +119,7 @@ anyOp =

119119symOp :: IParser String

120120symOp =

121121 do op <- many1 (satisfy Help.isSymbol)

122− guard (op `notElem` [ "=", "..", "->", "--", "|", "\8594", ":" ])

122+ guard (op `notElem` [ "=", "..", "->", "--", "|", ":" ])

123123 case op of

124124 "." -> notFollowedBy lower >> return op

125125 _ -> return op

@@ -129,12 +129,12 @@ symOp =

129129

130130equals :: IParser String

131131equals =

132− string "=" <?> "="

132+ string "=" <?> "an equals sign '='"

133133

134134

135135rightArrow :: IParser String

136136rightArrow =

137− string "->" <|> string "\8594" <?> "->"

137+ string "->" <?> "an arrow '->'"

138138

139139

140140hasType :: IParser String

src/Reporting/Error/Syntax.hs+22

@@ -15,6 +15,8 @@ import qualified Reporting.Report as Report

1515

1616data Error

1717 = Parse [Parsec.Message]

18+ | BadFunctionName Int

19+ | BadPattern String

1820 | InfixDuplicate String

1921 | TypeWithoutDefinition String

2022 | PortWithoutAnnotation String

@@ -34,6 +36,26 @@ toReport dealiaser err =

3436 Parse messages ->

3537 parseErrorReport messages

3638

39+ BadFunctionName arity ->

40+ Report.simple

41+ "BAD FUNCTION DEFINITION"

42+ "Complex patterns cannot be used as function names."

43+ ( "This function definition has " ++ show arity ++ " arguments, but instead of a normal name like\n"

44+ ++ "`add` or `reverse` it has a pattern. There is no way to \"deconstruct\" a\n"

45+ ++ "function with pattern matching, so this needs to be changed to a normal name."

46+ )

47+

48+ BadPattern name ->

49+ Report.simple

50+ "BAD PATTERN"

51+ ("The free variable `" ++ name ++ "` appears more than once in this pattern.")

52+ ( "Rename the variables so there are no duplicates.\n\n"

53+ ++ "In Elm, pattern matching works by binding these free variables to subsections\n"

54+ ++ "of the matching value. It does not make sense to have the same name for two\n"

55+ ++ "different subsections though! When you say `" ++ name ++ "` in some code, there\n"

56+ ++ "is no way for me to know which subsection you mean!"

57+ )

58+

3759 InfixDuplicate opName ->

3860 Report.simple

3961 "INFIX OVERLAP"

src/Validate.hs+39−6

@@ -7,7 +7,7 @@ import qualified Data.Set as Set

77import qualified Data.Foldable as F

88import qualified Data.Traversable as T

10−import AST.Expression.General

10+import AST.Expression.General as Expr

1111import qualified AST.Expression.Source as Source

1212import qualified AST.Expression.Valid as Valid

1313import qualified AST.Declaration as D

@@ -92,8 +92,9 @@ defHelp comment (A.A region def) decls =

9292 in

9393 case def of

9494 Source.Definition pat expr ->

95− do expr' <- Validate.expression expr

95+ do expr' <- expression expr

9696 let def' = Valid.Definition pat expr' Nothing

97+ checkDefinition def'

9798 addRest def' decls

9899

99100 Source.TypeAnnotation name tipe ->

@@ -101,8 +102,9 @@ defHelp comment (A.A region def) decls =

101102 D.Decl (A.A _ (D.Definition (A.A _

102103 (Source.Definition pat@(A.A _ (Pattern.Var name')) expr)))) : rest

103104 | name == name' ->

104− do expr' <- Validate.expression expr

105+ do expr' <- expression expr

105106 let def' = Valid.Definition pat expr' (Just tipe)

107+ checkDefinition def'

106108 addRest def' rest

107109

108110 _ ->

@@ -130,7 +132,7 @@ portHelp comment region port decls =

130132 case decls of

131133 D.Decl (A.A _ (D.Port (D.PortDefinition name' expr))) : rest

132134 | name == name' ->

133− do expr' <- Validate.expression expr

135+ do expr' <- expression expr

134136 let port' = D.Out name expr' tipe

135137 addRest port' rest

136138

@@ -157,6 +159,7 @@ definitionsHelp sourceDefs =

157159 A.A _ (Source.Definition pat expr) : rest ->

158160 do expr' <- expression expr

159161 let def = Valid.Definition pat expr' Nothing

162+ checkDefinition def

160163 (:) def <$> definitionsHelp rest

161164

162165 A.A region (Source.TypeAnnotation name tipe) : rest ->

@@ -165,12 +168,32 @@ definitionsHelp sourceDefs =

165168 | name == name' ->

166169 do expr' <- expression expr

167170 let def = Valid.Definition pat expr' (Just tipe)

171+ checkDefinition def

168172 (:) def <$> definitionsHelp rest'

169173

170174 _ ->

171175 Result.throw region (Error.TypeWithoutDefinition name)

172176

173177

178+checkDefinition :: Valid.Def -> Result.Result wrn Error.Error ()

179+checkDefinition (Valid.Definition pattern body _) =

180+ case fst (Expr.collectLambdas body) of

181+ [] ->

182+ return ()

183+

184+ args ->

185+ case pattern of

186+ A.A _ (Pattern.Var _) ->

187+ return ()

188+

189+ _ ->

190+ let

191+ (A.A start _) = pattern

192+ (A.A end _) = last args

193+ in

194+ Result.throw (R.merge start end) (Error.BadFunctionName (length args))

195+

196+

174197-- VALIDATE EXPRESSIONS

175198

176199expression :: Source.Expr -> Result.Result wrn Error.Error Valid.Expr

@@ -181,7 +204,9 @@ expression (A.A ann sourceExpression) =

181204 return (Var x)

182205

183206 Lambda pattern body ->

184− Lambda pattern <$> expression body

207+ Lambda

208+ <$> validatePattern pattern

209+ <*> expression body

185210

186211 Binop op leftExpr rightExpr ->

187212 Binop op

@@ -191,7 +216,7 @@ expression (A.A ann sourceExpression) =

191216 Case e branches ->

192217 Case

193218 <$> expression e

194− <*> T.traverse second branches

219+ <*> T.traverse (\(p,b) -> (,) <$> validatePattern p <*> expression b) branches

195220

196221 Data name args ->

197222 Data name <$> T.traverse expression args

@@ -267,6 +292,14 @@ both (expr1, expr2) =

267292 (,) <$> expression expr1 <*> expression expr2

268293

269294

295+-- VALIDATE PATTERNS

296+

297+validatePattern :: Pattern.RawPattern -> Result.Result wrn Error.Error Pattern.RawPattern

298+validatePattern pattern =

299+ do detectDuplicates Error.BadPattern (Pattern.boundVars pattern)

300+ return pattern

301+

302+

270303-- DETECT DUPLICATES

271304

272305detectDuplicates