From e198fe6c40f745a3a94a52debe187a6a5c2d3ba5 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Sat, 28 Nov 2015 00:35:04 -0500
Subject: [PATCH] make sign explicit in conversion names

---
 lisc/fpintro.txt | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/lisc/fpintro.txt b/lisc/fpintro.txt
index b889136..1491da5 100644
--- a/lisc/fpintro.txt
+++ b/lisc/fpintro.txt
@@ -9,9 +9,11 @@ Non FP: sdiv, udiv, srem, urem, store(4),
 
 New conversion instructions:
  - Bitcast conversion between fp and ints. cast
- - Convert fp to/from int. convf convi (only signed at first, truncation)
- - Convert single to/from double convs convd
+ - Convert fp to/from int. ftosi sitof (only signed at first, truncation)
+ - Convert single to/from double stod dtos
 
 Summary:
-	Add bitcast, convf convi, convs convd
+	Add cast, ftosi sitof, stod dtos
 	Add a 'floating point' bit to instructions
+	Conversions from/to unsigned types are hard!
+	I need to find a reference for that.