Changeset 28 for sizechecking/branches/macs/Tests

Timestamp:

May 14, 2014, 10:44:07 PM (11 years ago)

Author:

gobi

Message:

cleanup

Location:

sizechecking/branches/macs/Tests

Files:

• ProofTest.hs (added)
• SizedFunTest.hs (moved) (moved from sizechecking/branches/macs/Tests/BindTest.hs) (1 diff)

sizechecking/branches/macs/Tests/SizedFunTest.hs

@@ -1 +1 @@
 {-# LANGUAGE NoMonomorphismRestriction #-}
 
-module Tests.BindTest where
+module Tests.SizedFunTest where
 
 import Lambda