Changes between Version 13 and Version 14 of NewAxioms


Ignore:
Timestamp:
Jun 11, 2012 11:24:11 AM (23 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms

    v13 v14  
    9191}}} 
    9292 
     93 * Optional extra: It would make sense to allow the `type family` and `type instance` declaration to be combined into one, in cases where all the equations can be given at the definition site.  For example: 
     94{{{ 
     95type family Equal a b :: Bool where 
     96  Equal a a = True 
     97  Equal a b = False 
     98 
     99type family Member (a :: k) (b :: '[k]) :: Bool where 
     100  Member a '[] = False                      -- (not overlapping) 
     101  Member a ( a ': bs ) = True 
     102  Member a ( b ': bs ) = Member a bs 
     103}}} 
     104 
    93105  
    94106== Questions of syntax ==