1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00

Generate load instructions.

This commit is contained in:
Rob Rix 2019-07-23 15:23:26 -04:00
parent 0d530dc078
commit e4470bcbcc
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7

View File

@ -69,6 +69,7 @@ expr = Gen.recursive Gen.choice atoms
, lambda expr , lambda expr
, Gen.subterm2 expr expr (Core.$$) , Gen.subterm2 expr expr (Core.$$)
, Gen.subterm3 expr expr expr Core.if' , Gen.subterm3 expr expr expr Core.if'
, Gen.subterm expr Core.load
, record expr , record expr
, Gen.subtermM expr (\ x -> (x Core....) . namedValue <$> name) , Gen.subtermM expr (\ x -> (x Core....) . namedValue <$> name)
, Gen.subterm2 expr expr (Core..=) , Gen.subterm2 expr expr (Core..=)