Commit 1846f0a3 authored by Mart Lubbers's avatar Mart Lubbers

Merge branch 'fix-gendefault' into 'master'

Fix gDefault

See merge request !105
parents e9d1006a 70c45e29
Pipeline #9389 passed with stage
in 1 minute and 46 seconds
......@@ -2,8 +2,8 @@ definition module Data.Generics.GenDefault
import StdGeneric
generic gDefault a :: a
generic gDefault a :: a
derive gDefault Int, Real, String, UNIT, PAIR, EITHER, CONS, FIELD, OBJECT, RECORD
derive gDefault (), [], (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
derive gDefault [], [!], [ !], [!!], {}, {!}
derive gDefault (), (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
implementation module Data.Generics.GenDefault
//import StdClass, StdArray, StdInt, StdFunc
import StdArray
import StdGeneric
generic gDefault a :: a
generic gDefault a :: a
gDefault{|Int|} = 0
gDefault{|Real|} = 0.0
gDefault{|String|} = ""
gDefault{|[]|} _ = []
gDefault{|[!]|} _ = [!]
gDefault{|[ !]|} _ = [ !]
gDefault{|[!!]|} _ = [!!]
gDefault{|{}|} _ = {}
gDefault{|{!}|} _ = {!}
gDefault{|UNIT|} = UNIT
gDefault{|EITHER|} dl dr = LEFT dl
gDefault{|PAIR|} dl dr = PAIR dl dr
gDefault{|CONS|} dc = CONS dc
gDefault{|FIELD|} df = FIELD df
gDefault{|OBJECT|} do = OBJECT do
gDefault{|RECORD|} dr = RECORD dr
gDefault{|Int|} = 0
gDefault{|Real|} = 0.0
gDefault{|String|} = ""
gDefault{|UNIT|} = UNIT
gDefault{|EITHER|} dl dr = LEFT dl
gDefault{|PAIR|} dl dr = PAIR dl dr
gDefault{|CONS|} dc = CONS dc
gDefault{|FIELD|} df = FIELD df
gDefault{|OBJECT|} do = OBJECT do
gDefault{|RECORD|} do = RECORD do
derive gDefault (), [], (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
derive gDefault (), (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment