@@ -3872,6 +3872,26 @@ toRecordReport source context record startRow startCol =
3872 \ that is a reserved word. Try using a different name!"
3872 \ that is a reserved word. Try using a different name!"
3875+ Code.Other (Just ',') ->
3877+ surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3878+ region = toRegion row col
3880+ Report.Report "EXTRA COMMA" region [] $
3881+ Code.toSnippet source surroundings (Just region)
3884+ "I am partway through parsing a record, but I got stuck here:"
3888+ "I am seeing two commas in a row. This is the second one!"
3890+ "Just delete one of the commas and you should be all set!"
3891+ , noteForRecordError
3877 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
3897 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
@@ -5237,6 +5257,26 @@ toTRecordReport source context record startRow startCol =
5237 \ that is a reserved word. Try using a different name!"
5257 \ that is a reserved word. Try using a different name!"
5260+ Code.Other (Just ',') ->
5262+ surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
5263+ region = toRegion row col
5265+ Report.Report "EXTRA COMMA" region [] $
5266+ Code.toSnippet source surroundings (Just region)
5269+ "I am partway through parsing a record type, but I got stuck here:"
5273+ "I am seeing two commas in a row. This is the second one!"
5275+ "Just delete one of the commas and you should be all set!"
5276+ , noteForRecordTypeError
5242 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)
5282 surroundings = A.Region (A.Position startRow startCol) (A.Position row col)