jeff.hs is working

ucsd-progsys · Apr 14, 2016 · edc4652 · edc4652
1 parent 9fe2033
commit edc4652
Show file tree

Hide file tree

Showing 5 changed files with 93 additions and 86 deletions.
diff --git a/FAILING_TESTS.txt b/FAILING_TESTS.txt
@@ -1,7 +0,0 @@
-Failed 6 tests: 
- ../benchmarks/bytestring-0.9.2.1/Data/ByteString.T.hs -- crash,
-  ../benchmarks/bytestring-0.9.2.1/Data/ByteString.hs -- crash,
-  ../benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.T.hs -- crash,
-  ../benchmarks/bytestring-0.9.2.1/Data/ByteString/Lazy.hs -- crash,
-  ../benchmarks/text-0.11.2.3/Data/Text.hs -- type error,
-  ../benchmarks/text-0.11.2.3/Data/Text/Unsafe.hs -- type error

diff --git a/TODO.markdown b/TODO.markdown
@@ -1,6 +1,11 @@
 TODO
 ====
 
+Data.Text.Fusion := /Users/rjhala/research/stack/lh-develop/.stack-work/install/x86_64-osx/lts-5.9/7.10.3/share/x86_64-osx-ghc-7.10.3/liquidhaskell-0.6.0.0/include/Data/Text/Fusion.spec
+
+Data.Text.Fusion.Common := /Users/rjhala/research/stack/lh-develop/.stack-work/install/x86_64-osx/lts-5.9/7.10.3/share/x86_64-osx-ghc-7.10.3/liquidhaskell-0.6.0.0/include/Data/Text/Fusion/Common.spec
+
+
 Check Covariance
 ----------------