--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Tools/8bit/isa-patches/HOLCF/Lift3.p Tue Jun 25 17:44:43 1996 +0200 @@ -0,0 +1,3 @@ +translations +"case l of up`x => t1" == "lift`(¤x.t1)`l" +