trackler 2.1.0.8 → 2.1.0.9

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: ec2f4cd34dfc7dbf52cf1d8e4cb28988645c49c9
-  data.tar.gz: 3fa1693a233cbe8577a1de5471837c46c0f39fc8
+  metadata.gz: c4641a9164d7c10684cccf03044f43ec746c4652
+  data.tar.gz: af6cf2aff8d93a5ec110a2c65fe5676f90e836d8
 SHA512:
-  metadata.gz: 8a826abb1418180c655acbdd990a0648ff01f5bd516bf93a706713355616fa12c278d0d919448c78a016ab893c28416ccb3e5a3e1f14d2fa4b979dfcb02f2ba8
-  data.tar.gz: 60d261785db5d911a5912626b78b98d25de0cb9bff6f8e14e02a4a190bef45d35d6c90fde343a813a024dfc83aced2856e8e4d1a2fc36706bc9f0f6dd9ead423
+  metadata.gz: ed95dff49c3c7509719cc4a8d8abfe8ef26c9f4e39869b2eccf934f077357c6d6a1446fe93433c609d8cf474a6e3756bdc26cc573aeefaac6045e13d4ceee25a
+  data.tar.gz: 03373c698f08a120bab897e8613e7da90e00c8455044c86d774494d338e6e083308dc7fb5f8827a857e15b0989ba81422183e614787dc6e99c1e60e77252a61b

data/.gitmodules

@@ -175,3 +175,6 @@
 [submodule "tracks/clojurescript"]
 	path = tracks/clojurescript
 	url = https://github.com/exercism/xclojurescript
+[submodule "tracks/coq"]
+	path = tracks/coq
+	url = https://github.com/exercism/xcoq

data/lib/trackler/version.rb

@@ -1,3 +1,3 @@
 module Trackler
-  VERSION = "2.1.0.8"
+  VERSION = "2.1.0.9"
 end

data/tracks/coq/.git

@@ -0,0 +1 @@
+gitdir: ../../.git/modules/tracks/coq

data/tracks/coq/.github/PULL_REQUEST_TEMPLATE.md

@@ -0,0 +1,23 @@
+Thank you for this PR! :tada:
+
+When we review your submission we will check the following:
+
+- [ ] TODO: Update this list based on the appropriate checks for this specific track
+- [ ] No trailing whitespace nor extraneous blank lines
+- [ ] Proper indentation and consistent code formatting
+- [ ] Free from spelling and grammatical errors
+- [ ] Readable code style
+- [ ] Exemplifies the idioms of {{LANGUAGE}}
+- [ ] Absence of non-standard libraries
+- [ ] No extraneous configuration files
+- [ ] Free of development/debug artifacts such as `puts`, `console.log`, or `debugger` calls
+
+If you are submitting a new exercise, we will compare your submission to the common guidelines set out for the exercise in [x-common](https://github.com/exercism/x-common/tree/master/exercises).
+
+Your submission will be run through a series of automated tests and checks. The outcome will be displayed below. In addition to the test suite, the following issues are automatically checked:
+
+- TODO: Update this list based on the linting available for this specific track
+- No trailing whitespace nor extraneous blank lines
+- Proper indentation and consistent code formatting
+- Spelling and grammatical errors
+- Compiler and deprecation warnings

data/tracks/coq/.gitignore

@@ -0,0 +1,4 @@
+*.swp
+.DS_Store
+bin/configlet
+bin/configlet.exe

data/tracks/coq/.travis.yml

@@ -0,0 +1,5 @@
+language: bash
+
+script:
+  - bin/fetch-configlet
+  - bin/configlet .

data/tracks/coq/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2017 Exercism, Inc
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

data/tracks/coq/README.md

@@ -0,0 +1,84 @@
+# Exercism Coq Track
+
+![build status](https://travis-ci.org/exercism/xslug.svg?branch=master)
+
+Exercism exercises in Coq.
+
+## Setup
+
+
+
+There are 2 ways to insal Coq:
+
+1. [Recommened] Using OPAM package manger: https://coq.inria.fr/opam/www/using.html
+2. [Alternative] Direct download Coq binaries from the official site: https://coq.inria.fr/download
+
+For editing Coq sources we recomend using one of the following:
+1. [Recommened] Emacs editor with ProofGenera] and CompanyCoq. See https://github.com/cpitclaudel/company-coq) for instalation instructions.
+2. [Alternative] Using CoqIDE
+
+Presently, exercises do not require any additional Coq libraries.
+Recommended version of Coq: 8.6
+
+## Contributing
+
+Thank you so much for contributing! :tada:
+
+Please start by reading how to [get involved in a track](https://github.com/exercism/exercism.io/blob/master/docs/getting-involved-in-a-track.md). Comprehensive details on contributing can be found [here](https://github.com/exercism/x-common/blob/master/CONTRIBUTING.md). Be sure to read the Exercism [Code of Conduct](https://github.com/exercism/exercism.io/blob/master/CODE_OF_CONDUCT.md).
+
+We welcome pull requests of all kinds. No contribution is too small.
+
+We encourage contributions that provide fixes and improvements to existing exercises. Please note that this track's exercises must conform to the standards determined in the [exercism/x-common](https://github.com/exercism/x-common) repo. Changes to the tests or documentation of a common exercise will often warrant a PR in that repo before it can be incorporated into this track's exercises. If you're unsure, then go ahead and open a GitHub issue, and we'll discuss the change.
+
+## Exercise Tests ##
+
+At the most basic level, Exercism is all about the tests. They drive the user's implementation forward and tell them when the exercise is complete.
+
+The utmost care and attention should be used when adding or making changes to the tests for an exercise. When implementing an exercise test suite, we want to provide a good user experience for the people writing a solution to the exercise. People should not be confused or overwhelmed.
+
+We simulate Test-Driven Development (TDD) by implementing the tests in order of increasing complexity. We try to ensure that each test either
+
+- helps triangulate a solution to be more generic, or
+- requires new functionality incrementally.
+
+Test files should use the following format:
+
+```
+# include the body of an example test
+```
+
+## Submitting a Pull Request ##
+
+Please keep the following in mind:
+
+- Pull requests should be focused on a single exercise, issue, or change.
+
+- We welcome changes to code style, and wording. Please open a separate PR for these changes if possible.
+
+- Please open an issue before creating a PR that makes significant (breaking) changes to an existing exercise or makes changes across many exercises. It is best to discuss these changes before doing the work. Discussions related to exercises that are not track specific can be found in [exercism/discussions](https://github.com/exercism/discussions/issues).
+
+- Follow the coding standards for Coq. (If there is a formatter for the track's language, add instructions for using it here.)
+
+- Watch out for trailing spaces, extra blank lines, and spaces in blank lines.
+
+- All the tests for Coq exercises can be run from the top level of the repo with ... Please run this command before submitting your PR.
+
+## Contributing a New Exercise ##
+
+- All Exercism exercises must be defined in [x-common](https://github.com/exercism/x-common/tree/master/exercises) before they are implemented for a specific track. Please submit a PR there if your exercise is new to Exercism.
+
+- Please make sure the new exercise conforms to specifications in the [exercism/x-common](https://github.com/exercism/x-common) repo.
+
+- Each exercise must stand on its own. Do not reference files outside the exercise directory. They will not be included when the user fetches the exercise.
+
+- Exercises should use only the Coq core libraries.
+
+- Please do not add a README or README.md file to the exercise directory. The READMEs are constructed using shared metadata, which lives in the
+[exercism/x-common](https://github.com/exercism/x-common) repository. Further explanation can be found in [fixing-exercise-readmes](https://github.com/exercism/exercism.io/blob/master/docs/fixing-exercise-readmes.md)
+
+- Each exercise should have a test suite, an example solution, a template file for the real implementation and ... (anything else that needs to go with each exercise for this track). The CI build expects files to be named using the following convention: (describe the Coq convention for naming the various files that make up an exercise).
+
+- Please do not commit any configuration files or directories inside the exercise other than ...
+
+- Be sure to add it to the appropriate place in the `config.json` file. Also, please run `bin/fetch-configlet && bin/configlet` to ensure the exercise is configured correctly.
+

data/tracks/coq/bin/fetch-configlet

@@ -0,0 +1,32 @@
+#!/bin/bash
+
+LATEST=https://github.com/exercism/configlet/releases/latest
+
+OS=$(
+case $(uname) in
+    (Darwin*)
+        echo "mac";;
+    (Linux*)
+        echo "linux";;
+    (Windows*)
+        echo "windows";;
+    (*)
+        echo "linux";;
+esac)
+
+ARCH=$(
+case $(uname -m) in
+    (*64*)
+        echo 64bit;;
+    (*686*)
+        echo 32bit;;
+    (*386*)
+        echo 32bit;;
+    (*)
+        echo 64bit;;
+esac)
+
+VERSION="$(curl --head --silent $LATEST | awk -v FS=/ '/Location:/{print $NF}' | tr -d '\r')"
+URL=https://github.com/exercism/configlet/releases/download/$VERSION/configlet-$OS-${ARCH}.tgz
+
+curl -s --location $URL | tar xz -C bin/

data/tracks/coq/config.json

@@ -0,0 +1,21 @@
+{
+  "slug": "coq",
+  "language": "Coq",
+  "repository": "https://github.com/exercism/xcoq",
+  "active": false,
+  "test_pattern": "TODO",
+  "exercises": [
+
+  ],
+  "deprecated": [
+
+  ],
+  "ignored": [
+    "bin",
+    "img",
+    "docs"
+  ],
+  "foregone": [
+
+  ]
+}

data/tracks/cpp/docs/INSTALLATION.md

@@ -110,6 +110,7 @@ Boost 1.60 for Ubuntu 16.04 LTS by using a PPA.
 
 ```
 $ sudo add-apt-repository -y ppa:samuel-bachmann/boost
+$ sudo apt-get -qq -d update
 $ sudo apt-get install boost1.60
 ```
 

data/tracks/go/exercises/phone-number/.meta/gen.go

@@ -0,0 +1,82 @@
+// +build ignore
+
+package main
+
+import (
+	"log"
+	"text/template"
+
+	"../../../gen"
+)
+
+func main() {
+	t := template.New("").Funcs(template.FuncMap{
+		"areacode":  areacode,
+		"expectErr": expectErr,
+		"formatted": formatted,
+	})
+	t, err := t.Parse(tmpl)
+	if err != nil {
+		log.Fatal(err)
+	}
+	var j js
+	if err := gen.Gen("phone-number", &j, t); err != nil {
+		log.Fatal(err)
+	}
+}
+
+func expectErr(expected string) bool {
+	return len(expected) == 0
+}
+
+func areacode(expected string) string {
+	if expectErr(expected) {
+		return ""
+	}
+	return expected[0:3]
+}
+
+func formatted(expected string) string {
+	if expectErr(expected) {
+		return ""
+	}
+	return "(" + areacode(expected) + ") " + expected[3:6] + "-" + expected[6:10]
+}
+
+// The JSON structure we expect to be able to unmarshal into
+type js struct {
+	Cases []struct {
+		Description string
+		Cases       []struct {
+			Description string
+			Phrase      string
+			Expected    string
+		}
+	}
+}
+
+// template applied to above data structure generates the Go test cases
+var tmpl = `package phonenumber
+
+{{.Header}}
+
+{{range .J.Cases}}// {{.Description}}
+var numberTests = []struct {
+	description string
+	input       string
+	expectErr   bool
+	number      string
+	areaCode    string
+	formatted   string
+}{
+	{{range .Cases}}{
+		description: {{printf "%q" .Description}},
+		input: {{printf "%q" .Phrase}},
+		{{if expectErr .Expected}} expectErr: {{expectErr .Expected | printf "%v" }},
+		{{else}} number: {{printf "%q" .Expected}},
+		areaCode: {{areacode .Expected  | printf "%q" }},
+		formatted: {{formatted .Expected  | printf "%q" }},{{- end}}
+},
+{{end}}{{end}}
+}
+`

data/tracks/go/exercises/phone-number/cases_test.go

@@ -0,0 +1,91 @@
+package phonenumber
+
+// Source: exercism/x-common
+// Commit: 51d2475 number: Rewrite description and add tests
+// x-common version: 1.1.0
+
+// Cleanup user-entered phone numbers
+var numberTests = []struct {
+	description string
+	input       string
+	expectErr   bool
+	number      string
+	areaCode    string
+	formatted   string
+}{
+	{
+		description: "cleans the number",
+		input:       "(223) 456-7890",
+		number:      "2234567890",
+		areaCode:    "223",
+		formatted:   "(223) 456-7890",
+	},
+	{
+		description: "cleans numbers with dots",
+		input:       "223.456.7890",
+		number:      "2234567890",
+		areaCode:    "223",
+		formatted:   "(223) 456-7890",
+	},
+	{
+		description: "cleans numbers with multiple spaces",
+		input:       "223 456   7890   ",
+		number:      "2234567890",
+		areaCode:    "223",
+		formatted:   "(223) 456-7890",
+	},
+	{
+		description: "invalid when 9 digits",
+		input:       "123456789",
+		expectErr:   true,
+	},
+	{
+		description: "invalid when 11 digits does not start with a 1",
+		input:       "22234567890",
+		expectErr:   true,
+	},
+	{
+		description: "valid when 11 digits and starting with 1",
+		input:       "12234567890",
+		number:      "2234567890",
+		areaCode:    "223",
+		formatted:   "(223) 456-7890",
+	},
+	{
+		description: "valid when 11 digits and starting with 1 even with punctuation",
+		input:       "+1 (223) 456-7890",
+		number:      "2234567890",
+		areaCode:    "223",
+		formatted:   "(223) 456-7890",
+	},
+	{
+		description: "invalid when more than 11 digits",
+		input:       "321234567890",
+		expectErr:   true,
+	},
+	{
+		description: "invalid with letters",
+		input:       "123-abc-7890",
+		expectErr:   true,
+	},
+	{
+		description: "invalid with punctuations",
+		input:       "123-@:!-7890",
+		expectErr:   true,
+	},
+	{
+		description: "invalid with right number of digits but letters mixed in",
+		input:       "1a2b3c4d5e6f7g8h9i0j",
+		expectErr:   true,
+	},
+	{
+		description: "invalid if area code does not start with 2-9",
+		input:       "(123) 456-7890",
+		expectErr:   true,
+	},
+	{
+		description: "invalid if exchange code does not start with 2-9",
+		input:       "(223) 056-7890",
+		expectErr:   true,
+	},
+}

data/tracks/go/exercises/phone-number/example.go

@@ -2,44 +2,46 @@ package phonenumber
 
 import (
 	"fmt"
-	"strings"
 	"unicode"
 )
 
-const testVersion = 1
+const testVersion = 2
 
 // Number takes in a potential phone number string and returns the number
 // without any formatting if it's valid.
 //
 // * If the phone number is less than 10 digits assume that it is bad number
-// * If the phone number is 10 digits assume that it is good
+// * If the phone number is 10 digits, it is good if 1st digit is not 1 and 3 digit exchange begins with 2..9
 // * If the phone number is 11 digits and the first number is 1, trim the 1 and use the first 10 digits
 // * If the phone number is 11 digits and the first number is not 1, then it is a bad number
 // * If the phone number is more than 11 digits assume that it is a bad number
 func Number(s string) (string, error) {
-	//remove any characters that aren't digits
-	clean := strings.Map(
-		func(r rune) rune {
-			if unicode.IsDigit(r) {
-				return r
-			}
-			return -1
-		}, s)
-
+	// Extract just the digits.
+	n := make([]rune, 0, len(s))
+	for _, c := range s {
+		if c == ' ' || c == '+' || c == '(' || c == ')' || c == '-' || c == '.' {
+			continue
+		} else if unicode.IsDigit(c) {
+			n = append(n, c)
+		} else {
+			return "", fmt.Errorf("Phone number %q has invalid characters", s)
+		}
+	}
+	clean := string(n)
 	numDigits := len(clean)
 	switch {
 	// bad number if less than 10 digits
 	case numDigits < 10:
 		return "", fmt.Errorf("Phone number %q contains too few digits", s)
-	// good number if exactly 10 digits
-	case numDigits == 10:
+	// good number if exactly 10 digits and area code & exchange are valid
+	case numDigits == 10 && clean[0] >= '2' && clean[3] >= '2':
 		return clean, nil
-	// good number if 11 digits and 1st digit is a 1.  Return last 10 digits.
-	case numDigits == 11 && clean[0] == '1':
+	// good number if 11 digits and 1st digit is a 1.  Return last 10 digits, if valid.
+	case numDigits == 11 && clean[0] == '1' && clean[1] >= '2' && clean[4] >= '2':
 		return clean[1:], nil
 	}
-	// all other numbers are a bad
-	return "", fmt.Errorf("Phone number %q contains too many digits", s)
+	// all other numbers are bad
+	return "", fmt.Errorf("Phone number %q is invalid", s)
 }
 
 // AreaCode takes in a phone number string and returns the area code (first three digits)

data/tracks/go/exercises/phone-number/phone_number_test.go

@@ -4,22 +4,7 @@ import (
 	"testing"
 )
 
-const targetTestVersion = 1
-
-type testCase struct {
-	input     string
-	expected  string
-	expectErr bool
-}
-
-var numberTests = []testCase{
-	{"(123) 456-7890", "1234567890", false},
-	{"123.456.7890", "1234567890", false},
-	{"1234567890", "1234567890", false},
-	{"12345678901234567", "", true},
-	{"21234567890", "", true},
-	{"123456789", "", true},
-}
+const targetTestVersion = 2
 
 func TestTestVersion(t *testing.T) {
 	if testVersion != targetTestVersion {
@@ -34,14 +19,14 @@ func TestNumber(t *testing.T) {
 			if actualErr != nil {
 				// if we don't expect an error and there is one
 				var _ error = actualErr
-				t.Errorf("Number(%s): expected no error, but error is: %s", test.input, actualErr)
+				t.Errorf("FAIL: %s\nNumber(%q): expected no error, but error is: %s", test.description, test.input, actualErr)
 			}
-			if actual != test.expected {
-				t.Errorf("Number(%s): expected [%s], actual: [%s]", test.input, test.expected, actual)
+			if actual != test.number {
+				t.Errorf("FAIL: %s\nNumber(%q): expected [%s], actual: [%s]", test.description, test.input, test.number, actual)
 			}
 		} else if actualErr == nil {
 			// if we expect an error and there isn't one
-			t.Errorf("Number(%s): expected an error, but error is nil", test.input)
+			t.Errorf("FAIL: %s\nNumber(%q): expected an error, but error is nil", test.description, test.input)
 		}
 	}
 }
@@ -57,38 +42,28 @@ func BenchmarkNumber(b *testing.B) {
 	}
 }
 
-var areaCodeTests = []testCase{
-	{"1234567890", "123", false},
-	{"213.456.7890", "213", false},
-	{"213.456.7890.2345", "", true},
-	{"213.456", "", true},
-}
-
 func TestAreaCode(t *testing.T) {
-	if testVersion != targetTestVersion {
-		t.Errorf("Found testVersion = %v, want %v.", testVersion, targetTestVersion)
-	}
-	for _, test := range areaCodeTests {
+	for _, test := range numberTests {
 		actual, actualErr := AreaCode(test.input)
 		if !test.expectErr {
-			if actual != test.expected {
-				t.Errorf("AreaCode(%s): expected [%s], actual: [%s]", test.input, test.expected, actual)
+			if actual != test.areaCode {
+				t.Errorf("FAIL: %s\nAreaCode(%q): expected [%s], actual: [%s]", test.description, test.input, test.areaCode, actual)
 			}
 			if actualErr != nil {
 				// if we don't expect an error and there is one
 				var _ error = actualErr
-				t.Errorf("AreaCode(%s): expected no error, but error is: %s", test.input, actualErr)
+				t.Errorf("FAIL: %s\nAreaCode(%q): expected no error, but error is: %s", test.description, test.input, actualErr)
 			}
 		} else if actualErr == nil {
 			// if we expect an error and there isn't one
-			t.Errorf("AreaCode(%s): expected an error, but error is nil", test.input)
+			t.Errorf("FAIL: %s\nAreaCode(%q): expected an error, but error is nil", test.description, test.input)
 		}
 	}
 }
 
 func BenchmarkAreaCode(b *testing.B) {
 	b.StopTimer()
-	for _, test := range areaCodeTests {
+	for _, test := range numberTests {
 		b.StartTimer()
 		for i := 0; i < b.N; i++ {
 			AreaCode(test.input)
@@ -97,38 +72,28 @@ func BenchmarkAreaCode(b *testing.B) {
 	}
 }
 
-var formatTests = []testCase{
-	{"1234567890", "(123) 456-7890", false},
-	{"11234567890", "(123) 456-7890", false},
-	{"112345", "", true},
-	{"11234590870986", "", true},
-}
-
 func TestFormat(t *testing.T) {
-	if testVersion != targetTestVersion {
-		t.Errorf("Found testVersion = %v, want %v.", testVersion, targetTestVersion)
-	}
-	for _, test := range formatTests {
+	for _, test := range numberTests {
 		actual, actualErr := Format(test.input)
 		if !test.expectErr {
 			if actualErr != nil {
 				// if we don't expect an error and there is one
 				var _ error = actualErr
-				t.Errorf("Format(%s): expected no error, but error is: %s", test.input, actualErr)
+				t.Errorf("FAIL: %s\nFormat(%q): expected no error, but error is: %s", test.description, test.input, actualErr)
 			}
-			if actual != test.expected {
-				t.Errorf("Format(%s): expected [%s], actual: [%s]", test.input, test.expected, actual)
+			if actual != test.formatted {
+				t.Errorf("FAIL: %s\nFormat(%q): expected [%s], actual: [%s]", test.description, test.input, test.formatted, actual)
 			}
 		} else if actualErr == nil {
 			// if we expect an error and there isn't one
-			t.Errorf("Format(%s): expected an error, but error is nil", test.input)
+			t.Errorf("FAIL: %s\nFormat(%q): expected an error, but error is nil", test.description, test.input)
 		}
 	}
 }
 
 func BenchmarkFormat(b *testing.B) {
 	b.StopTimer()
-	for _, test := range areaCodeTests {
+	for _, test := range numberTests {
 		b.StartTimer()
 		for i := 0; i < b.N; i++ {
 			Format(test.input)

data/tracks/go/exercises/scrabble-score/.meta/gen.go

@@ -0,0 +1,45 @@
+// +build ignore
+
+package main
+
+import (
+	"log"
+	"text/template"
+
+	"../../../gen"
+)
+
+func main() {
+	t, err := template.New("").Parse(tmpl)
+	if err != nil {
+		log.Fatal(err)
+	}
+	var j js
+	if err := gen.Gen("scrabble-score", &j, t); err != nil {
+		log.Fatal(err)
+	}
+}
+
+// The JSON structure we expect to be able to unmarshal into
+type js struct {
+	Cases []struct {
+		Description string
+		Input       string
+		Expected    int
+	}
+}
+
+// template applied to above data structure generates the Go test cases
+var tmpl = `package scrabble
+
+{{.Header}}
+
+type scrabbleTest struct {
+	input       string
+	expected    int
+}
+
+var scrabbleScoreTests = []scrabbleTest {
+{{range .J.Cases}}{ "{{.Input}}", {{.Expected}}}, // {{.Description}}
+{{end}}}
+`