From e20e964083a048ad4cbb88cc1af3790694f51dfa Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 1 Nov 2009 10:20:20 -0500
Subject: Bidding interface

---
 lib/ur/basis.urs  | 1 +
 lib/ur/string.ur  | 2 ++
 lib/ur/string.urs | 2 ++
 3 files changed, 5 insertions(+)

(limited to 'lib/ur')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 0f70fa14..d1ecf1ca 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -62,6 +62,7 @@ val strchr : string -> char -> option string
 val strindex : string -> char -> option int
 val strcspn : string -> string -> option int
 val substring : string -> int -> int -> string
+val str1 : char -> string
 
 class show
 val show : t ::: Type -> show t -> t -> string
diff --git a/lib/ur/string.ur b/lib/ur/string.ur
index e31bbc27..fb5a3f97 100644
--- a/lib/ur/string.ur
+++ b/lib/ur/string.ur
@@ -1,5 +1,7 @@
 type t = Basis.string
 
+val str = Basis.str1
+
 val length = Basis.strlen
 val append = Basis.strcat
 
diff --git a/lib/ur/string.urs b/lib/ur/string.urs
index 8fd434b4..1b584c08 100644
--- a/lib/ur/string.urs
+++ b/lib/ur/string.urs
@@ -1,5 +1,7 @@
 type t = string
 
+val str : char -> t
+
 val length : t -> int
 
 val append : t -> t -> t
-- 
cgit v1.2.3