[ test ] add a test case

idris-lang · Oct 5, 2024 · 19e936e · 19e936e
1 parent 1d3f5d0
commit 19e936e
Show file tree

Hide file tree

Showing 3 changed files with 23 additions and 0 deletions.
diff --git a/tests/idris2/repl/repl007/expected b/tests/idris2/repl/repl007/expected
@@ -0,0 +1,18 @@
+Main> Prelude.Basics.Bool
+Type constructor:
+  tag: 100
+  arity: 0
+  parameter positions: []
+  constructors: Prelude.Basics.False, Prelude.Basics.True
+Compiled: Type Constructor:
+  arity: 0
+Main> Prelude.Basics.True
+Data constructor:
+  tag: 1
+  arity: 0
+Compiled: Data Constructor:
+  tag: 1
+  arity: 0
+Flags: contype [enum 2]
+Main> 
+Bye for now!
diff --git a/tests/idris2/repl/repl007/input b/tests/idris2/repl/repl007/input
@@ -0,0 +1,2 @@
+:di Bool
+:di True
diff --git a/tests/idris2/repl/repl007/run b/tests/idris2/repl/repl007/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 < input