From 2fa30faa8784c2c276f5bc1c4620bf472410c397 Mon Sep 17 00:00:00 2001 From: sebastianselander Date: Mon, 27 Mar 2023 15:37:58 +0200 Subject: [PATCH] renamed stuff --- Justfile | 3 +++ src/TypeChecker/Bugs.md | 1 - src/TypeChecker/{TypeChecker.hs => TypeCheckerHm.hs} | 0 tests/{TypecheckingHM => TestTypeChekerHm.hs}/DoStrings.hs | 0 tests/{TypecheckingHM => TestTypeChekerHm.hs}/Tests.hs | 0 5 files changed, 3 insertions(+), 1 deletion(-) rename src/TypeChecker/{TypeChecker.hs => TypeCheckerHm.hs} (100%) rename tests/{TypecheckingHM => TestTypeChekerHm.hs}/DoStrings.hs (100%) rename tests/{TypecheckingHM => TestTypeChekerHm.hs}/Tests.hs (100%) diff --git a/Justfile b/Justfile index d804399..a880195 100644 --- a/Justfile +++ b/Justfile @@ -15,4 +15,7 @@ test: # compile a specific file run FILE: + cabal run language {{FILE}} + +debug FILE: cabal run language -- -d {{FILE}} diff --git a/src/TypeChecker/Bugs.md b/src/TypeChecker/Bugs.md index 2eefcc0..8dad339 100644 --- a/src/TypeChecker/Bugs.md +++ b/src/TypeChecker/Bugs.md @@ -62,4 +62,3 @@ bind ma f = case ma of { ``` TYPECHECKER ERROR Inferred type '("c" -> "Int") -> "Maybe" -> "Maybe" does not match specified type '("Int" -> "Int") -> "Maybe" -> "Maybe"' -``` \ No newline at end of file diff --git a/src/TypeChecker/TypeChecker.hs b/src/TypeChecker/TypeCheckerHm.hs similarity index 100% rename from src/TypeChecker/TypeChecker.hs rename to src/TypeChecker/TypeCheckerHm.hs diff --git a/tests/TypecheckingHM/DoStrings.hs b/tests/TestTypeChekerHm.hs/DoStrings.hs similarity index 100% rename from tests/TypecheckingHM/DoStrings.hs rename to tests/TestTypeChekerHm.hs/DoStrings.hs diff --git a/tests/TypecheckingHM/Tests.hs b/tests/TestTypeChekerHm.hs/Tests.hs similarity index 100% rename from tests/TypecheckingHM/Tests.hs rename to tests/TestTypeChekerHm.hs/Tests.hs