Commit d2bffea6 authored by Pietro Abate's avatar Pietro Abate
Browse files

Add unit tests expected files

parent b5441439
val doc : Bib
val q2x : <results>[ ]
val q2p : <results>[ ]
val doc : Bib
val q3x : <results>[ ]
val q3p : <results>[ ]
val doc : Bib
val distinct_values : X1 -> X1 where X1 = [ Any* ]
val member : Pair -> Bool
val q4x : <results>[ <result>[ Any ]* ]
val q4p : <results>[ <result>[ Any ]* ]
val doc : Bib
val amazon : <reviews>[ <entry>[ <title>[ 'Data on the Web' ]
<price>[ '34.95' ]
<review>[ 'A very good discussion of semi-structured database\n systems and XML.' ] ]
<entry>[ <title>[ 'Advanced Programming in the Unix environment' ]
<price>[ '65.95' ]
<review>[ 'A clear and detailed discussion of UNIX programming.' ] ]
<entry>[ <title>[ 'TCP/IP Illustrated' ]
<price>[ '65.95' ]
<review>[ 'One of the best books on TCP/IP.' ] ] ]
val q5x : <books-with-prices>[ ]
val q5p : <books-with-prices>[ (<book-with-price>[ <title>[ 'Data on the Web' ]
<price-amazon>[ '34.95' ]
X1 ] |
<book-with-price>[ <title>[ 'Advanced Programming in the Unix environment' ]
<price-amazon>[ '65.95' ]
X1 ] |
<book-with-price>[ <title>[ 'TCP/IP Illustrated' ]
<price-amazon>[ '65.95' ]
X1 ])* ] where
X1 = <price-bn>String
val doc : Bib
val count : [ Any* ] -> Int
val count_bad : [ Any* ] -> Int
val q6x : <bib>[ ]
val q6p : <bib>[ ]
val doc : Bib
val order : X1 -> X1 where X1 = [ Any* ]
val passe : X1 -> X1 where X1 = [ Any* ]
val q7p : <bib>[ Any* ]
val q7x : <bib>[ Any* ]
val mkTelList : Content -> [ (Name Tel)* ]
val do_biblio : Biblio -> Html
val do_paper : Paper -> <li>[ Mix* ]
val do_authors : [ Author+ ] -> [ Mix* ]
val bib : Biblio
val x : `A | `B
val y : `A | `B
val f : Int -> Int
val g : [ Int* ] -> [ Int* ]
val aux : [ Int* ] -> Int
val f : T -> Int
val a : Int
val f : 102--* -> 92--* & 111 -> 101 & 110 -> 100 & 109 -> 99 & 108 -> 98 &
107 -> 97 & 106 -> 96 & 105 -> 95 & 104 -> 94 & 103 -> 93 &
102 -> 92 & *--101 -> 91
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment