From 80a29789ad27b5a1d9fdb095310cdd0d1ee99550 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Wed, 4 Nov 2015 16:22:42 -0500
Subject: [PATCH] Patches & leaves are nullary.

---
 prototype/Doubt/Free.swift | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/prototype/Doubt/Free.swift b/prototype/Doubt/Free.swift
index 8ff4ce18f..1c1b480f9 100644
--- a/prototype/Doubt/Free.swift
+++ b/prototype/Doubt/Free.swift
@@ -229,6 +229,9 @@ extension Free {
 	public func explore() -> Location<Free> {
 		func weave(free: Free) -> Location<Free>.Unweave {
 			switch free {
+			case .Pure, .Roll(_, .Leaf):
+				return Location.nullary
+
 			default:
 				fatalError("unimplemented")
 			}