git.iko.soy/Idris-dev
on master help sign in
Add a test for #3397
55e72e4Echo Nolan
test/TestData.hs+2−1
compare with master
unifiedsplit
@@ -174,7 +174,8 @@ testFamiliesData = [
174 ( 3, ANY ),
174 ( 3, ANY ),
175 ( 4, ANY ),
175 ( 4, ANY ),
176 ( 5, ANY ),
176 ( 5, ANY ),
177− ( 6, ANY )]),
177+ ( 6, ANY ),
178+ ( 7, ANY )]),
178 ("prelude", "Prelude",
179 ("prelude", "Prelude",
179 [ ( 1, ANY )]),
180 [ ( 1, ANY )]),
180 ("primitives", "Primitive types",
181 ("primitives", "Primitive types",
test/pkg007/expectednew file+1
@@ -0,0 +1 @@
1+(True, "VROOOOM", Pedal) : (Bool, String, CarPart)
test/pkg007/inputnew file+4
@@ -0,0 +1,4 @@
1+:module Toy
2+:module Toy.Vehicle
3+:module Toy.Vehicle.Car
4+(toysAreGreat, carNoise, Pedal)
test/pkg007/runnew file+7
@@ -0,0 +1,7 @@
1+#!/usr/bin/env bash
2+cd toy
3+${IDRIS:-idris} $@ --build toy.ipkg --ibcsubdir ../ibcout
4+cd ../ibcout
5+${IDRIS:-idris} $@ --quiet < ../input
6+cd ..
7+rm -rf ibcout
test/pkg007/toy/Toy.idrnew file+4
@@ -0,0 +1,4 @@
1+module Toy
2+
3+toysAreGreat : Bool
4+toysAreGreat = True
test/pkg007/toy/Toy/Vehicle.idrnew file+4
@@ -0,0 +1,4 @@
1+module Toy.Vehicle
2+
3+carNoise : String
4+carNoise = "VROOOOM"
test/pkg007/toy/Toy/Vehicle/Car.idrnew file+3
@@ -0,0 +1,3 @@
1+module Toy.Vehicle.Car
2+
3+data CarPart = Wheel | Pedal | Window
test/pkg007/toy/toy.ipkgnew file+7
@@ -0,0 +1,7 @@
1+package toy
2+
3+modules = Toy,
4+ Toy.Vehicle,
5+ Toy.Vehicle.Car
6+
7+opts = "--quiet"