Allow multiple fat arrows in schemas.

The qualifiers from all arrows are combined into a single set. Fixes #599
GaloisInc · May 29, 2019 · c5ab964 · c5ab964
1 parent 4ce64e9
commit c5ab964
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/Cryptol/Parser.y b/src/Cryptol/Parser.y
@@ -613,6 +613,10 @@ schema_vars                    :: { Located [TParam PName] }
   | '{' schema_params '}'         { Located (rComb $1 $3) (reverse $2) }
 
 schema_quals                   :: { Located [Prop PName] }
+  : schema_quals schema_qual      { at ($1,$2) $ fmap (++ thing $2) $1 }
+  | schema_qual                   { $1 }
+
+schema_qual                    :: { Located [Prop PName] }
   : type '=>'                     {% fmap (\x -> at (x,$2) x) (mkProp $1) }
 
 kind                             :: { Located Kind      }