Skip to content

Commit

Permalink
Update full_fact test to use the included std
Browse files Browse the repository at this point in the history
  • Loading branch information
Champii committed Apr 20, 2022
1 parent ed69399 commit 5b3571e
Show file tree
Hide file tree
Showing 9 changed files with 3 additions and 137 deletions.
2 changes: 1 addition & 1 deletion Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

33 changes: 0 additions & 33 deletions src/lib/testcases/mods/full_fact/eq.rk

This file was deleted.

7 changes: 0 additions & 7 deletions src/lib/testcases/mods/full_fact/helpers.rk

This file was deleted.

7 changes: 0 additions & 7 deletions src/lib/testcases/mods/full_fact/lib.rk

This file was deleted.

4 changes: 2 additions & 2 deletions src/lib/testcases/mods/full_fact/main.rk
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
mod lib
mod std

use lib::prelude::(*)
use std::prelude::(*)

fact a =
if a <= 1
Expand Down
22 changes: 0 additions & 22 deletions src/lib/testcases/mods/full_fact/num.rk

This file was deleted.

5 changes: 0 additions & 5 deletions src/lib/testcases/mods/full_fact/prelude.rk

This file was deleted.

25 changes: 0 additions & 25 deletions src/lib/testcases/mods/full_fact/print.rk

This file was deleted.

35 changes: 0 additions & 35 deletions src/lib/testcases/mods/full_fact/show.rk

This file was deleted.

0 comments on commit 5b3571e

Please sign in to comment.