From 628acf267b8476b547ffc20c5e8c0affebf406f6 Mon Sep 17 00:00:00 2001 From: bringert Date: Wed, 15 Mar 2006 16:48:35 +0000 Subject: [PATCH] Transfer prelude: added missing type arguments to some type classes. --- transfer/lib/prelude.tra | 38 +++++++++++++++++++------------------- 1 file changed, 19 insertions(+), 19 deletions(-) diff --git a/transfer/lib/prelude.tra b/transfer/lib/prelude.tra index 26d649863..054058db4 100644 --- a/transfer/lib/prelude.tra +++ b/transfer/lib/prelude.tra @@ -235,16 +235,16 @@ monad_Maybe = -- Num : Type -> Type -Num = sig zero : A - plus : A -> A -> A - minus : A -> A -> A - one : A - times : A -> A -> A - div : A -> A -> A - mod : A -> A -> A - negate : A -> A - eq : A -> A -> Bool - compare : A -> A -> Ordering +Num A = sig zero : A + plus : A -> A -> A + minus : A -> A -> A + one : A + times : A -> A -> A + div : A -> A -> A + mod : A -> A -> A + negate : A -> A + eq : A -> A -> Bool + compare : A -> A -> Ordering @@ -254,8 +254,8 @@ Num = sig zero : A -- Add : Type -> Type -Add = sig zero : A - plus : A -> A -> A +Add A = sig zero : A + plus : A -> A -> A zero : (A : Type) -> Add A -> A zero _ d = d.zero @@ -296,8 +296,8 @@ minus _ d = d.minus -- Mul : Type -> Type -Mul = sig one : A - times : A -> A -> A +Mul A = sig one : A + times : A -> A -> A one : (A : Type) -> Mul A -> A one _ d = d.one @@ -322,8 +322,8 @@ product A d = foldr A A d.times d.one -- Div : Type -> Type -Div = sig div : A -> A -> A - mod : A -> A -> A +Div A = sig div : A -> A -> A + mod : A -> A -> A div : (A : Type) -> Div A -> A -> A -> A div _ d = d.div @@ -347,7 +347,7 @@ mod _ d = d.mod -- Neg : Type -> Type -Neg = sig negate : A -> A +Neg A = sig negate : A -> A negate : (A : Type) -> Neg A -> A -> A negate _ d = d.negate @@ -451,8 +451,8 @@ show _ d = d.show -- Monoid : Type -> Type -Monoid = sig mzero : A - mplus : A -> A -> A +Monoid A = sig mzero : A + mplus : A -> A -> A