git.iko.soy/Idris-dev
on master help sign in
Add a test for #3397
commit55e72e46e60221978b6288db58f50e961fa4a31c authorEcho Nolan <echo@echonolan.net> dateThu 8 Sep 2016, 20:31 (10 years ago) parentbfc32ac
8 files changed+32−1
compare with master
unifiedsplit
test/TestData.hs+2−1 test/pkg007/expected+1 test/pkg007/input+4 test/pkg007/run+7 test/pkg007/toy/Toy.idr+4 test/pkg007/toy/Toy/Vehicle.idr+4 test/pkg007/toy/Toy/Vehicle/Car.idr+3 test/pkg007/toy/toy.ipkg+7
test/TestData.hs+2−1
@@ -174,7 +174,8 @@ testFamiliesData = [
174174 ( 3, ANY ),
175175 ( 4, ANY ),
176176 ( 5, ANY ),
177− ( 6, ANY )]),
177+ ( 6, ANY ),
178+ ( 7, ANY )]),
178179 ("prelude", "Prelude",
179180 [ ( 1, ANY )]),
180181 ("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"