tidy up res; bug fix in ShellState.addTransfer

2005-12-05 16:14:12 +00:00
parent 3442d42d3b
commit 18986bfdd4
17 changed files with 164 additions and 268 deletions
--- a/lib/resource-1.0/english/ParamEng.gf
+++ b/lib/resource-1.0/english/ParamEng.gf
@@ -48,8 +48,8 @@ resource ParamEng = ParamX ** {
 --2 Transformations between parameter types

  oper
-    agrP3 : Number -> {a : Agr} = \n -> 
-      {a = {n = n ; p = P3}} ;
+    agrP3 : Number -> Agr = \n -> 
+      {n = n ; p = P3} ;

    conjAgr : Agr -> Agr -> Agr = \a,b -> {
      n = conjNumber a.n b.n ;