www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

flexible-with-generalized-ctor-test.rkt (818B)

      1 #lang type-expander
      2 (require "flexible-with-generalized-ctor.hl.rkt"
      3          "binarytree.hl.rkt")
      4 (provide f-4-2 f-8-3)
      5 
      6 (builder-f f-4-2 4 2)
      7 
      8 (ann ((inst f-4-2 propagate-τ '|1| Number '|3| String)
      9       oracle '|1| 100 '|3| "bee")
     10      (BinaryTree
     11       (Promise (Pairof #f Any))
     12       (Promise (Pairof '|1| Number))
     13       (Promise (Pairof #f Any))
     14       (Promise (Pairof '|3| String))))
     15 
     16 (builder-f f-8-3 8 3)
     17 
     18 (ann ((inst f-8-3 propagate-τ '|1| Number '|3| String '|7| Symbol)
     19       oracle '|1| 100 '|3| "bee" '|7| 'buzz)
     20      (BinaryTree
     21       (Promise (Pairof #f Any))
     22       (Promise (Pairof '|1| Number))
     23       (Promise (Pairof #f Any))
     24       (Promise (Pairof '|3| String))
     25       (Promise (Pairof #f Any))
     26       (Promise (Pairof #f Any))
     27       (Promise (Pairof #f Any))
     28       (Promise (Pairof '|7| Symbol))))