idris uses slug

Author: keiravillekode

workspace/test_configurations.go

@@ -2,6 +2,8 @@ package workspace
 
 import (
 	"fmt"
+	"os"
+	"path/filepath"
 	"runtime"
 	"strings"
 )
@@ -55,6 +57,13 @@ func (c *TestConfiguration) GetTestCommand() (string, error) {
 		}
 		cmd = strings.ReplaceAll(cmd, "{{test_files}}", strings.Join(testFiles, " "))
 	}
+	if strings.Contains(cmd, "{{slug}}") {
+		currentDir, err := os.Getwd()
+		if err != nil {
+			return "", fmt.Errorf("current directory invalid")
+		}
+		cmd = strings.ReplaceAll(cmd, "{{slug}}", filepath.Base(currentDir))
+	}
 
 	return cmd, nil
 }
@@ -152,7 +161,7 @@ var TestConfigurations = map[string]TestConfiguration{
 		Command: "stack test",
 	},
 	"idris": {
-		Command: "pack test `basename *.ipkg .ipkg`",
+		Command: "pack test {{slug}}",
 	},
 	"j": {
 		Command: `jconsole -js "exit echo unittest {{test_files}} [ load {{solution_files}}"`,

workspace/test_configurations_test.go

@@ -101,3 +101,35 @@ func TestRustHasTrailingDashes(t *testing.T) {
 
 	assert.True(t, strings.HasSuffix(cmd, "--"), "rust's test command should have trailing dashes")
 }
+
+func TestIdrisUsesCurrentDirectory(t *testing.T) {
+	currentDir, err := os.Getwd()
+	assert.NoError(t, err)
+
+	exerciseDir := filepath.Join(currentDir, "hello-world")
+	defer os.RemoveAll(exerciseDir)
+	err = os.Mkdir(exerciseDir, os.ModePerm)
+	assert.NoError(t, err)
+
+	defer os.Chdir(currentDir)
+	err = os.Chdir(exerciseDir)
+	assert.NoError(t, err)
+
+	exercismDir := filepath.Join(".", ".exercism")
+	err = os.Mkdir(exercismDir, os.ModePerm)
+	assert.NoError(t, err)
+
+	f, err := os.Create(filepath.Join(exercismDir, "config.json"))
+	assert.NoError(t, err)
+	defer f.Close()
+
+	_, err = f.WriteString(`{ "files": { "solution": [ "src/HelloWorld.idr" ], "test": [ "test/src/Main.idr" ] } }`)
+	assert.NoError(t, err)
+
+	testConfig, ok := TestConfigurations["idris"]
+	assert.True(t, ok, "unexpectedly unable to find idris test config")
+
+	cmd, err := testConfig.GetTestCommand()
+	assert.NoError(t, err)
+	assert.Equal(t, cmd, "pack test hello-world")
+}