[Parser] Support for generics.

.gitignore

@@ -26,3 +26,4 @@ src/finitio/stdlib/*.js
 build/*
 pkg
 finitio*.tgz
+

Gruntfile.js

@@ -102,10 +102,10 @@ module.exports = function(grunt) {
 
     shell: {
       peggy: {
-        command: 'peggy src/finitio/parser/parser.pegjs --allowed-start-rules system,type,heading,attribute,contract,constraint,literal,metadata,lambda_expr,type_def,import_def --cache -o src/finitio/parser/parser.js'
+        command: 'peggy src/finitio/parser/parser.pegjs --allowed-start-rules system,type,heading,attribute,contract,constraint,literal,metadata,lambda_expr,type_def,generic_def,import_def,type_instantiate --cache -o src/finitio/parser/parser.js'
       },
       stdlib: {
-        command: './bin/finitio-js --bundle --url http://finitio.io/0.4/stdlib/data src/finitio/stdlib/data.fio > src/finitio/stdlib/data.js',
+        command: './bin/finitio-js bundle src/finitio/stdlib/data.fio --url http://finitio.io/0.4/stdlib/data > src/finitio/stdlib/data.js',
       },
       tsup: {
         command: 'tsup',

features/finitio/use-cases/types/high-order-types.feature

@@ -0,0 +1,76 @@
+Feature: Using Finitio High-Order types
+
+  Background:
+
+    Given the System is
+      """
+      Data<T,A> = {
+        type       : T
+        id         : Integer
+        attributes : A
+      }
+
+      Resource<Type,Attrs> = {
+        data  : Data<Type,Attrs>
+        links : [String]
+      }
+
+      Collection<Type,Attrs> = {
+        data  : [Data<Type,Attrs>]
+        links : [String]
+      }
+
+      People.Type = String(s | s=="People")
+      People.Attrs = {
+        firstname: String
+        lastname: String
+      }
+
+      People = Resource<People.Type,People.Attrs>
+      Peoples = Collection<People.Type,People.Attrs>
+      """
+
+  Scenario: Coercing a valid representation of an object
+
+    Given I dress the following JSON document with People:
+      """
+      {
+        "data": {
+          "type": "People",
+          "id": 1,
+          "attributes": {
+            "firstname": "Bernard",
+            "lastname": "Lambeau"
+          }
+        },
+        "links": []
+      }
+      """
+
+    Then it should be a success
+
+  Scenario: Coercing a valid representation of a collection
+
+    Given I dress the following JSON document with Peoples:
+      """
+      {
+        "data": [{
+          "type": "People",
+          "id": 1,
+          "attributes": {
+            "firstname": "Bernard",
+            "lastname": "Lambeau"
+          }
+        },{
+          "type": "People",
+          "id": 2,
+          "attributes": {
+            "firstname": "Yoann",
+            "lastname": "Guyot"
+          }
+        }],
+        "links": []
+      }
+      """
+
+    Then it should be a success

features/step_definitions/steps.js

@@ -48,7 +48,6 @@ module.exports = function() {
       return callback();
     } catch (e) {
       error = e;
-      console.log(e.explainTree());
       return callback.fail(e);
     }
   });