(Chi) add mkAdv instance that doesn't pattern match any strings
This commit is contained in:
1 parent
3f4fd4565a
commit
1825904f4d
1 file changed
+2
@@ -155,6 +155,8 @@ oper
|
||||
= \s,at -> lin Adv {s = word s ; advType = at ; hasDe = advTypeHasDe at} ;
|
||||
mkAdv : Adv -> AdvType -> Adv -- To fix the AdvType in an Adv produced by SyntaxChi.mkAdv
|
||||
= \adv,at -> adv ** {advType = at ; hasDe = advTypeHasDe at} ;
|
||||
mkAdv : Str -> AdvType -> Bool -> Adv
|
||||
= \s,at,hasDe -> lin Adv {s = word s ; advType = at ; hasDe = hasDe} ;
|
||||
|
||||
} ;
|
||||
|
||||
|
||||
Reference in new issue
Block a user