From 4c84b1625d7d3b977eb9f81ab130c3da1a1c31b0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Mon, 3 Oct 2016 01:29:53 +0200
Subject: [PATCH] Run Travis on 2 threads only, to avoid OOM when compiling
 phc-adt. Added and used check-equal?-values: form.

---
 .travis.yml                 |  2 +-
 scribblings/phc-graph.scrbl |  4 ++++
 test/ck.rkt                 | 21 +++++++++++++++++++++
 test/test-traversal-1.rkt   | 20 ++++++++++++++------
 4 files changed, 40 insertions(+), 7 deletions(-)
 create mode 100644 test/ck.rkt

diff --git a/.travis.yml b/.travis.yml
index 72277a0..97a0b7b 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -41,7 +41,7 @@ before_install:
 - export PATH="${RACKET_DIR}/bin:${PATH}" #install-racket.sh can't set for us
 
 install:
- - raco pkg install --deps search-auto
+ - raco pkg install -j 2 --deps search-auto
 
 before_script:
 
diff --git a/scribblings/phc-graph.scrbl b/scribblings/phc-graph.scrbl
index 51ac5f3..efaac71 100644
--- a/scribblings/phc-graph.scrbl
+++ b/scribblings/phc-graph.scrbl
@@ -5,6 +5,10 @@
 @title{Ph.C Graph library}
 @author[@author+email["Georges Dupéron" "georges.duperon@gmail.com"]]
 
+This library is implmented using literate programming. The
+implementation details are presented in 
+@other-doc['(lib "phc-graph/scribblings/phc-graph-implementation.scrbl")].
+
 @defmodule[phc-graph]
 
 Package Description Here
diff --git a/test/ck.rkt b/test/ck.rkt
new file mode 100644
index 0000000..f8b958d
--- /dev/null
+++ b/test/ck.rkt
@@ -0,0 +1,21 @@
+#lang typed/racket/base
+
+(require phc-toolkit
+         (for-syntax racket/base
+                     syntax/parse
+                     type-expander/expander
+                     phc-toolkit/untyped))
+
+(provide check-equal?-values:)
+
+(define-syntax check-equal?-values:
+  (syntax-parser
+    [(_ actual {~maybe :colon type} expected ...)
+     (quasisyntax/top-loc this-syntax
+       (check-equal?: (call-with-values (ann (λ () actual)
+                                             (-> #,(if (attribute type)
+                                                       #'type
+                                                       #'AnyValues)))
+                                        (λ l l))
+                      (list expected ...)))]))
+  
\ No newline at end of file
diff --git a/test/test-traversal-1.rkt b/test/test-traversal-1.rkt
index 4b84f4a..fe8b4bd 100644
--- a/test/test-traversal-1.rkt
+++ b/test/test-traversal-1.rkt
@@ -1,14 +1,22 @@
 #lang typed/racket
 
-(require "../traversal.hl.rkt")
+(require "../traversal.hl.rkt"
+         "ck.rkt")
 
 (define-fold f₁ t₁ Null String)
 ;(define-fold f₂ t₂ (Pairof Null Null) String)
 ;(define-fold f₃ t₃ String String)
 ;(define-fold f₄ t₄ (Pairof Null String) String)
 
-((f₁ string?
-     (λ ([x : String] [acc : Integer])
-       (values (string->symbol x) acc)))
- '()
- 0)
\ No newline at end of file
+(define f₁-string->symbol
+  (f₁ string?
+      (λ ([x : String] [acc : Integer])
+        (values (string->symbol x) acc))))
+(check-equal?-values: (f₁-string->symbol '() 0)
+                      '() 0)
+
+(check-equal?-values: (f₁-string->symbol '() 0)
+                      : (Values Null Integer)
+                      '() 0)
+
+